Acme.Grawlix

More readable names for commonly used symbols.

List

type List = []

An alias for the type '[]'

emptyList :: List a

An alias for '[]'

cons :: a -> List a -> List a

An alias for :

append :: List a -> List a -> List a

An alias for ++

index :: List a -> Int -> a

An alias for !!

difference :: Eq a => List a -> List a -> List a

An alias for \\

Function

apply :: (a -> b) -> a -> b

An alias for $

dot :: (b -> c) -> (a -> b) -> a -> c

An alias for .

Functor

fmap :: Functor f => (a -> b) -> f a -> f b

An alias for <$>

constMap :: Functor f => a -> f b -> f a

An alias for <$

Applicative

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

An alias for <*>

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

An alias for <*

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

An alias for *>

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

An alias for <**>

Alternative

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

An alias for <|>

Monoid

mappend :: Monoid m => m -> m -> m

An alias for <>

Monad

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

An alias for >>=

andThen :: Monad m => m a -> m b -> m b

An alias for >>

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

An alias for =<<

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

An alias for >=>

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

An alias for <=<

Tuple

type Unit = ()

An alias for the type '()'

unit :: Unit

An alias for the value '()', of type Unit

type ZeroTuple = Unit

An alias for a tuple of zero elements

type TwoTuple a b = (a, b)

An alias for a tuple of two elements

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

An alias for a tuple of three elements

type FourTuple a b c d = (a, b, c, d)

An alias for a tuple of four elements

type FiveTuple a b c d e = (a, b, c, d, e)

An alias for a tuple of five elements

type SixTuple a b c d e f = (a, b, c, d, e, f)

An alias for a tuple of six elements

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

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)

An alias for a tuple of eight elements

type NineTuple a b c d e f g h i = (a, b, c, d, e, f, g, h, i)

An alias for a tuple of nine elements

type TenTuple a b c d e f g h i j = (a, b, c, d, e, f, g, h, i, j)

An alias for a tuple of ten elements