Copyright | (c) Matteo Provenzano 2015 |
---|---|

License | BSD-style (see the LICENSE file in the distribution) |

Maintainer | matteo.provenzano@alephdue.com |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell2010 |

# Documentation

Category * Cont Source | |

Monoid a => Monoid (Cont t (f -> a)) Source | Identity law: Cont f . Cont id = Cont f . id = Cont f = Cont id . f = Cont id . Cont f Associativity law: (Cont f . Cont g) . Cont h = Cont (f . g) . Cont h = Cont (f . g . h) = Cont (f . (g . h)) = Cont f . Cont (g .h) = Cont f . (Cont g . Cont h) |