Data.Fix

Documentation

newtype Fix f

Constructors

Fix

Fields

• unFix :: f (Fix f)

Instances

Eq1 f => Eq (Fix f)

Methods

(==) :: Fix f -> Fix f -> Bool

(/=) :: Fix f -> Fix f -> Bool

Ord1 f => Ord (Fix f)

Methods

compare :: Fix f -> Fix f -> Ordering

(<) :: Fix f -> Fix f -> Bool

(<=) :: Fix f -> Fix f -> Bool

(>) :: Fix f -> Fix f -> Bool

(>=) :: Fix f -> Fix f -> Bool

max :: Fix f -> Fix f -> Fix f

min :: Fix f -> Fix f -> Fix f

Read1 f => Read (Fix f)

Methods

readsPrec :: Int -> ReadS (Fix f)

readList :: ReadS [Fix f]

readPrec :: ReadPrec (Fix f)

readListPrec :: ReadPrec [Fix f]

Show1 f => Show (Fix f)

Methods

showsPrec :: Int -> Fix f -> ShowS

show :: Fix f -> String

showList :: [Fix f] -> ShowS

mapFix :: Functor f => (forall a. f a -> g a) -> Fix f -> Fix g

cata :: Functor f => (f a -> a) -> Fix f -> a

cataM :: (Traversable f, Monad m) => (f a -> m a) -> Fix f -> m a

cataW :: (Cotraversable f, Comonad ɯ) => (ɯ (f a) -> a) -> ɯ (Fix f) -> a

ana :: Functor f => (a -> f a) -> a -> Fix f

anaM :: (Traversable f, Monad m) => (a -> m (f a)) -> a -> m (Fix f)

anaW :: (Cotraversable f, Comonad ɯ) => (ɯ a -> f a) -> ɯ a -> Fix f