Contents Index

TypeOperators

Contents stuff

Synopsis

data a :-: b data (a :+: b) c data Op a b newtype O g f a = O { unO :: g (f a) } biO :: (g `O` f) a newtype Flip (~>) b a = Flip { unFlip :: a ~> b }

stuff

data a :-: b

data (a :+: b) c

data Op a b

newtype O g f a

Constructors O unO :: g (f a)

biO :: (g `O` f) a

newtype Flip (~>) b a

Constructors Flip unFlip :: a ~> b

Produced by Haddock version 2.0