Copyright | Joshua Simmons 2015 |
---|---|

License | BSD3 |

Maintainer | joshua.simmons@emptypath.com |

Stability | experimental |

Safe Haskell | Safe |

Language | Haskell2010 |

More readable names for commonly used symbols.

- type List = []
- emptyList :: List a
- cons :: a -> List a -> List a
- append :: List a -> List a -> List a
- index :: List a -> Int -> a
- difference :: Eq a => List a -> List a -> List a
- apply :: (a -> b) -> a -> b
- dot :: (b -> c) -> (a -> b) -> a -> c
- fmap :: Functor f => (a -> b) -> f a -> f b
- constMap :: Functor f => a -> f b -> f a
- ap :: Applicative f => f (a -> b) -> f a -> f b
- leftAp :: Applicative f => f a -> f b -> f a
- rightAp :: Applicative f => f a -> f b -> f b
- flipAp :: Applicative f => f a -> f (a -> b) -> f b
- orElse :: Alternative f => f a -> f a -> f a
- mappend :: Monoid m => m -> m -> m
- bind :: Monad m => m a -> (a -> m b) -> m b
- andThen :: Monad m => m a -> m b -> m b
- flipBind :: Monad m => (a -> m b) -> m a -> m b
- kleisliCompose :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- flipKleisliCompose :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
- type Unit = ()
- unit :: Unit
- type ZeroTuple = Unit
- type TwoTuple a b = (a, b)
- type ThreeTuple a b c = (a, b, c)
- type FourTuple a b c d = (a, b, c, d)
- type FiveTuple a b c d e = (a, b, c, d, e)
- type SixTuple a b c d e f = (a, b, c, d, e, f)
- type SevenTuple a b c d e f g = (a, b, c, d, e, f, g)
- type EightTuple a b c d e f g h = (a, b, c, d, e, f, g, h)
- type NineTuple a b c d e f g h i = (a, b, c, d, e, f, g, h, i)
- type TenTuple a b c d e f g h i j = (a, b, c, d, e, f, g, h, i, j)

# List

# Function

# Functor

# Applicative

ap :: Applicative f => f (a -> b) -> f a -> f b Source

An alias for `<*>`

leftAp :: Applicative f => f a -> f b -> f a Source

An alias for `<*`

rightAp :: Applicative f => f a -> f b -> f b Source

An alias for `*>`

flipAp :: Applicative f => f a -> f (a -> b) -> f b Source

An alias for `<**>`

# Alternative

orElse :: Alternative f => f a -> f a -> f a Source

An alias for `<|>`

# Monoid

# Monad

kleisliCompose :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c Source

An alias for `>=>`

flipKleisliCompose :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c Source

An alias for `<=<`

# Tuple

type ThreeTuple a b c = (a, b, c) Source

An alias for a tuple of three elements

type SevenTuple a b c d e f g = (a, b, c, d, e, f, g) Source

An alias for a tuple of seven elements

type EightTuple a b c d e f g h = (a, b, c, d, e, f, g, h) Source

An alias for a tuple of eight elements