Wumpus.Basic.Utils.Combinators

Combiantors - pairing, static argument functions, ...

Combinators

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