Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
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 #
switchArrow :: (a `to1` b) -> a `to2` b Source #
Arrow to => CanSwitchArrow (->) to Source # | |