Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

All descriptions (and function declarations) copied directly from the
`Data.Aviary.Birds`

package.

- ・-・ :: a -> a
- ・∀・ :: a -> b -> a
- (^◇^) :: (b -> c) -> (a -> b) -> a -> c
- (★￣∀￣★) :: (a -> b -> c) -> b -> a -> c
- (≧∀≦) :: (a -> b) -> a -> b
- (°∇°) :: (b -> b -> c) -> (a -> b) -> a -> a -> c
- (´∀｀) :: (c -> d) -> (b -> c) -> (a -> b) -> a -> d
- (＾∇＾) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
- (＾∀＾) :: (a -> c -> d) -> a -> (b -> c) -> b -> d
- ・・ :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e
- (^-^*) :: (c -> a -> d) -> (b -> c) -> a -> b -> d
- (^∇^**) :: (a -> c -> b -> d) -> a -> b -> c -> d
- (^∀^**) :: (a -> b -> d -> c -> e) -> a -> b -> c -> d -> e
- ・∇´ :: (a -> b -> d -> e) -> a -> b -> (c -> d) -> c -> e
- ・∀´ :: (a -> c -> d) -> a -> (b -> c) -> b -> d
- (＾～＾) :: (c -> d -> e) -> (a -> c) -> a -> (b -> d) -> b -> e
- (//∇//) :: (a -> d -> e) -> a -> (b -> c -> d) -> b -> c -> e
- //・// :: (e -> f -> g) -> (a -> b -> e) -> a -> b -> (c -> d -> f) -> c -> d -> g
- 〃∇〃 :: a -> b -> (b -> a -> c) -> c
- 〃▽〃 :: (c -> b -> a -> d) -> a -> b -> c -> d
- 〃･〃 :: (a -> d -> c -> b -> e) -> a -> b -> c -> d -> e
- ‐°‐ :: (b -> c -> d) -> (a -> c) -> a -> b -> d
- (°□°) :: (a -> b -> a -> c) -> a -> b -> c
- (┬──┬) :: (a -> b) -> a -> b
- ・.・ :: (a -> b -> c) -> a -> b -> c
- ・・? :: (a -> c) -> a -> b -> c
- ・・?? :: (a -> b -> d) -> a -> b -> c -> d
- ・・??? :: (a -> b -> b) -> a -> b -> a -> b
- ・～・ :: a -> b -> b
- －－～ :: ((a -> b) -> a) -> (a -> b) -> b
- (╯°□°) :: (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
- (￣＾￣) :: a -> (a -> b) -> (b -> c) -> c
- ・﹏・ :: (a -> b) -> (b -> c) -> a -> c
- 〃´∀｀ :: (a -> b) -> a -> (b -> c) -> c
- 〃．． :: (b -> c) -> a -> (a -> b) -> c
- ．． :: a -> (b -> c) -> (a -> b) -> c
- ｡･･｡ :: a -> (b -> a -> c) -> b -> c
- 〃｡･･｡ :: (b -> c -> a -> d) -> a -> b -> c -> d
- *〃｡･･｡ :: (a -> c -> d -> b -> e) -> a -> b -> c -> d -> e
- (°-°*) :: (a -> b -> c) -> (a -> b) -> a -> c
- °-°〃 :: (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
- ╥﹏╥ :: a -> (a -> b) -> b
- ⋟﹏⋞ :: a -> b -> (a -> b -> c) -> c
- (⋟～⋞) :: (b -> a -> b -> d) -> a -> b -> b -> d
- (╥～╥) :: (a -> c -> b -> c -> e) -> a -> b -> c -> c -> e
- ´･～･ :: (a -> a -> b) -> a -> b
- ・・； :: a -> (a -> a -> b) -> b
- ●・・ :: (a -> b -> b -> c) -> a -> b -> c
- ◉・・ :: (a -> b -> c -> c -> d) -> a -> b -> c -> d

# Documentation

(≧∀≦) :: (a -> b) -> a -> b Source #

A combinator - apply / applicator - Haskell (`$`

).

This is also called `i-star`

.

(°∇°) :: (b -> b -> c) -> (a -> b) -> a -> a -> c Source #

Psi combinator - psi bird (?) - Haskell `on`

.

・・ :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e Source #

B2 combinator - bunting - specs `ooo`

.

(^∀^**) :: (a -> b -> d -> c -> e) -> a -> b -> c -> d -> e Source #

C** combinator - cardinal twice removed.

//・// :: (e -> f -> g) -> (a -> b -> e) -> a -> b -> (c -> d -> f) -> c -> d -> g Source #

E ^ - bald eagle. For alphabetical regularity it is somewhat misnamed here as eaglebald.

〃･〃 :: (a -> d -> c -> b -> e) -> a -> b -> c -> d -> e Source #

F** combinator - finch twice removed.

(┬──┬) :: (a -> b) -> a -> b Source #

I* combinator - identity bird once removed
Alias of `applicator`

, Haskell's (`$`

).

・・? :: (a -> c) -> a -> b -> c Source #

Alternative J combinator - this is the J combintor of Joy, Rayward-Smith and Burton (see. Antoni Diller 'Compiling Functional Languages' page 104). It is not the J - jay combinator of the literature.

・・?? :: (a -> b -> d) -> a -> b -> c -> d Source #

J' combinator - from Joy, Rayward-Smith and Burton.
See the comment to `jalt`

.

・・??? :: (a -> b -> b) -> a -> b -> a -> b Source #

J combinator - jay.

This is the usual J combinator.

(╯°□°) :: (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d Source #

(Big) Phi combinator - phoenix - Haskell `liftM2`

.

This is the same function as `starling'`

.

・﹏・ :: (a -> b) -> (b -> c) -> a -> c Source #

Q combinator - queer bird.

Haskell `(##)`

in Peter Thiemann's Wash, reverse composition.

*〃｡･･｡ :: (a -> c -> d -> b -> e) -> a -> b -> c -> d -> e Source #

R** combinator - robin twice removed.

(°-°*) :: (a -> b -> c) -> (a -> b) -> a -> c Source #

S combinator - starling.

Haskell: Applicative's `(<*>)`

on functions.

Substitution.

°-°〃 :: (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d Source #

S' combinator - starling prime - Turner's big phi.
Haskell: Applicative's `liftA2`

on functions (and similarly
Monad's `liftM2`

).

This is the same function as `phoenix`

.

╥﹏╥ :: a -> (a -> b) -> b Source #

T combinator - thrush.
Haskell `(#)`

in Peter Thiemann's Wash, reverse application.

(╥～╥) :: (a -> c -> b -> c -> e) -> a -> b -> c -> c -> e Source #

V** combinator - vireo twice removed.