Data.PopCulture.Emoticons

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

Documentation

・-・ :: a -> a

・∀・ :: a -> b -> a

(^◇^) :: (b -> c) -> (a -> b) -> a -> c

(★￣∀￣★) :: (a -> b -> c) -> b -> a -> c

C combinator - cardinal - Haskell flip.

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

A combinator - apply / applicator - Haskell ($).

This is also called i-star.

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

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

(´∀｀) :: (c -> d) -> (b -> c) -> (a -> b) -> a -> d

B3 combinator - becard.

(＾∇＾) :: (c -> d) -> (a -> b -> c) -> a -> b -> d

B1 combinator - blackbird - specs oo.

(＾∀＾) :: (a -> c -> d) -> a -> (b -> c) -> b -> d

B' combinator - bluebird prime.

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

B2 combinator - bunting - specs ooo.

(^-^*) :: (c -> a -> d) -> (b -> c) -> a -> b -> d

C' combinator - no name.

(^∇^**) :: (a -> c -> b -> d) -> a -> b -> c -> d

C* combinator - cardinal once removed.

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

C** combinator - cardinal twice removed.

・∇´ :: (a -> b -> d -> e) -> a -> b -> (c -> d) -> c -> e

D1 combinator - dickcissel.

・∀´ :: (a -> c -> d) -> a -> (b -> c) -> b -> d

D combinator - dove.

(＾～＾) :: (c -> d -> e) -> (a -> c) -> a -> (b -> d) -> b -> e

D2 combinator - dovekie.

(//∇//) :: (a -> d -> e) -> a -> (b -> c -> d) -> b -> c -> e

E combinator - eagle.

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

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

〃∇〃 :: a -> b -> (b -> a -> c) -> c

F combinator - finch.

〃▽〃 :: (c -> b -> a -> d) -> a -> b -> c -> d

F* combinator - finch once removed.

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

F** combinator - finch twice removed.

‐°‐ :: (b -> c -> d) -> (a -> c) -> a -> b -> d

G combinator - goldfinch.

(°□°) :: (a -> b -> a -> c) -> a -> b -> c

H combinator - hummingbird.

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

I* combinator - identity bird once removed Alias of applicator, Haskell's ($).

・.・ :: (a -> b -> c) -> a -> b -> c

I** combinator - identity bird twice removed

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

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

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

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

J combinator - jay.

This is the usual J combinator.

・～・ :: a -> b -> b

Ki - kite. Corresponds to the encoding of false in the lambda calculus.

－－～ :: ((a -> b) -> a) -> (a -> b) -> b

O combinator - owl.

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

(Big) Phi combinator - phoenix - Haskell liftM2.

This is the same function as starling'.

(￣＾￣) :: a -> (a -> b) -> (b -> c) -> c

Q4 combinator - quacky bird.

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

Q combinator - queer bird.

Haskell (##) in Peter Thiemann's Wash, reverse composition.

〃´∀｀ :: (a -> b) -> a -> (b -> c) -> c

Q3 combinator - quirky bird.

〃．． :: (b -> c) -> a -> (a -> b) -> c

Q1 combinator - quixotic bird.

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

Q2 combinator - quizzical bird.

｡･･｡ :: a -> (b -> a -> c) -> b -> c

R combinator - robin.

〃｡･･｡ :: (b -> c -> a -> d) -> a -> b -> c -> d

R* combinator - robin once removed.

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

R** combinator - robin twice removed.

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

S combinator - starling.

Haskell: Applicative's (<*>) on functions.

Substitution.

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

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

T combinator - thrush. Haskell (#) in Peter Thiemann's Wash, reverse application.

⋟﹏⋞ :: a -> b -> (a -> b -> c) -> c

V combinator - vireo (pairing).

(⋟～⋞) :: (b -> a -> b -> d) -> a -> b -> b -> d

V* combinator - vireo once removed.

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

V** combinator - vireo twice removed.

´･～･ :: (a -> a -> b) -> a -> b

W combinator - warbler - elementary duplicator.

・・； :: a -> (a -> a -> b) -> b

W1 combinator - converse warbler. warbler with the arguments reversed.

●・・ :: (a -> b -> b -> c) -> a -> b -> c

W* combinator - warbler once removed.

◉・・ :: (a -> b -> c -> c -> d) -> a -> b -> c -> d

W** combinator - warbler twice removed.