- 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 ~>, ArrowKleisli m ~>) => (a -> m [b]) -> a ~> b
ListT arrow.
newtype ListTArrow m a b Source
ListTArrow | |
|
Monad m => ArrowKleisli m (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 => Category (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 ~>, ArrowKleisli m ~>) => (a -> m [b]) -> a ~> bSource