category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Morphism.Dyna
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
dyna :: (Functor f, RunComonadCofree g w) => GAlgebra g w b -> (f :~> g) -> Coalgebra f a -> a -> bSource
Produced by Haddock version 2.4.2