Util

Documentation

(&=&) :: Applicative p => (a -> p b) -> (a -> p c) -> a -> p (b, c) infixr 3

(*=*) :: Applicative p => (a1 -> p b1) -> (a2 -> p b2) -> (a1, a2) -> p (b1, b2) infixr 3

tripleK :: Applicative p => (a1 -> p b1) -> (a2 -> p b2) -> (a3 -> p b3) -> (a1, a2, a3) -> p (b1, b2, b3)

(<||>) :: Applicative p => p Bool -> p Bool -> p Bool infixr 2

(<&&>) :: Applicative p => p Bool -> p Bool -> p Bool infixr 3

liftA4 :: Applicative p => (a -> b -> c -> d -> e) -> p a -> p b -> p c -> p d -> p e

apMA :: Monad m => m (a -> m b) -> a -> m b

whileJust :: (Alternative f, Monad m) => m (Maybe a) -> (a -> m b) -> m (f b)

list :: b -> (a -> [a] -> b) -> [a] -> b

(∘) :: Category p => p b c -> p a b -> p a c infixr 9

(&) :: Category p => p a b -> p b c -> p a c infixr 9

(∘∘) :: (c -> d) -> (a -> b -> c) -> a -> b -> d infixr 9

onn :: (a -> a -> a -> b) -> (c -> a) -> c -> c -> c -> b infixl 0

fst3 :: (a, b, c) -> a

snd3 :: (a, b, c) -> b

þrd3 :: (a, b, c) -> c