Data.Fixpoint

Synopsis

• class Functor (Pre t) => Fixpoint t where
  • data Pre t :: * -> *
  • project :: t -> Pre t t
  • inject :: Pre t t -> t
• 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

Documentation