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

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

Contents Distributive Law Combinators

Description

Synopsis

type Zygo b a = (b, a) zygo :: Functor f => Alg f b -> AlgW f (Zygo b) a -> Fix f -> a g_zygo :: (Functor f, Comonad w) => AlgW f w b -> Dist f w -> AlgW f (ReaderCT w b) a -> Fix f -> a distZygo :: Functor f => Alg f b -> Dist f (Zygo b) distZygoT :: (Functor f, Comonad w) => AlgW f w b -> Dist f w -> Dist f (ReaderCT w b)

Documentation

type Zygo b a = (b, a) Source

zygo :: Functor f => Alg f b -> AlgW f (Zygo b) a -> Fix f -> a Source

g_zygo :: (Functor f, Comonad w) => AlgW f w b -> Dist f w -> AlgW f (ReaderCT w b) a -> Fix f -> a Source

Distributive Law Combinators

distZygo :: Functor f => Alg f b -> Dist f (Zygo b) Source

distZygoT :: (Functor f, Comonad w) => AlgW f w b -> Dist f w -> Dist f (ReaderCT w b) Source

Produced by Haddock version 2.1.0