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