Moduledata-fix-0.3.4

Data.Fix

Synopsis

value ana
value anaM
value cata
value cataM
value foldFix
value foldFixM
value foldMu
value foldNu
value hoistFix
value hoistFix'
value hoistMu
value hoistNu
value hylo
value hyloM
value refold
value refoldM
value unfoldFix
value unfoldFixM
value unfoldMu
value unfoldNu
value unwrapFix
value unwrapMu
value unwrapNu
value wrapFix
value wrapMu
value wrapNu
newtype Fix
newtype Mu
data Nu

Packagedata-fix-0.3.4
Exports29
LicenceBSD-3-Clause

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

Deprecated. Use unfoldFix

valueanaM :: (Monad m, Traversable t) => (a -> m (t a)) -> a -> m (Fix t)

Deprecated. Use unfoldFixM

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

Deprecated. Use foldFix

valuecataM :: (Monad m, Traversable t) => (t a -> m a) -> Fix t -> m a

Deprecated. Use foldFixM

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

valuefoldFixM :: (Monad m, Traversable t) => (t a -> m a) -> Fix t -> m a

valuefoldMu :: (f a -> a) -> Mu f -> a

valuefoldNu :: Functor f => (f a -> a) -> Nu f -> a

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

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

valuehoistMu :: (forall a. f a -> g a) -> Mu f -> Mu g

valuehoistNu :: (forall a. f a -> g a) -> Nu f -> Nu g

valuehylo :: Functor f => (f b -> b) -> (a -> f a) -> a -> b

Deprecated. Use refold

valuehyloM

:: (Monad m, Traversable t)
=> t b -> m b
-> a -> m (t a)
-> a
-> m b

Deprecated. Use refoldM

valuerefold :: Functor f => (f b -> b) -> (a -> f a) -> a -> b

valuerefoldM

:: (Monad m, Traversable t)
=> t b -> m b
-> a -> m (t a)
-> a
-> m b

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

valueunfoldFixM :: (Monad m, Traversable t) => (a -> m (t a)) -> a -> m (Fix t)

valueunfoldMu :: Functor f => (a -> f a) -> a -> Mu f

valueunfoldNu :: (a -> f a) -> a -> Nu f

valueunwrapFix :: Fix f -> f (Fix f)

valueunwrapMu :: Functor f => Mu f -> f (Mu f)

valueunwrapNu :: Functor f => Nu f -> f (Nu f)

valuewrapFix :: f (Fix f) -> Fix f

valuewrapMu :: Functor f => f (Mu f) -> Mu f

valuewrapNu :: Functor f => f (Nu f) -> Nu f

newtypenewtype Fix (f :: Type -> Type)

Constructors

Fix
- unFix :: f (Fix f)

Instances9Eq, Data, Ord, Read, Show, Generic, …

Eq1 f => Eq (Fix f)Defined in data-fix-0.3.4 · Data.Fix
(Typeable f, Data (f (Fix f))) => Data (Fix f)Defined in data-fix-0.3.4 · Data.Fix
Ord1 f => Ord (Fix f)Defined in data-fix-0.3.4 · Data.Fix
Read1 f => Read (Fix f)Defined in data-fix-0.3.4 · Data.Fix
Show1 f => Show (Fix f)Defined in data-fix-0.3.4 · Data.Fix
Generic (Fix f)Defined in data-fix-0.3.4 · Data.Fix
NFData1 f => NFData (Fix f)Defined in data-fix-0.3.4 · Data.Fix
Hashable1 f => Hashable (Fix f)Defined in data-fix-0.3.4 · Data.Fix
type Rep (Fix f) = D1 ('MetaData "Fix" "Data.Fix" "data-fix-0.3.4-AtXMxJA7CFCDmGNqgc2zDl" 'True) (C1 ('MetaCons "Fix" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Fix f)))))Defined in data-fix-0.3.4 · Data.Fix

newtypenewtype Mu (f :: Type -> Type)

Constructors

Mu
- unMu :: forall a. (f a -> a) -> a

Instances4Eq, Ord, Read, Show

(Functor f, Eq1 f) => Eq (Mu f)Defined in data-fix-0.3.4 · Data.Fix
(Functor f, Ord1 f) => Ord (Mu f)Defined in data-fix-0.3.4 · Data.Fix
(Functor f, Read1 f) => Read (Mu f)Defined in data-fix-0.3.4 · Data.Fix
(Functor f, Show1 f) => Show (Mu f)Defined in data-fix-0.3.4 · Data.Fix

datadata Nu (f :: Type -> Type)

Constructors

forall a. Nu (a -> f a) a

Instances4Eq, Ord, Read, Show

(Functor f, Eq1 f) => Eq (Nu f)Defined in data-fix-0.3.4 · Data.Fix
(Functor f, Ord1 f) => Ord (Nu f)Defined in data-fix-0.3.4 · Data.Fix
(Functor f, Read1 f) => Read (Nu f)Defined in data-fix-0.3.4 · Data.Fix
(Functor f, Show1 f) => Show (Nu f)Defined in data-fix-0.3.4 · Data.Fix