Data.Bifunctor.Fix · bifunctors-5.6.3

newtypenewtype Fix (p :: Type -> k -> Type) (a :: k)

Greatest fixpoint of a Bifunctor (a Functor over the first argument with zipping).

Instances14Functor, Applicative, Foldable, Traversable, Eq1, Ord1, …

Bifunctor p => Functor (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Biapplicative p => Applicative (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Bifoldable p => Foldable (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Bitraversable p => Traversable (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Eq2 p => Eq1 (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Ord2 p => Ord1 (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Read2 p => Read1 (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Show2 p => Show1 (Fix p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Eq (p (Fix p a) a) => Eq (Fix p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Ord (p (Fix p a) a) => Ord (Fix p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Read (p (Fix p a) a) => Read (Fix p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Show (p (Fix p a) a) => Show (Fix p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
Generic (Fix p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix
type Rep (Fix p a) = D1 ('MetaData "Fix" "Data.Bifunctor.Fix" "bifunctors-5.6.3-DtuKh4Hx1S9EIe5zKyN5eJ" 'True) (C1 ('MetaCons "In" 'PrefixI 'True) (S1 ('MetaSel ('Just "out") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (p (Fix p a) a))))Defined in bifunctors-5.6.3 · Data.Bifunctor.Fix