Copyright | 2018 Joshua Booth |
---|---|

License | BSD3 (see the file LICENSE) |

Maintainer | Joshua Booth <joshua.n.booth@gmail.com> |

Safe Haskell | Safe |

Language | Haskell2010 |

Various unicode synonyms for basic functions.

## Synopsis

- (∘) :: (b -> g) -> (a -> b) -> a -> g
- (↦) :: Functor f => f a -> (a -> b) -> f b
- (↤) :: Functor f => (a -> b) -> f a -> f b
- (↤∘) :: Functor f => (a -> b) -> (c -> f a) -> c -> f b
- (≫=) :: Monad m => m a -> (a -> m b) -> m b
- (≫) :: Monad m => m a -> m b -> m b
- (=≪) :: Monad m => (a -> m b) -> m a -> m b
- (∨) :: Bool -> Bool -> Bool
- (∧) :: Bool -> Bool -> Bool
- (≡) :: Eq a => a -> a -> Bool
- (≠) :: Eq a => a -> a -> Bool
- (≤) :: Ord a => a -> a -> Bool
- (≥) :: Ord a => a -> a -> Bool
- (÷) :: Integral a => a -> a -> a
- (٪) :: Integral a => a -> a -> a
- (—) :: Num a => a -> a -> a
- (⌥) :: Alternative f => f a -> f a -> f a
- (∈) :: (Foldable a, Eq b) => b -> a b -> Bool
- (∉) :: (Foldable a, Eq b) => b -> a b -> Bool
- (⧺) :: Semigroup m => m -> m -> m
- (∪) :: Eq a => [a] -> [a] -> [a]
- (∩) :: Eq a => [a] -> [a] -> [a]
- (⩀) :: Eq a => [a] -> [a] -> Bool
- (∖) :: Eq a => [a] -> [a] -> [a]
- ø :: Monoid a => a

# Functional

(↤) :: Functor f => (a -> b) -> f a -> f b infixl 4 Source #

`(↤) = ``fmap`

U+21A4, LEFTWARDS ARROW FROM BAR

(↤∘) :: Functor f => (a -> b) -> (c -> f a) -> c -> f b infixr 7 Source #

`f ↤∘ g = ``fmap`

f ∘ g

(U+21A4, LEFTWARDS ARROW FROM BAR) + (U+2218, RING OPERATOR)

(≫=) :: Monad m => m a -> (a -> m b) -> m b infixl 1 Source #

`(≫=) = (``>>=`

)

(U+226B, MUCH GREATER-THAN) + (U+003D, EQUALS SIGN)

(=≪) :: Monad m => (a -> m b) -> m a -> m b infixr 1 Source #

`(=≪) = (``=<<`

)

(U+003D, EQUALS SIGN) + (U+226A, MUCH LESS-THAN)

# Boolean

# Comparison

# Arithmetic

# Collections

(⌥) :: Alternative f => f a -> f a -> f a Source #

`(⌥) = (``<|>`

)

U+2325, OPTION KEY

(∉) :: (Foldable a, Eq b) => b -> a b -> Bool infix 4 Source #

`(∉) = ``notElem`

U+2209, NOT AN ELEMENT OF