Searched refs:hoistAltF (Results 1 – 7 of 7) sorted by relevance
133 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b134 hoistAltF _ (Pure a) = Pure a function135 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function140 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)
130 hoistAltF :: (forall a. f a -> g a) -> AltF f b -> AltF g b131 hoistAltF _ (Pure a) = Pure a function132 hoistAltF f (Ap x y) = Ap (f x) (hoistAlt f y) function137 hoistAlt f (Alt as) = Alt (map (hoistAltF f) as)