Copyright | (c) Fumiaki Kinoshita 2014 |
---|---|
License | BSD3 |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
- data Request a b r = Request a (b -> r)
- mapRequest :: (a -> a') -> Request a b r -> Request a' b r
- request :: a -> Request a b b
- handles :: Functor m => (a -> m (b, Object (Request a b) m)) -> Object (Request a b) m
- flyweight :: (Applicative m, Eq k, Hashable k) => (k -> m a) -> Object (Request k a) m
- animate :: (Applicative m, Num t) => (t -> m a) -> Object (Request t a) m
- transit :: (Alternative m, Fractional t, Ord t) => t -> (t -> m a) -> Object (Request t a) m
Documentation
'Request a b' is the type of a request that sends a
to receive b
.
Request a (b -> r) |
Profunctor (Request a) | |
Functor (Request a b) | |
Monoid a => Applicative (Request a b) | |
Typeable (* -> * -> * -> *) Request |
mapRequest :: (a -> a') -> Request a b r -> Request a' b r Source
transit :: (Alternative m, Fractional t, Ord t) => t -> (t -> m a) -> Object (Request t a) m Source