Safe Haskell | Safe-Infered |
---|

Scary named folds...

- para :: Functor f => (Mu f -> f a -> a) -> Mu f -> a
- para' :: Functor f => (f (Mu f, a) -> a) -> Mu f -> a
- paraList :: (Functor f, Foldable f) => (Mu f -> [a] -> a) -> Mu f -> a
- cata :: Functor f => (f a -> a) -> Mu f -> a
- ana :: Functor f => (a -> f a) -> a -> Mu f
- hylo :: Functor f => (f a -> a) -> (b -> f b) -> b -> a