Portability | GHC |
---|---|

Stability | unstable |

Maintainer | stephen.tetley@gmail.com |

Combiantors - pairing, *static argument* functions, ...

- fork :: (a -> b) -> (a -> c) -> a -> (b, c)
- prod :: (a -> c) -> (b -> d) -> (a, b) -> (c, d)
- forkA :: Applicative f => f a -> f b -> f (a, b)
- bindR :: Monad m => (r -> m a) -> (a -> r -> m b) -> r -> m b
- bindAsk :: Monad m => m a -> (a -> r1 -> m b) -> r1 -> m b
- bindInto :: Monad m => (r1 -> m a) -> (a -> m b) -> r1 -> m b
- rlift1 :: Monad m => m a -> r -> m a
- bindR2 :: Monad m => (r1 -> r2 -> m a) -> (a -> r1 -> r2 -> m b) -> r1 -> r2 -> m b
- bindAskR2 :: Monad m => m a -> (a -> r1 -> r2 -> m b) -> r1 -> r2 -> m b
- rlift2 :: Monad m => m a -> r1 -> r2 -> m a

# Combinators

forkA :: Applicative f => f a -> f b -> f (a, b)Source