module Data.Aviary.BirdsInter
(
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
idiot :: a -> a
idiot = starling kestrel kestrel
kestrel :: a -> b -> a
kestrel a _b = a
bluebird :: (b -> c) -> (a -> b) -> a -> c
bluebird = starling (kestrel starling) kestrel
cardinal :: (a -> b -> c) -> b -> a -> c
cardinal = starling (bluebird bluebird starling) (kestrel kestrel)
applicator :: (a -> b) -> a -> b
applicator = cardinal (bluebird bluebird idiot) idiot
psi :: (b -> b -> c) -> (a -> b) -> a -> a -> c
psi = c (b s (b (b c) (b (b (b b)) (c (b b (b b i)) (c (b b i) i))))) (c (b b i) i)
where
c = cardinal
b = bluebird
s = starling
i = idiot
becard :: (c -> d) -> (b -> c) -> (a -> b) -> a -> d
becard = bluebird (bluebird bluebird) bluebird
blackbird :: (c -> d) -> (a -> b -> c) -> a -> b -> d
blackbird = bluebird bluebird bluebird
bluebird' :: (a -> c -> d) -> a -> (b -> c) -> b -> d
bluebird' = bluebird bluebird
bunting :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e
bunting = bluebird (bluebird bluebird bluebird) bluebird
cardinal' :: (c -> a -> d) -> (b -> c) -> a -> b -> d
cardinal' = bluebird (bluebird cardinal) bluebird
cardinalstar :: (a -> c -> b -> d) -> a -> b -> c -> d
cardinalstar = bluebird cardinal
cardinalstarstar :: (a -> b -> d -> c -> e) -> a -> b -> c -> d -> e
cardinalstarstar = bluebird cardinalstar
dickcissel :: (a -> b -> d -> e) -> a -> b -> (c -> d) -> c -> e
dickcissel = bluebird (bluebird bluebird)
dove :: (a -> c -> d) -> a -> (b -> c) -> b -> d
dove = bluebird bluebird
dovekie :: (c -> d -> e) -> (a -> c) -> a -> (b -> d) -> b -> e
dovekie = bluebird bluebird (bluebird bluebird)
eagle :: (a -> d -> e) -> a -> (b -> c -> d) -> b -> c -> e
eagle = bluebird (bluebird bluebird bluebird)
eaglebald :: (e -> f -> g)
-> (a -> b -> e)
-> a -> b
-> (c -> d -> f)
-> c -> d -> g
eaglebald =
bluebird (bluebird bluebird bluebird) (bluebird (bluebird bluebird bluebird))
finch :: a -> b -> (b -> a -> c) -> c
finch = eagle thrush thrush eagle thrush
finchstar :: (c -> b -> a -> d) -> a -> b -> c -> d
finchstar = bluebird cardinalstar robinstar
finchstarstar :: (a -> d -> c -> b -> e) -> a -> b -> c -> d -> e
finchstarstar = bluebird finchstar
goldfinch :: (b -> c -> d) -> (a -> c) -> a -> b -> d
goldfinch = bluebird bluebird cardinal
hummingbird :: (a -> b -> a -> c) -> a -> b -> c
hummingbird = bluebird warbler (bluebird cardinal)
idstar :: (a -> b) -> a -> b
idstar = cardinal (bluebird bluebird idiot) idiot
idstarstar :: (a -> b -> c) -> a -> b -> c
idstarstar = bluebird idstar
jalt :: (a -> c) -> a -> b -> c
jalt = bluebird kestrel
jalt' :: (a -> b -> d) -> a -> b -> c -> d
jalt' = bluebird (bluebird kestrel)
jay :: (a -> b -> b) -> a -> b -> a -> b
jay = bluebird (bluebird cardinal)
(warbler (bluebird cardinal
(bluebird (bluebird bluebird bluebird))))
kite :: a -> b -> b
kite = kestrel idiot
owl :: ((a -> b) -> a) -> (a -> b) -> b
owl = starling idiot
phoenix :: (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
phoenix = bluebird (bluebird starling) bluebird
quacky :: a -> (a -> b) -> (b -> c) -> c
quacky = finchstar bluebird
queer :: (a -> b) -> (b -> c) -> a -> c
queer = cardinal bluebird
quirky :: (a -> b) -> a -> (b -> c) -> c
quirky = bluebird thrush
quixotic :: (b -> c) -> a -> (a -> b) -> c
quixotic = bluebird cardinal bluebird
quizzical :: a -> (b -> c) -> (a -> b) -> c
quizzical = cardinal (bluebird cardinal bluebird)
robin :: a -> (b -> a -> c) -> b -> c
robin = bluebird bluebird thrush
robinstar :: (b -> c -> a -> d) -> a -> b -> c -> d
robinstar = cardinalstar cardinalstar
robinstarstar :: (a -> c -> d -> b -> e) -> a -> b -> c -> d -> e
robinstarstar = bluebird robinstar
starling :: (a -> b -> c) -> (a -> b) -> a -> c
starling f g x = f x (g x)
starling' :: (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
starling' = bluebird (bluebird starling) bluebird
thrush :: a -> (a -> b) -> b
thrush = cardinal idiot
vireo :: a -> b -> (a -> b -> b) -> b
vireo = bluebird cardinal thrush
vireostar :: (b -> a -> b -> d) -> a -> b -> b -> d
vireostar = cardinalstar finchstar
vireostarstar :: (a -> c -> b -> c -> e) -> a -> b -> c -> c -> e
vireostarstar = bluebird vireostar
warbler :: (a -> a -> b) -> a -> b
warbler = cardinal starling idiot
warbler1 :: a -> (a -> a -> b) -> b
warbler1 = cardinal warbler
warblerstar :: (a -> b -> b -> c) -> a -> b -> c
warblerstar = bluebird warbler
warblerstarstar :: (a -> b -> c -> c -> d) -> a -> b -> c -> d
warblerstarstar = bluebird warblerstar