# TypeOperators

|  | 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.5.0