category-extras-0.44.1: 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) 
PComonad f => Comonad (FixB f) 
Bizip p => Zip (FixB p)