Copyright | (c) Ross Paterson 2003 |
---|---|
License | BSD-style (see the LICENSE file in the distribution) |
Maintainer | ross@soi.city.ac.uk |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Arrow transformers, for making new arrow types out of old ones.
- class (Arrow a, Arrow (f a)) => ArrowTransformer f a where
Documentation
class (Arrow a, Arrow (f a)) => ArrowTransformer f a where Source #
Construct a new arrow from an existing one.
Arrow a => ArrowTransformer Automaton a Source # | |
Arrow a => ArrowTransformer StreamArrow a Source # | |
ArrowChoice a => ArrowTransformer (ErrorArrow ex) a Source # | |
Arrow a => ArrowTransformer (ReaderArrow r) a Source # | |
Arrow a => ArrowTransformer (StateArrow s) a Source # | |
(Arrow a, Applicative f) => ArrowTransformer (StaticArrow f) a Source # | |
(Arrow a, Monoid w) => ArrowTransformer (WriterArrow w) a Source # | |