category-extras-0.44.4: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Bifunctor.Fix

Description

 

Documentation

newtype FixB s a Source

Constructors

InB 

Fields

outB :: s a (FixB s a)
 

Instances

PMonad f => Monad (FixB f) 
Bifunctor s => Functor (FixB s) 
PCopointed f => Copointed (FixB f) 
PPointed f => Pointed (FixB f) 
PComonad f => Comonad (FixB f) 
Bizip p => Zip (FixB p) 

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