Home
last modified time | relevance | path

Searched refs:hoistAltF (Results 1 – 7 of 7) sorted by relevance

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/free-5.1.6/src/Control/Alternative/
H A DFree.hs133 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b
134 hoistAltF _ (Pure a) = Pure a function
135 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function
140 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/free-5.1.6/src/Control/Alternative/
H A DFree.hs133 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b
134 hoistAltF _ (Pure a) = Pure a function
135 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function
140 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/free-5.1.6/src/Control/Alternative/
H A DFree.hs133 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b
134 hoistAltF _ (Pure a) = Pure a function
135 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function
140 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/free-5.1.7/src/Control/Alternative/
H A DFree.hs133 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b
134 hoistAltF _ (Pure a) = Pure a function
135 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function
140 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/free-5.1.3/src/Control/Alternative/
H A DFree.hs130 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b
131 hoistAltF _ (Pure a) = Pure a function
132 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function
137 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/free-5.1.3/src/Control/Alternative/
H A DFree.hs130 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b
131 hoistAltF _ (Pure a) = Pure a function
132 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function
137 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/free-5.1.3/src/Control/Alternative/
H A DFree.hs130 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b
131 hoistAltF _ (Pure a) = Pure a function
132 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function
137 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)