category-extras-0.44.4: Various modules and constructs inspired by category theory
Control.Bifunctor.Fix
Description
newtype FixB s a Source
Constructors
Fields
Instances
paugment :: PMonad f => (forall c. (f a c -> c) -> c) -> (a -> FixB f b) -> FixB f bSource
pcoaugment :: PComonad f => ((FixB f a -> f b (FixB f a)) -> FixB f b) -> (FixB f a -> b) -> FixB f bSource