| Safe Haskell | None |
|---|
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 ar, ArrowKleisli m ar) => (a -> m [b]) -> a `ar` b
ListT arrow.
newtype ListTArrow m a b Source
Constructors
| ListTArrow | |
Fields
| |
Instances
| (Arrow (ListTArrow m), Monad m) => ArrowKleisli m (ListTArrow m) | |
| (Arrow (ListTArrow m), Monad m) => ArrowF [] (ListTArrow m) | |
| (Category (ListTArrow m), Monad m) => Arrow (ListTArrow m) | |
| (Arrow (ListTArrow m), Monad m) => ArrowZero (ListTArrow m) | |
| (ArrowZero (ListTArrow m), Monad m) => ArrowPlus (ListTArrow m) | |
| (Arrow (ListTArrow m), Monad m) => ArrowChoice (ListTArrow m) | |
| (Arrow (ListTArrow m), Monad m) => ArrowApply (ListTArrow m) | |
| Monad m => Category (ListTArrow m) | |
| (Arrow (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 bSource
runListArrow :: ListArrow a b -> a -> [b]Source
Embed a monadic function returning lists.
arrML :: (ArrowList ar, ArrowKleisli m ar) => (a -> m [b]) -> a `ar` bSource