 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Functor.Fix  Portability  nonportable (rank2 polymorphism)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 





Description 
Since in Hask, Mu = Nu, we don't bother to distinguish them here


Synopsis 




Functor fixpoint


newtype FixF f 


outM :: (Functor f, Monad m) => GCoalgebra f m (FixF f) 

inW :: (Functor f, Comonad w) => GAlgebra f w (FixF f) 

identityBialgebraF :: Bialgebra f f (FixF f) 

Bifunctor fixpoint


newtype Fix s a 
Constructors   Instances  


identityBialgebraB :: Bialgebra (f a) (f a) (Fix f a) 

paugment :: PMonad f => (forall c. (f a c > c) > c) > (a > Fix f b) > Fix f b 

pcoaugment :: PComonad f => ((Fix f a > f b (Fix f a)) > Fix f b) > (Fix f a > b) > Fix f b 

Produced by Haddock version 2.1.0 