- class Functor (Pre t) => Fixpoint t where
- cata :: Fixpoint t => (Pre t s -> s) -> t -> s
- fold :: Fixpoint t => (Pre t s -> s) -> t -> s
- ana :: Fixpoint t => (s -> Pre t s) -> s -> t
- unfold :: Fixpoint t => (s -> Pre t s) -> s -> t
- hylo :: Fixpoint t => (Pre t s -> s) -> (p -> Pre t p) -> p -> s
- para :: Fixpoint t => (Pre t (t, s) -> s) -> t -> s