| 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 |
Control.Category.Cont
Description
Documentation
Instances
| 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) |