category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Functor.Fix Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

newtype Fix f Source

Constructors InF outF :: f (Fix f)

outM :: (Functor f, Monad m) => CoAlgM f m (Fix f) Source

inW :: (Functor f, Comonad w) => AlgW f w (Fix f) Source

Produced by Haddock version 2.1.0