module Data.Aviary.BirdsVersion
(
idiot
, kestrel
, bluebird
, cardinal
, applicator
, psi
, becard
, blackbird
, bluebird'
, bunting
, cardinal'
, cardinalstar
, cardinalstarstar
, dove
, dickcissel
, dovekie
, eagle
, eaglebald
, finch
, finchstar
, finchstarstar
, goldfinch
, hummingbird
, idstar
, idstarstar
, jalt
, jalt'
, jay
, kite
, owl
, phoenix
, quacky
, queer
, quirky
, quixotic
, quizzical
, robin
, robinstar
, robinstarstar
, starling
, starling'
, thrush
, vireo
, vireostar
, vireostarstar
, warbler
, warbler1
, warblerstar
, warblerstarstar
) where
import Data.Function
idiot :: ans -> ans
idiot = id
kestrel :: ans -> r1 -> ans
kestrel = const
bluebird :: (a -> ans) -> (r1 -> a) -> r1 -> ans
bluebird = (.)
cardinal :: (r2 -> r1 -> ans) -> r1 -> r2 -> ans
cardinal = flip
applicator :: (r1 -> ans) -> r1 -> ans
applicator = ($)
psi :: (a -> a -> ans) -> (r1 -> a) -> r1 -> r1 -> ans
psi = on
becard :: (b -> ans) -> (a -> b) -> (r1 -> a) -> r1 -> ans
becard f g h x = f (g (h x))
blackbird :: (a -> ans) -> (r1 -> r2 -> a) -> r1 -> r2 -> ans
blackbird f g x y = f (g x y)
bluebird' :: (r1 -> a -> ans) -> r1 -> (r2 -> a) -> r2 -> ans
bluebird' f x g y = f x (g y)
bunting :: (a -> ans) -> (r1 -> r2 -> r3 -> a) -> r1 -> r2 -> r3 -> ans
bunting f g x y z = f (g x y z)
cardinal' :: (a -> r1 -> ans) -> (r2 -> a) -> r1 -> r2 -> ans
cardinal' f g x y = f (g y) x
cardinalstar :: (r1 -> r3 -> r2 -> ans) -> r1 -> r2 -> r3 -> ans
cardinalstar f x y z = f x z y
cardinalstarstar :: (r1 -> r2 -> r4 -> r3 -> ans) -> r1 -> r2 -> r3 -> r4 -> ans
cardinalstarstar f x y z1 z2 = f x y z2 z1
dickcissel :: (r1 -> r2 -> a -> ans) -> r1 -> r2 -> (r3 -> a) -> r3 -> ans
dickcissel f x y g z = f x y (g z)
dove :: (r1 -> a -> ans) -> r1 -> (r2 -> a) -> r2 -> ans
dove f x g y = f x (g y)
dovekie :: (a -> b -> ans) -> (r1 -> a) -> r1 -> (r2 -> b) -> r2 -> ans
dovekie f g x h z = f (g x) (h z)
eagle :: (a -> d -> ans) -> a -> (b -> c -> d) -> b -> c -> ans
eagle f x g y z = f x (g y z)
eaglebald :: (a -> b -> ans)
-> (r1 -> r2 -> a)
-> r1 -> r2
-> (r3 -> r4 -> b)
-> r3 -> r4 -> ans
eaglebald f g x y h z1 z2 = f (g x y) (h z1 z2)
finch :: r1 -> r2 -> (r2 -> r1 -> ans) -> ans
finch x y f = f y x
finchstar :: (r3 -> r2 -> r1 -> ans) -> r1 -> r2 -> r3 -> ans
finchstar f x y z = f z y x
finchstarstar :: (r1 -> r4 -> r3 -> r2 -> ans) -> r1 -> r2 -> r3 -> r4 -> ans
finchstarstar f x y z1 z2 = f x z2 z1 y
goldfinch :: (r2 -> a -> ans) -> (r1 -> a) -> r1 -> r2 -> ans
goldfinch f g x y = f y (g x)
hummingbird :: (r1 -> r2 -> r1 -> ans) -> r1 -> r2 -> ans
hummingbird f x y = f x y x
idstar :: (r1 -> ans) -> r1 -> ans
idstar f x = f x
idstarstar :: (r1 -> r2 -> ans) -> r1 -> r2 -> ans
idstarstar f x y = f x y
jalt :: (r1 -> ans) -> r1 -> r2 -> ans
jalt f x _y = f x
jalt' :: (r1 -> r2 -> ans) -> r1 -> r2 -> r3 -> ans
jalt' f x y _z = f x y
jay :: (r1 -> ans -> ans) -> r1 -> ans -> r1 -> ans
jay f x y z = f x (f z y)
kite :: r1 -> ans -> ans
kite _x y = y
owl :: ((a -> ans) -> a) -> (a -> ans) -> ans
owl x y = y (x y)
phoenix :: (a -> b -> ans) -> (r1 -> a) -> (r1 -> b) -> r1 -> ans
phoenix f g h x = f (g x) (h x)
quacky :: r1 -> (r1 -> a) -> (a -> ans) -> ans
quacky x f g = g (f x)
queer :: (r1 -> a) -> (a -> ans) -> r1 -> ans
queer f g x = g (f x)
quirky :: (r1 -> a) -> r1 -> (a -> ans) -> ans
quirky f x g = g (f x)
quixotic :: (a -> ans) -> r1 -> (r1 -> a) -> ans
quixotic f x g = f (g x)
quizzical :: r1 -> (a -> ans) -> (r1 -> a) -> ans
quizzical x f g = f (g x)
robin :: r1 -> (r2 -> r1 -> ans) -> r2 -> ans
robin x f y = f y x
robinstar :: (r2 -> r3 -> r1 -> ans) -> r1 -> r2 -> r3 -> ans
robinstar f x y z = f y z x
robinstarstar :: (r1 -> r3 -> r4 -> r2 -> ans) -> r1 -> r2 -> r3 -> r4 -> ans
robinstarstar f x y z1 z2 = f x z1 z2 y
starling :: (r1 -> a -> ans) -> (r1 -> a) -> r1 -> ans
starling f g x = f x (g x)
starling' :: (a -> b -> ans) -> (r1 -> a) -> (r1 -> b) -> r1 -> ans
starling' f g h x = f (g x) (h x)
thrush :: r1 -> (r1 -> ans) -> ans
thrush x f = f x
vireo :: r1 -> r2 -> (r1 -> r2 -> ans) -> ans
vireo x y f = f x y
vireostar :: (r2 -> r1 -> r2 -> ans) -> r1 -> r2 -> r2 -> ans
vireostar f x y z = f y x z
vireostarstar :: (r1 -> r3 -> r2 -> r3 -> ans) -> r1 -> r2 -> r3 -> r3 -> ans
vireostarstar f x y z1 z2 = f x z2 y z1
warbler :: (r1 -> r1 -> ans) -> r1 -> ans
warbler f x = f x x
warbler1 :: r1 -> (r1 -> r1 -> ans) -> ans
warbler1 x f = f x x
warblerstar :: (r1 -> r2 -> r2 -> ans) -> r1 -> r2 -> ans
warblerstar f x y = f x y y
warblerstarstar :: (r1 -> r2 -> r3 -> r3 -> ans) -> r1 -> r2 -> r3 -> ans
warblerstarstar f x y z = f x y z z