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

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

Description

Traditional operators, shown here to show how to roll your own

Documentation

futu :: Functor f => CoAlgM f (Free f) a -> a -> Fix f Source

g_futu :: (Functor f, Functor h) => Dist h f -> CoAlgM f (Free h) a -> a -> Fix f Source

distFutu :: (Functor f, Functor h) => Dist h f -> Dist (Free h) f Source

Produced by Haddock version 2.1.0