| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.Arrow.List
- newtype ListTArrow m a b = ListTArrow {
- runListTArrow' :: Kleisli (ListT m) a b
- runListTArrow :: ListTArrow m a b -> a -> m [b]
- type ListArrow a b = ListTArrow Identity a b
- runListArrow :: ListArrow a b -> a -> [b]
- arrML :: (ArrowList arr, ArrowKleisli m arr) => (a -> m [b]) -> a `arr` b
ListT arrow.
newtype ListTArrow m a b Source
Constructors
| ListTArrow | |
Fields
| |
Instances
| Monad m => Category * (ListTArrow m) | |
| Monad m => ArrowKleisli m (ListTArrow m) | |
| Monad m => ArrowListLike [] (ListTArrow m) | |
| Monad m => Arrow (ListTArrow m) | |
| Monad m => ArrowZero (ListTArrow m) | |
| Monad m => ArrowPlus (ListTArrow m) | |
| Monad m => ArrowChoice (ListTArrow m) | |
| Monad m => ArrowApply (ListTArrow m) | |
| Monad m => ArrowList (ListTArrow m) |
runListTArrow :: ListTArrow m a b -> a -> m [b] Source
List arrow.
type ListArrow a b = ListTArrow Identity a b Source
runListArrow :: ListArrow a b -> a -> [b] Source
Embed a monadic function returning lists.
arrML :: (ArrowList arr, ArrowKleisli m arr) => (a -> m [b]) -> a `arr` b Source