Moduledata-fix-0.3.4

Data.Fix

3 types
26 values

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-4SEyqMkj8jeDngCRIu7PZO" '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