|
Control.Compose | Portability | portable | Stability | experimental | Maintainer | conal@conal.net |
|
|
|
Description |
Various type constructor compositions and instances for them.
References:
[1] "Applicative Programming with Effects"
http://www.soi.city.ac.uk/~ross/papers/Applicative.html
|
|
Synopsis |
|
|
|
Documentation |
|
class Cofunctor acc where | Source |
|
Often useful for acceptors (consumers, sinks) of values.
| | Methods | cofmap :: (a -> b) -> acc b -> acc a | Source |
|
| | Instances | |
|
|
|
Composition of type constructors: unary & unary. Called "g . f" in
[1], section 5, but GHC won't parse that, nor will it parse any infix
type operators in an export list. Haddock won't parse any type infixes
at all. Meant to be used infix when Haddock is up to it or not involved.
| Constructors | | Instances | |
|
|
inO :: (g (f a) -> g' (f' a')) -> O g f a -> O g' f' a' | Source |
|
Apply a function within the O constructor.
|
|
newtype StaticArrow f (~>) a b | Source |
|
Composition of type constructors: unary with binary.
| Constructors | | Instances | |
|
|
|
Flip type arguments
| Constructors | | Instances | |
|
|
inFlip :: ((a ~> b) -> a' ~~> b') -> Flip ~> b a -> Flip ~~> b' a' | Source |
|
|
inFlip2 :: ((a ~> b) -> (a' ~~> b') -> a'' ~~~> b'') -> Flip ~> b a -> Flip ~~> b' a' -> Flip ~~~> b'' a'' | Source |
|
|
newtype ArrowAp (~>) f a b | Source |
|
Composition of type constructors: binary with unary.
| Constructors | | Instances | |
|
|
|
Type application
| Constructors | | Instances | |
|
|
Produced by Haddock version 2.3.0 |