| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
AERN2.Utils.Arrows
Description
Miscellaneous arrow-generic functions
- mapA :: ArrowChoice to => (t1 `to` t2) -> [t1] `to` [t2]
- mapWithIndexA :: ArrowChoice to => (Integer -> t1 `to` t2) -> [t1] `to` [t2]
- class CanSwitchArrow to1 to2 where
Documentation
mapA :: ArrowChoice to => (t1 `to` t2) -> [t1] `to` [t2] Source #
Apply an arrow morphism on all elements of a list
mapWithIndexA :: ArrowChoice to => (Integer -> t1 `to` t2) -> [t1] `to` [t2] Source #
Apply an arrow morphism on all elements of a list
class CanSwitchArrow to1 to2 where Source #
Minimal complete definition
Methods
switchArrow :: (a `to1` b) -> a `to2` b Source #
Instances
| Arrow to => CanSwitchArrow (->) to Source # | |