-- |
-- Module      : Data.Express.Fixtures
-- Copyright   : (c) 2019-2024 Rudy Matela
-- License     : 3-Clause BSD  (see the file LICENSE)
-- Maintainer  : Rudy Matela <rudy@matela.com.br>
--
-- Defines some 'Expr' fixtures to facilitate testing and playing around on
-- the REPL (GHCI).
--
-- * Instead of having to write:
--
--     > > value "&&" (&&) :$ (value "not" not :$ val True) :$ val False
--     > not True && False :: Bool
--
--     Using this module, we can just write:
--
--     > > not' true -&&- false
--     > not True && False :: Bool
--
-- * Instead of having to write:
--
--     > > value "+" ((+)::Int->Int->Int) :$ (value "*" ((*)::Int->Int->Int) :$ var "x" (undefined::Int) :$ var "y" (undefined::Int)) :$ (value "*" ((*)::Int->Int->Int) :$ val (1::Int) :$ val (2::Int))
--     > x * y + 1 * 2 :: Int
--
--     Using this module, we can just write:
--
--     > > xx -*- yy -+- one -*- two
--     > x * y + 1 * 2 :: Int
--
-- * Instead of having to write:
--
--     > > value "||" (||) :$ (value "==" ((==)::Int->Int->Bool) :$ val (3::Int) :$ (value "+" ((+)::Int->Int->Int) :$ var "y" (undefined::Int) :$ val (1::Int))) :$ (value "not" not :$ val False)
--     > 3 == y + 1 || not False :: Bool
--
--     We can just write:
--
--     > > (three -==- yy -+- one) -||- not' false
--     > x == y + 1 || not False :: Bool
--
-- This exports over a hundred symbols
-- to be used mainly when writing unit tests
-- or playing around on GHCi.
--
-- Since the 'Expr' type only allows monomorphic values,
-- encoded polymorphic values are monomorphized
-- usually to the 'Int' type.
--
-- /Beware:/ lifted 'Expr' functions sometimes work for different types.
-- The current version does not have a rationale for types that are included:
-- you have to either try around on the REPL or look at the source to really know.
module Data.Express.Fixtures
  (
  -- * Convenience re-export
    module Data.Express

  -- * Functions and values encoded as Expr or functions of Exprs
  -- | The naming rules are:
  --
  -- * 'Int's are encoded using their English names,
  --   e.g.: 'zero', 'one', 'two';
  --
  -- * 'Char's are encoded using their English names,
  --   e.g.: 'bee', 'cee', 'dee';
  --
  -- * 0-argument constructors are encoded in lowercase,
  --   e.g.: 'false', 'true', 'nothing', 'just';
  --
  -- * lifted constructors are lowercased,
  --   e.g.: 'just';
  --
  -- * lifted functions are primed
  --   e.g.: 'id'', 'negate'', 'head'';
  --
  -- * lifted operators are surrounded by dashes,
  --   e.g.: '-+-', '-*-', '-&&-', '-||-', '-:-'.
  --
  -- * operators are encoded using their English names,
  --   e.g.: 'plus', 'times', 'cons';
  --
  -- * encoded functions are followed by @E@,
  --   e.g.: 'idE', 'notE', 'absE';
  --
  -- * variables have the first character duplicated,
  --   e.g.: 'xx', 'yy', 'xxs';
  --
  -- * encoded values may have the element type appended,
  --   e.g.: 'idInt', 'idBool', 'justInt', 'nilChar'.
  --
  -- Unqualified polymorphic constructors and functions
  -- have their element types bound to 'Int'.
  --
  -- There are exceptions to the above rules such as:
  -- when a name would conflict with a Prelude function.
  -- (e.g.: 'orE' and 'andE')

  -- ** Booleans
  , b_, pp, qq, rr, pp'
  , false
  , true
  , notE
  , orE
  , andE
  , implies
  , not'
  , (-||-)
  , (-&&-)
  , (-==>-)
  , (-==-)
  , (-/=-)
  , (-<=-)
  , (-<-)
  , compare'
  , if'
  , caseBool
  , caseOrdering

  -- ** Integers
  , i_, xx, yy, zz, xx'
  , ii, jj, kk, ii'
  , ll, mm, nn
  , zero, one, two, three, four, five, six
  , seven, eight, nine, ten, eleven, twelve
  , minusOne, minusTwo
  , idE, negateE, absE, signumE
  , idInt
  , idBool
  , idChar
  , idInts
  , idBools
  , idString
  , id', const', negate', abs', signum'
  , plus, times, minus
  , (-+-), (-*-)
  , divE, modE, quotE, remE
  , div', mod', quot', rem'
  , ff, ffE
  , gg, ggE
  , hh, hhE
  , oo, ooE
  , question
  , (-?-)
  , (-$-)
  , odd'
  , even'

  -- ** Chars
  , c_, cs_
  , cc, dd, ccs
  , ae, bee, cee, dee, zed, zee
  , space, lineBreak
  , ord'
  , ordE

  -- ** Lists
  , is_
  , xxs
  , yys
  , zzs
  , nil
  , emptyString
  , nilInt
  , nilBool
  , nilChar
  , cons
  , consInt
  , consBool
  , consChar
  , (-:-)
  , unit
  , (-++-)
  , head'
  , tail'
  , null'
  , length'
  , init'
  , elem'
  , sort'
  , insert'
  , bs_, pps, qqs
  , and', or'
  , sum', product'
  , appendInt

  -- ** Maybes
  , nothing
  , nothingInt
  , nothingBool
  , just
  , justInt
  , justBool

  -- ** Tuples
  , comma
  , pair
  , (-|-)
  , triple
  , quadruple
  , quintuple
  , sixtuple

  -- ** Ratios
  , (-%-)

  -- ** Higher order
  , compose
  , mapE
  , (-.-)
  , map'

  -- ** Enum
  , enumFrom',   (-..)
  , enumFromTo', (-..-)
  , enumFromThen', (--..)
  , enumFromThenTo', (--..-)
  )
where

import Data.Express
import Data.Maybe
import Data.Typeable (Typeable, typeOf)
import Data.Char
import Data.List
import Data.Ratio

int :: Int
int :: Int
int  =  Int
forall a. HasCallStack => a
undefined

bool :: Bool
bool :: Bool
bool  =  Bool
forall a. HasCallStack => a
undefined

char :: Char
char :: Char
char  =  Char
forall a. HasCallStack => a
undefined

string :: String
string :: [Char]
string  =  [Char]
forall a. HasCallStack => a
undefined

-- | 'Expr' representing a hole of 'Bool' type.
--
-- > > b_
-- > _ :: Bool
b_ :: Expr
b_ :: Expr
b_  =  Bool -> Expr
forall a. Typeable a => a -> Expr
hole Bool
bool

-- | 'Expr' representing a variable @p :: `Bool`@.
--
-- > > pp
-- > p :: Bool
pp :: Expr
pp :: Expr
pp  =  [Char] -> Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"p" Bool
bool

-- | 'Expr' representing a variable @q :: `Bool`@.
--
-- > > qq
-- > q :: Bool
qq :: Expr
qq :: Expr
qq  =  [Char] -> Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"q" Bool
bool

-- | 'Expr' representing a variable @r :: `Bool`@.
--
-- > > rr
-- > r :: Bool
rr :: Expr
rr :: Expr
rr  =  [Char] -> Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"r" Bool
bool

-- | 'Expr' representing a variable @p' :: `Bool`@.
--
-- > > pp'
-- > p' :: Bool
pp' :: Expr
pp' :: Expr
pp'  =  [Char] -> Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"p'" Bool
bool


-- | 'False' encoded as an 'Expr'.
--
-- > > false
-- > False :: Bool
false :: Expr
false :: Expr
false  =  Bool -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Bool
False

-- | 'True' encoded as an 'Expr'.
--
-- > > true
-- > True :: Bool
true :: Expr
true :: Expr
true  =  Bool -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Bool
True

-- | The function 'not' encoded as an 'Expr'.
--
-- > > notE
-- > not :: Bool -> Bool
notE :: Expr
notE :: Expr
notE  =  [Char] -> Id Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"not" Id Bool
not

-- | The function 'and' encoded as an 'Expr'.
--
-- > > andE
-- > (&&) :: Bool -> Bool -> Bool
andE :: Expr
andE :: Expr
andE  =  [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"&&" Bool -> Id Bool
(&&)

-- | The function 'or' encoded as an 'Expr'.
--
-- > > orE
-- > (||) :: Bool -> Bool -> Bool
orE :: Expr
orE :: Expr
orE  =  [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"||" Bool -> Id Bool
(||)

-- | The function @==>@ lifted over 'Expr's.
--
-- > > false -==>- true
-- > False ==> True :: Bool
--
-- > > evl $ false -==>- true :: Bool
-- > True
(-==>-) :: Expr -> Expr -> Expr
Expr
e1 -==>- :: Expr -> Expr -> Expr
-==>- Expr
e2  =  Expr
implies Expr -> Expr -> Expr
:$ Expr
e1 Expr -> Expr -> Expr
:$ Expr
e2
infixr 0 -==>-

-- | The @==>@ operator encoded as an 'Expr'
implies :: Expr
implies :: Expr
implies  =  [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==>" Bool -> Id Bool
(==>)
  where
  Bool
False ==> :: Bool -> Id Bool
==> Bool
_  =  Bool
True
  Bool
True  ==> Bool
p  =  Bool
p

-- | The function 'not' lifted over the 'Expr' type.
--
-- > > not' false
-- > not False :: Bool
--
-- > > evalBool $ not' false
-- > True
--
-- > > not' pp
-- > not p :: Bool
not' :: Expr -> Expr
not' :: Expr -> Expr
not' Expr
pp  =  Expr
notE Expr -> Expr -> Expr
:$ Expr
pp

-- | The function '&&' lifted over the 'Expr' type.
--
-- > > pp -&&- qq
-- > p && q :: Bool
--
-- > > false -&&- true
-- > False && True :: Bool
--
-- > > evalBool $ false -&&- true
-- > False
(-&&-) :: Expr -> Expr -> Expr
Expr
pp -&&- :: Expr -> Expr -> Expr
-&&- Expr
qq  =  Expr
andE Expr -> Expr -> Expr
:$ Expr
pp Expr -> Expr -> Expr
:$ Expr
qq
infixr 3 -&&-

-- | The function '||' lifted over the 'Expr' type.
--
-- > > pp -||- qq
-- > p || q :: Bool
--
-- > > false -||- true
-- > False || True :: Bool
--
-- > > evalBool $ false -||- true
-- > True
(-||-) :: Expr -> Expr -> Expr
Expr
pp -||- :: Expr -> Expr -> Expr
-||- Expr
qq  =  Expr
orE Expr -> Expr -> Expr
:$ Expr
pp Expr -> Expr -> Expr
:$ Expr
qq
infixr 2 -||-

-- | A typed hole of 'Int' type.
--
-- > > i_
-- > _ :: Int
i_ :: Expr
i_ :: Expr
i_  =  Int -> Expr
forall a. Typeable a => a -> Expr
hole Int
int

-- | A variable @x@ of 'Int' type.
--
-- > > xx
-- > x :: Int
xx :: Expr
xx :: Expr
xx  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"x" Int
int

-- | A variable @y@ of 'Int' type.
--
-- > > yy
-- > y :: Int
yy :: Expr
yy :: Expr
yy  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"y" Int
int

-- | A variable @z@ of 'Int' type.
--
-- > > zz
-- > z :: Int
zz :: Expr
zz :: Expr
zz  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"z" Int
int

-- | A variable @x'@ of 'Int' type.
--
-- > > xx'
-- > x' :: Int
xx' :: Expr
xx' :: Expr
xx'  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"x'" Int
int


-- | A variable @i@ of 'Int' type.
--
-- > > ii
-- > i :: Int
ii :: Expr
ii :: Expr
ii  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"i" Int
int

-- | A variable @j@ of 'Int' type.
--
-- > > jj
-- > j :: Int
jj :: Expr
jj :: Expr
jj  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"j" Int
int

-- | A variable @k@ of 'Int' type.
--
-- > > kk
-- > k :: Int
kk :: Expr
kk :: Expr
kk  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"k" Int
int

-- | A variable @i'@ of 'Int' type.
--
-- > > ii'
-- > i' :: Int
ii' :: Expr
ii' :: Expr
ii'  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"i'" Int
int

-- | A variable @l@ of 'Int' type.
--
-- > > ll
-- > l :: Int
ll :: Expr
ll :: Expr
ll  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"l" Int
int

-- | A variable @m@ of 'Int' type.
--
-- > > mm
-- > m :: Int
mm :: Expr
mm :: Expr
mm  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"m" Int
int

-- | A variable @n@ of 'Int' type.
--
-- > > nn
-- > n :: Int
nn :: Expr
nn :: Expr
nn  =  [Char] -> Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"n" Int
int

-- | The value @0@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > zero
-- > 0 :: Int
zero :: Expr
zero :: Expr
zero  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
0 :: Int)

-- | The value @1@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > one
-- > 1 :: Int
one :: Expr
one :: Expr
one  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
1 :: Int)

-- | The value @2@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > two
-- > 2 :: Int
two :: Expr
two :: Expr
two  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
2 :: Int)

-- | The value @3@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > three
-- > 3 :: Int
three :: Expr
three :: Expr
three  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
3 :: Int)

-- | The value @4@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > four
-- > 4 :: Int
four :: Expr
four :: Expr
four  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
4 :: Int)

-- | The value @5@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > five
-- > 5 :: Int
five :: Expr
five :: Expr
five  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
5 :: Int)

-- | The value @6@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > six
-- > 6 :: Int
six :: Expr
six :: Expr
six  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
6 :: Int)

-- | The value @7@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > seven
-- > 7 :: Int
seven :: Expr
seven :: Expr
seven  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
7 :: Int)

-- | The value @8@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > eight
-- > 8 :: Int
eight :: Expr
eight :: Expr
eight  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
8 :: Int)

-- | The value @9@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > nine
-- > 9 :: Int
nine :: Expr
nine :: Expr
nine  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
9 :: Int)

-- | The value @10@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > ten
-- > 10 :: Int
ten :: Expr
ten :: Expr
ten  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
10 :: Int)

-- | The value @11@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > eleven
-- > 11 :: Int
eleven :: Expr
eleven :: Expr
eleven  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
11 :: Int)

-- | The value @12@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > twelve
-- > 12 :: Int
twelve :: Expr
twelve :: Expr
twelve  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Int
12 :: Int)

-- | The value @-1@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > minusOne
-- > -1 :: Int
minusOne :: Expr
minusOne :: Expr
minusOne  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (-Int
1 :: Int)

-- | The value @-2@ bound to the 'Int' type encoded as an 'Expr'.
--
-- > > minusOne
-- > -2 :: Int
minusTwo :: Expr
minusTwo :: Expr
minusTwo  =  Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (-Int
2 :: Int)

-- | A variable function @f@ of 'Int -> Int' type lifted over the 'Expr' type.
--
-- > > ff xx
-- > f x :: Int
--
-- > > ff one
-- > f 1 :: Int
ff :: Expr -> Expr
ff :: Expr -> Expr
ff  =  (Expr
ffE Expr -> Expr -> Expr
:$)

-- | A variable @f@ of 'Int -> Int' type encoded as an 'Expr'.
--
-- > > ffE
-- > f :: Int -> Int
ffE :: Expr
ffE :: Expr
ffE  =  [Char] -> (Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"f" (Int -> Int
forall a. HasCallStack => a
undefined :: Int -> Int)

-- | A variable function @g@ of 'Int -> Int' type lifted over the 'Expr' type.
--
-- > > gg yy
-- > g y :: Int
--
-- > > gg minusTwo
-- > gg (-2) :: Int
gg :: Expr -> Expr
gg :: Expr -> Expr
gg  =  (Expr
ggE Expr -> Expr -> Expr
:$)

-- | A variable @g@ of 'Int -> Int' type encoded as an 'Expr'.
--
-- > > ggE
-- > g :: Int -> Int
ggE :: Expr
ggE :: Expr
ggE  =  [Char] -> (Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"g" (Int -> Int
forall a. HasCallStack => a
undefined :: Int -> Int)

-- | A variable function @h@ of 'Int -> Int' type lifted over the 'Expr' type.
--
-- > > hh zz
-- > h z :: Int
hh :: Expr -> Expr
hh :: Expr -> Expr
hh  =  (Expr
hhE Expr -> Expr -> Expr
:$)

-- | A variable @h@ of 'Int -> Int' type encoded as an 'Expr'.
--
-- > > hhE
-- > h :: Int -> Int
hhE :: Expr
hhE :: Expr
hhE  =  [Char] -> (Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"h" (Int -> Int
forall a. HasCallStack => a
undefined :: Int -> Int)

mk1 :: String -> [Expr] -> Expr -> Expr
mk1 :: [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
nm [Expr]
efs Expr
ex  =  Expr -> [Expr] -> Expr
forall a. a -> [a] -> a
headOr ([Char] -> [Expr] -> [Expr] -> Expr
err [Char]
nm [Expr]
efs [Expr
ex]) ([Expr] -> Expr) -> [Expr] -> Expr
forall a b. (a -> b) -> a -> b
$ [Expr]
efs [Expr] -> Expr -> [Expr]
>$$ Expr
ex

mk2 :: String -> [Expr] -> Expr -> Expr -> Expr
mk2 :: [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
nm [Expr]
efs Expr
ex Expr
ey  =  Expr -> [Expr] -> Expr
forall a. a -> [a] -> a
headOr ([Char] -> [Expr] -> [Expr] -> Expr
err [Char]
nm [Expr]
efs [Expr
ex,Expr
ey]) ([Expr] -> Expr) -> [Expr] -> Expr
forall a b. (a -> b) -> a -> b
$ [Expr]
efs [Expr] -> Expr -> [Expr]
>$$ Expr
ex [Expr] -> Expr -> [Expr]
>$$ Expr
ey

mk3 :: String -> [Expr] -> Expr -> Expr -> Expr -> Expr
mk3 :: [Char] -> [Expr] -> Expr -> Expr -> Expr -> Expr
mk3 [Char]
nm [Expr]
efs Expr
ex Expr
ey Expr
ez  =  Expr -> [Expr] -> Expr
forall a. a -> [a] -> a
headOr ([Char] -> [Expr] -> [Expr] -> Expr
err [Char]
nm [Expr]
efs [Expr
ex,Expr
ey,Expr
ez]) ([Expr] -> Expr) -> [Expr] -> Expr
forall a b. (a -> b) -> a -> b
$ [Expr]
efs [Expr] -> Expr -> [Expr]
>$$ Expr
ex [Expr] -> Expr -> [Expr]
>$$ Expr
ey [Expr] -> Expr -> [Expr]
>$$ Expr
ez

mk4 :: String -> [Expr] -> Expr -> Expr -> Expr -> Expr -> Expr
mk4 :: [Char] -> [Expr] -> Expr -> Expr -> Expr -> Expr -> Expr
mk4 [Char]
nm [Expr]
efs Expr
ex Expr
ey Expr
ez Expr
ew  =  Expr -> [Expr] -> Expr
forall a. a -> [a] -> a
headOr ([Char] -> [Expr] -> [Expr] -> Expr
err [Char]
nm [Expr]
efs [Expr
ex,Expr
ey,Expr
ez,Expr
ew]) ([Expr] -> Expr) -> [Expr] -> Expr
forall a b. (a -> b) -> a -> b
$ [Expr]
efs [Expr] -> Expr -> [Expr]
>$$ Expr
ex [Expr] -> Expr -> [Expr]
>$$ Expr
ey [Expr] -> Expr -> [Expr]
>$$ Expr
ez [Expr] -> Expr -> [Expr]
>$$ Expr
ew

err :: String -> [Expr] -> [Expr] -> Expr
err :: [Char] -> [Expr] -> [Expr] -> Expr
err [Char]
fn [Expr]
efs [Expr]
exs  =  [Char] -> Expr
forall a. HasCallStack => [Char] -> a
error
                ([Char] -> Expr) -> [Char] -> Expr
forall a b. (a -> b) -> a -> b
$  [Char]
fn [Char] -> Id [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
": unhandled type: "
                [Char] -> Id [Char]
forall a. [a] -> [a] -> [a]
++ [Char] -> [[Char]] -> [Char]
forall a. [a] -> [[a]] -> [a]
intercalate [Char]
", " ((Expr -> [Char]) -> [Expr] -> [[Char]]
forall a b. (a -> b) -> [a] -> [b]
map Expr -> [Char]
forall a. Show a => a -> [Char]
show [Expr]
exs)
                [Char] -> Id [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"\n    accepted types are:\n"
                [Char] -> Id [Char]
forall a. [a] -> [a] -> [a]
++ [[Char]] -> [Char]
unlines ((Expr -> [Char]) -> [Expr] -> [[Char]]
forall a b. (a -> b) -> [a] -> [b]
map (([Char]
"    " [Char] -> Id [Char]
forall a. [a] -> [a] -> [a]
++) Id [Char] -> (Expr -> [Char]) -> Expr -> [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Expr -> [Char]
forall a. Show a => a -> [Char]
show) [Expr]
efs)

-- | A variable binary operator @?@ lifted over the 'Expr' type.
--   Works for 'Int', 'Bool', 'Char', @[Int]@ and 'String'.
--
-- > > xx -?- yy
-- > x ? y :: Int
--
-- > > pp -?- qq
-- > p ? q :: Bool
--
-- > > xx -?- qq
-- > *** Exception: (-?-): unhandled type: 1 :: Int, False :: Bool
-- >     accepted types are:
-- >     (?) :: Int -> Int -> Int
-- >     (?) :: Bool -> Bool -> Bool
-- >     (?) :: Char -> Char -> Char
-- >     (?) :: [Int] -> [Int] -> [Int]
-- >     (?) :: [Char] -> [Char] -> [Char]
-- >     (?) :: Int -> [Int] -> [Int]
-- >     (?) :: Char -> [Char] -> [Char]
(-?-) :: Expr -> Expr -> Expr
-?- :: Expr -> Expr -> Expr
(-?-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-?-)"
  [ [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" (Int -> Int -> Int
forall a. HasCallStack => a
undefined :: Int -> Int -> Int)
  , [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" (Bool -> Id Bool
forall a. HasCallStack => a
undefined :: Bool -> Bool -> Bool)
  , [Char] -> (Char -> Id Char) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" (Char -> Id Char
forall a. HasCallStack => a
undefined :: Char -> Char -> Char)
  , [Char] -> ([Int] -> [Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" ([Int] -> [Int] -> [Int]
forall a. HasCallStack => a
undefined :: [Int] -> [Int] -> [Int])
  , [Char] -> ([Char] -> Id [Char]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" ([Char] -> Id [Char]
forall a. HasCallStack => a
undefined :: String -> String -> String)
  , [Char] -> Cons Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" (Cons Int
forall a. HasCallStack => a
undefined :: Int -> [Int] -> [Int])
  , [Char] -> Cons Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" (Cons Char
forall a. HasCallStack => a
undefined :: Char -> String -> String)
  ]

-- | A variable binary operator @?@ encoded as an 'Expr' (cf. '-?-')
--
-- > > question :$ xx :$ yy
-- > x ? y :: Int
--
-- > > question :$ pp :$ qq
-- > p ? q :: Bool
question :: Expr
question :: Expr
question  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"?" (Int -> Int -> Int
forall a. HasCallStack => a
undefined :: Int -> Int -> Int)

-- | A variable binary operator @o@ lifted over the 'Expr' type.
--   Works for 'Int', 'Bool', 'Char', @[Int]@ and 'String'.
--
-- > > xx `oo` yy
-- > x `o` y :: Int
--
-- > > pp `oo` qq
-- > p `o` q :: Bool
--
-- > > xx `oo` qq
-- > *** Exception: oo: unhandled type: 1 :: Int, False :: Bool
-- >     accepted types are:
-- >     o :: Int -> Int -> Int
-- >     o :: Bool -> Bool -> Bool
-- >     o :: Char -> Char -> Char
-- >     o :: [Int] -> [Int] -> [Int]
-- >     o :: [Char] -> [Char] -> [Char]
oo :: Expr -> Expr -> Expr
oo :: Expr -> Expr -> Expr
oo  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"oo"
  [ [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"`o`" (Int -> Int -> Int
forall a. HasCallStack => a
undefined :: Int -> Int -> Int)
  , [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"`o`" (Bool -> Id Bool
forall a. HasCallStack => a
undefined :: Bool -> Bool -> Bool)
  , [Char] -> (Char -> Id Char) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"`o`" (Char -> Id Char
forall a. HasCallStack => a
undefined :: Char -> Char -> Char)
  , [Char] -> ([Int] -> [Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"`o`" ([Int] -> [Int] -> [Int]
forall a. HasCallStack => a
undefined :: [Int] -> [Int] -> [Int])
  , [Char] -> ([Char] -> Id [Char]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"`o`" ([Char] -> Id [Char]
forall a. HasCallStack => a
undefined :: String -> String -> String)
  ]

-- | A variable binary function @o@ encoded as an 'Expr' (cf. 'oo')
--
-- > > ooE :$ xx :$ yy
-- > x `o` y :: Int
--
-- > > ooE :$ pp :$ qq
-- > p `o` q :: Bool
ooE :: Expr
ooE :: Expr
ooE  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"`o`" (Int -> Int -> Int
forall a. HasCallStack => a
undefined :: Int -> Int -> Int)

-- | The operator '+' for the 'Int' type for use on 'Expr's.  (See also 'plus'.)
--
-- > > two -+- three
-- > 2 + 3 :: Int
--
-- > > minusOne -+- minusTwo -+- zero
-- > ((-1) + (-2)) + 0 :: Int
--
-- > > xx -+- (yy -+- zz)
-- > x + (y + z) :: Int
(-+-) :: Expr -> Expr -> Expr
Expr
e1 -+- :: Expr -> Expr -> Expr
-+- Expr
e2  =  Expr
plus Expr -> Expr -> Expr
:$ Expr
e1 Expr -> Expr -> Expr
:$ Expr
e2
infixl 6 -+-

-- | The operator '+' for the 'Int' type.  (See also '-+-'.)
--
-- > > plus
-- > (+) :: Int -> Int -> Int
--
-- > > plus :$ one
-- > (1 +) :: Int -> Int
--
-- > > plus :$ xx :$ yy
-- > x + y :: Int
plus :: Expr
plus :: Expr
plus  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"+" (Int -> Int -> Int
forall a. Num a => a -> a -> a
(+) :: Int -> Int -> Int)

-- | The operator '*' for the 'Int' type lifted over the 'Expr' type.  (See also 'times'.)
--
-- > > three -*- three
-- > 3 * 3 :: Int
--
-- > > one -*- two -*- three
-- > (1 * 2) * 3 :: Int
--
-- > > two -*- xx
-- > 2 * x :: Int
(-*-) :: Expr -> Expr -> Expr
Expr
e1 -*- :: Expr -> Expr -> Expr
-*- Expr
e2  =  Expr
times Expr -> Expr -> Expr
:$ Expr
e1 Expr -> Expr -> Expr
:$ Expr
e2
infixl 7 -*-

-- | The operator '*' for the 'Int' type.  (See also '-*-'.)
--
-- > > times
-- > (*) :: Int -> Int -> Int
--
-- > > times :$ two
-- > (2 *) :: Int -> Int
--
-- > > times :$ xx :$ yy
-- > x * y :: Int
times :: Expr
times :: Expr
times  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"*" (Int -> Int -> Int
forall a. Num a => a -> a -> a
(*) :: Int -> Int -> Int)

-- | The subtraction '-' operator encoded as an 'Expr'.
--
-- > > minus :$ one
-- > (1 -) :: Int -> Int
--
-- > > minus :$ one :$ zero
-- > 1 - 0 :: Int
minus :: Expr
minus :: Expr
minus  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"-" ((-) :: Int -> Int -> Int)

-- | The function 'div' for the 'Int' type lifted over the 'Expr' type.  (See also 'mod'.)
--
-- > > six `div'` four
-- > 6 `div` 4 :: Int
div' :: Expr -> Expr -> Expr
Expr
ex div' :: Expr -> Expr -> Expr
`div'` Expr
ey  =  Expr
divE Expr -> Expr -> Expr
:$ Expr
ex Expr -> Expr -> Expr
:$ Expr
ey

-- | Integer division 'div' encoded as an 'Expr'.
--
-- > > divE :$ two
-- > (2 `div`) :: Int -> Int
--
-- > > divE :$ two :$ three
-- > 2 `div` 3 :: Int
divE :: Expr
divE :: Expr
divE  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"`div`" (Int -> Int -> Int
forall a. Integral a => a -> a -> a
div :: Int -> Int -> Int)

-- | The function 'mod' for the 'Int' type lifted over the 'Expr' type.  (See also 'div'.)
--
-- > > six `mod'` four
-- > 6 `mod` 4 :: Int
mod' :: Expr -> Expr -> Expr
Expr
ex mod' :: Expr -> Expr -> Expr
`mod'` Expr
ey  =  Expr
modE Expr -> Expr -> Expr
:$ Expr
ex Expr -> Expr -> Expr
:$ Expr
ey

-- | Integer modulo 'mod' encoded as an 'Expr'.
--
-- > > modE :$ two
-- > (2 `mod`) :: Int -> Int
--
-- > > modE :$ two :$ three
-- > 2 `mod` 3 :: Int
modE :: Expr
modE :: Expr
modE  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"`mod`" (Int -> Int -> Int
forall a. Integral a => a -> a -> a
mod :: Int -> Int -> Int)

-- | The function 'quot' for the 'Int' type lifted over the 'Expr' type.  (See also 'rem'.)
--
-- > > six `quot'` four
-- > 6 `quot` 4 :: Int
quot' :: Expr -> Expr -> Expr
Expr
ex quot' :: Expr -> Expr -> Expr
`quot'` Expr
ey  =  Expr
quotE Expr -> Expr -> Expr
:$ Expr
ex Expr -> Expr -> Expr
:$ Expr
ey

-- | Integer quotient 'quot' encoded as an 'Expr'.
--
-- > > quotE :$ two
-- > (2 `quot`) :: Int -> Int
--
-- > > quotE :$ two :$ three
-- > 2 `quot` 3 :: Int
quotE :: Expr
quotE :: Expr
quotE  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"`quot`" (Int -> Int -> Int
forall a. Integral a => a -> a -> a
quot :: Int -> Int -> Int)

-- | The function 'rem' for the 'Int' type lifted over the 'Expr' type.  (See also 'quot'.)
--
-- > > six `rem'` four
-- > 6 `rem` 4 :: Int
rem' :: Expr -> Expr -> Expr
Expr
ex rem' :: Expr -> Expr -> Expr
`rem'` Expr
ey  =  Expr
remE Expr -> Expr -> Expr
:$ Expr
ex Expr -> Expr -> Expr
:$ Expr
ey

-- | Integer remainder 'rem' encoded as an 'Expr'.
--
-- > > remE :$ two
-- > (2 `rem`) :: Int -> Int
--
-- > > remE :$ two :$ three
-- > 2 `rem` 3 :: Int
remE :: Expr
remE :: Expr
remE  =  [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"`rem`" (Int -> Int -> Int
forall a. Integral a => a -> a -> a
rem :: Int -> Int -> Int)

-- | Constructs an application of 'id' as an 'Expr'.
--   Only works for 'Int', 'Bool', 'Char', 'String', @[Int]@, @[Bool]@.
--
-- > > id' yy
-- > id yy :: Int
--
-- > > id' one
-- > id 1 :: Int
--
-- > > evl (id' one) :: Int
-- > 1
--
-- > > id' pp
-- > id p :: Bool
--
-- > > id' false
-- > id' False :: Bool
--
-- > > evl (id' true) :: Bool
-- > True :: Bool
id' :: Expr -> Expr
id' :: Expr -> Expr
id'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"id'"
  [ Expr
idInt
  , Expr
idBool
  , Expr
idChar
  , Expr
idInts
  , Expr
idBools
  , Expr
idString
  ]

-- | The function 'id' for the 'Int' type encoded as an 'Expr'.  (See also 'id''.)
--
-- > > idE :$ xx
-- > id x :: Int
--
-- > > idE :$ zero
-- > id 0 :: Int
--
-- > > evaluate $ idE :$ zero :: Maybe Int
-- > Just 0
idE :: Expr
idE :: Expr
idE  =  Expr
idInt

-- | The function 'id' encoded as an 'Expr'.  (cf. 'id'')
idInt,idBool,idChar,idInts,idBools,idString :: Expr
idInt :: Expr
idInt     =  [Char] -> (Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"id" (Int -> Int
forall a. a -> a
id :: Id Int)
idBool :: Expr
idBool    =  [Char] -> Id Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"id" (Id Bool
forall a. a -> a
id :: Id Bool)
idChar :: Expr
idChar    =  [Char] -> Id Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"id" (Id Char
forall a. a -> a
id :: Id Char)
idInts :: Expr
idInts    =  [Char] -> ([Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"id" ([Int] -> [Int]
forall a. a -> a
id :: Id [Int])
idBools :: Expr
idBools   =  [Char] -> Id [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"id" (Id [Bool]
forall a. a -> a
id :: Id [Bool])
idString :: Expr
idString  =  [Char] -> Id [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"id" (Id [Char]
forall a. a -> a
id :: Id String)
type Id a  =  a -> a

-- | The 'const' function lifted over the 'Expr' type.
--
-- > > const' zero one
-- > const 0 1 :: Int
--
-- This works for the argument types 'Int', 'Char', 'Bool' and their lists.
const' :: Expr -> Expr -> Expr
const' :: Expr -> Expr -> Expr
const'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"const'"
  [ [Char] -> (Int -> Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"const" (Int -> Int -> Int
forall a b. a -> b -> a
const :: Int -> Int -> Int)
  , [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"const" (Bool -> Id Bool
forall a b. a -> b -> a
const :: Bool -> Bool -> Bool)
  , [Char] -> (Char -> Id Char) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"const" (Char -> Id Char
forall a b. a -> b -> a
const :: Char -> Char -> Char)
  , [Char] -> ([Int] -> [Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"const" ([Int] -> [Int] -> [Int]
forall a b. a -> b -> a
const :: [Int] -> [Int] -> [Int])
  , [Char] -> ([Bool] -> Id [Bool]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"const" ([Bool] -> Id [Bool]
forall a b. a -> b -> a
const :: [Bool] -> [Bool] -> [Bool])
  , [Char] -> ([Char] -> Id [Char]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"const" ([Char] -> Id [Char]
forall a b. a -> b -> a
const :: String -> String -> String)
  ]

-- | 'negate' over the 'Int' type lifted over the 'Expr' type.
--
-- > > negate' xx
-- > negate x :: Int
--
-- > > evl (negate' one) :: Int
-- > -1
negate' :: Expr -> Expr
negate' :: Expr -> Expr
negate' Expr
e  =  Expr
negateE Expr -> Expr -> Expr
:$ Expr
e

-- | 'negate' over the 'Int' type encoded as an 'Expr'
--
-- > > negateE
-- > negate :: Int -> Int
negateE :: Expr
negateE :: Expr
negateE  =  [Char] -> (Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"negate" (Int -> Int
forall a. Num a => a -> a
negate :: Int -> Int)

-- | 'abs' over the 'Int' type lifted over the 'Expr' type.
--
-- > > abs' xx'
-- > abs x' :: Int
--
-- > > evl (abs' minusTwo) :: Int
-- > 2
abs' :: Expr -> Expr
abs' :: Expr -> Expr
abs' Expr
e  =  Expr
absE Expr -> Expr -> Expr
:$ Expr
e

-- | 'abs' over the 'Int' type encoded as an 'Expr'.
--
-- > > absE
-- > abs :: Int -> Int
absE :: Expr
absE :: Expr
absE  =  [Char] -> (Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"abs" (Int -> Int
forall a. Num a => a -> a
abs :: Int -> Int)

-- | 'signum' over the 'Int' type lifted over the 'Expr' type.
--
-- > > signum' xx'
-- > signum x' :: Int
--
-- > > evl (signum' minusTwo) :: Int
-- > -1
signum' :: Expr -> Expr
signum' :: Expr -> Expr
signum' Expr
e  =  Expr
signumE Expr -> Expr -> Expr
:$ Expr
e

-- | 'signum' over the 'Int' type encoded as an 'Expr'.
--
-- > > signumE
-- > signum :: Int -> Int
signumE :: Expr
signumE :: Expr
signumE  =  [Char] -> (Int -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"signum" (Int -> Int
forall a. Num a => a -> a
signum :: Int -> Int)

-- | 'odd' with an 'Int' argument lifted over the 'Expr' type.
--
-- > > odd' (xx -+- one)
-- > odd (x + 1) :: Bool
--
-- > > evl (odd' two) :: Bool
-- > False
odd' :: Expr -> Expr
odd' :: Expr -> Expr
odd'  =  (Expr
oddE Expr -> Expr -> Expr
:$) where oddE :: Expr
oddE = [Char] -> (Int -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"odd" (Int -> Bool
forall a. Integral a => a -> Bool
odd :: Int -> Bool)

-- | 'even' with an 'Int' argument lifted over the 'Expr' type.
--
-- > > even' (xx -+- two)
-- > even (x + 2) :: Bool
--
-- > > evl (even' two) :: Bool
-- > True
even' :: Expr -> Expr
even' :: Expr -> Expr
even'  =  (Expr
evenE Expr -> Expr -> Expr
:$) where evenE :: Expr
evenE = [Char] -> (Int -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"even" (Int -> Bool
forall a. Integral a => a -> Bool
even :: Int -> Bool)

-- | A hole of 'Char' type encoded as an 'Expr'.
--
-- > > c_
-- > _ :: Char
c_ :: Expr
c_ :: Expr
c_  =  Char -> Expr
forall a. Typeable a => a -> Expr
hole Char
char

-- | A hole of 'String' type encoded as an 'Expr'.
--
-- > > cs_
-- > _ :: [Char]
cs_ :: Expr
cs_ :: Expr
cs_  =  [Char] -> Expr
forall a. Typeable a => a -> Expr
hole [Char
char]

-- | A variable named @c@ of type 'Char' encoded as an 'Expr'.
--
-- > > cc
-- > c :: Char
cc :: Expr
cc :: Expr
cc  =  [Char] -> Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"c" Char
char

-- | A variable named @c@ of type 'Char' encoded as an 'Expr'.
--
-- > > dd
-- > d :: Char
dd :: Expr
dd :: Expr
dd  =  [Char] -> Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"d" Char
char

-- | A variable named @cs@ of type 'String' encoded as an 'Expr'.
--
-- > > ccs
-- > cs :: [Char]
ccs :: Expr
ccs :: Expr
ccs  =  [Char] -> [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"cs" [Char
char]

-- | The character @\'a\'@ encoded as an 'Expr'.
--
-- > > ae
-- > 'a' :: Char
--
-- > > evl ae :: Char
-- > 'a'
ae :: Expr
ae :: Expr
ae  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
'a'
-- The English name for letter 'a' is not really 'ae', but simply 'a'.

-- | The character @\'b\'@ encoded as an 'Expr'
--
-- > > bee
-- > 'b' :: Char
--
-- > > evl bee :: Char
-- > 'b'
bee :: Expr
bee :: Expr
bee  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
'b'

-- | The character @\'c\'@ encoded as an 'Expr'
--
-- > > cee
-- > 'c' :: Char
--
-- > > evl cee :: Char
-- > 'c'
cee :: Expr
cee :: Expr
cee  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
'c'

-- | The character @\'d\'@ encoded as an 'Expr'
--
-- > > dee
-- > 'd' :: Char
--
-- > > evl dee :: Char
-- > 'd'
dee :: Expr
dee :: Expr
dee  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
'd'

-- | The character @\'z\'@ encoded as an 'Expr'
--
-- > > zed
-- > 'z' :: Char
--
-- > > evl zed :: Char
-- > 'z'
--
-- (cf. 'zee')
zed :: Expr
zed :: Expr
zed  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
'z'

-- | The character @\'z\'@ encoded as an 'Expr'
--
-- > > zee
-- > 'z' :: Char
--
-- > > evl zee :: Char
-- > 'z'
--
-- (cf. 'zed')
zee :: Expr
zee :: Expr
zee  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
'z'

-- | The space character encoded as an 'Expr'
--
-- > > space
-- > ' ' :: Char
space :: Expr
space :: Expr
space  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
' '

-- | The line break character encoded as an 'Expr'
--
-- > > lineBreak
-- > '\n' :: Char
lineBreak :: Expr
lineBreak :: Expr
lineBreak  =  Char -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val Char
'\n'

-- | The 'ord' function lifted over 'Expr'
--
-- > > ord' bee
-- > ord 'b' :: Int
--
-- > > evl (ord' bee)
-- > 98
ord' :: Expr -> Expr
ord' :: Expr -> Expr
ord'  =  (Expr
ordE Expr -> Expr -> Expr
:$)

-- | The 'ord' function encoded as an 'Expr'
ordE :: Expr
ordE :: Expr
ordE  =  [Char] -> (Char -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"ord" Char -> Int
ord

-- | A typed hole of @[Int]@ type encoded as an 'Expr'.
--
-- > > is_
-- > _ :: [Int]
is_ :: Expr
is_ :: Expr
is_  =  [Int] -> Expr
forall a. Typeable a => a -> Expr
hole [Int
int]

-- | A variable named @xs@ of type @[Int]@ encoded as an 'Expr'.
--
-- > > xxs
-- > xs :: [Int]
xxs :: Expr
xxs :: Expr
xxs  =  [Char] -> [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"xs" [Int
int]

-- | A variable named @ys@ of type @[Int]@ encoded as an 'Expr'.
--
-- > > yys
-- > ys :: [Int]
yys :: Expr
yys :: Expr
yys  =  [Char] -> [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"ys" [Int
int]

-- | A variable named @zs@ of type @[Int]@ encoded as an 'Expr'.
--
-- > > yys
-- > ys :: [Int]
zzs :: Expr
zzs :: Expr
zzs  =  [Char] -> [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"zs" [Int
int]

-- | An empty list of type @[Int]@ encoded as an 'Expr'.
--
-- > > nil
-- > [] :: [Int]
nil :: Expr
nil :: Expr
nil  =  Expr
nilInt

-- | An empty 'String' encoded as an 'Expr'.
--
-- > > emptyString
-- > "" :: String
emptyString :: Expr
emptyString :: Expr
emptyString  =  [Char] -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val [Char]
""

-- | The empty list '[]' encoded as an 'Expr'.
nilInt, nilBool, nilChar :: Expr
nilInt :: Expr
nilInt   =  [Int] -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val ([] :: [Int])
nilBool :: Expr
nilBool  =  [Bool] -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val ([] :: [Bool])
nilChar :: Expr
nilChar  =  [Char] -> [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"[]" ([] :: [Char])

-- | The list constructor with 'Int' as element type encoded as an 'Expr'.
--
-- > > cons
-- > (:) :: Int -> [Int] -> [Int]
--
-- > > cons :$ one :$ nil
-- > [1] :: [Int]
--
-- Consider using '-:-' and 'unit' when building lists of 'Expr'.
cons :: Expr
cons :: Expr
cons  =  Expr
consInt

-- | The list constructor @ : @ encoded as an 'Expr'.
consInt, consBool, consChar :: Expr
consInt :: Expr
consInt   =  [Char] -> Cons Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
":" ((:) :: Cons Int)
consBool :: Expr
consBool  =  [Char] -> Cons Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
":" ((:) :: Cons Bool)
consChar :: Expr
consChar  =  [Char] -> Cons Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
":" ((:) :: Cons Char)
type Cons a  =  a -> [a] -> [a]

-- | 'unit' constructs a list with a single element.
--   This works for elements of type 'Int', 'Char' and 'Bool'.
--
-- > > unit one
-- > [1]
--
-- > > unit false
-- > [False]
unit :: Expr -> Expr
unit :: Expr -> Expr
unit Expr
e  =  Expr
e Expr -> Expr -> Expr
-:- Expr
nil'
  where
  nil' :: Expr
nil' | Expr -> TypeRep
typ Expr
e TypeRep -> TypeRep -> Bool
forall a. Eq a => a -> a -> Bool
== Expr -> TypeRep
typ Expr
i_  =  Expr
nil
       | Expr -> TypeRep
typ Expr
e TypeRep -> TypeRep -> Bool
forall a. Eq a => a -> a -> Bool
== Expr -> TypeRep
typ Expr
c_  =  Expr
emptyString
       | Expr -> TypeRep
typ Expr
e TypeRep -> TypeRep -> Bool
forall a. Eq a => a -> a -> Bool
== Expr -> TypeRep
typ Expr
b_  =  Expr
nilBool

-- | The list constructor lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > zero -:- one -:- unit two
-- > [0,1,2] :: [Int]
--
-- > > zero -:- one -:- two -:- nil
-- > [0,1,2] :: [Int]
--
-- > > bee -:- unit cee
-- > "bc" :: [Char]
(-:-) :: Expr -> Expr -> Expr
-:- :: Expr -> Expr -> Expr
(-:-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-:-)"
  [ Expr
consInt
  , Expr
consBool
  , Expr
consChar
  , [Char] -> Cons (Maybe Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
":" ((:) :: Cons (Maybe Int))
  ]
infixr 5 -:-

-- | Append for list of 'Int's encoded as an 'Expr'.
appendInt :: Expr
appendInt :: Expr
appendInt  =  [Char] -> ([Int] -> [Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"++" ([Int] -> [Int] -> [Int]
forall a. [a] -> [a] -> [a]
(++) :: [Int] -> [Int] -> [Int])

-- | List concatenation lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > (zero -:- one -:- nil) -:- (two -:- three -:- nil)
-- > [0,1] -++- [2,3] :: [Int]
--
-- > > (bee -:- unit cee) -:- unit dee
-- > "bc" -++- "c" :: [Char]
(-++-) :: Expr -> Expr -> Expr
-++- :: Expr -> Expr -> Expr
(-++-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-++-)"
  [ [Char] -> ([Int] -> [Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"++" ([Int] -> [Int] -> [Int]
forall a. [a] -> [a] -> [a]
(++) :: [Int] -> [Int] -> [Int])
  , [Char] -> ([Char] -> Id [Char]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"++" ([Char] -> Id [Char]
forall a. [a] -> [a] -> [a]
(++) :: String -> String -> String)
  , [Char] -> ([Bool] -> Id [Bool]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"++" ([Bool] -> Id [Bool]
forall a. [a] -> [a] -> [a]
(++) :: [Bool] -> [Bool] -> [Bool])
  ]
infixr 5 -++-

-- | List 'head' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > head' $ unit one
-- > head [1] :: Int
--
-- > > head' $ unit bee
-- > head "b" :: Char
--
-- > > head' $ zero -:- unit two
-- > head [0,2] :: Int
--
-- > > evl $ head' $ unit one :: Int
-- > 1
head' :: Expr -> Expr
head' :: Expr -> Expr
head'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"head'"
  [ [Char] -> ([Int] -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"head" ([Int] -> Int
forall a. HasCallStack => [a] -> a
head :: [Int] -> Int)
  , [Char] -> ([Char] -> Char) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"head" ([Char] -> Char
forall a. HasCallStack => [a] -> a
head :: [Char] -> Char)
  , [Char] -> ([Bool] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"head" ([Bool] -> Bool
forall a. HasCallStack => [a] -> a
head :: [Bool] -> Bool)
  ]

-- | List 'tail' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > tail' $ unit one
-- > tail [1] :: [Int]
--
-- > > tail' $ unit bee
-- > tail "b" :: [Char]
--
-- > > tail' $ zero -:- unit two
-- > tail [0,2] :: [Int]
--
-- > > evl $ tail' $ zero -:- unit two :: [Int]
-- > [2]
tail' :: Expr -> Expr
tail' :: Expr -> Expr
tail'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"tail'"
  [ [Char] -> ([Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"tail" ([Int] -> [Int]
forall a. HasCallStack => [a] -> [a]
tail :: [Int] -> [Int])
  , [Char] -> Id [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"tail" (Id [Char]
forall a. HasCallStack => [a] -> [a]
tail :: [Char] -> [Char])
  , [Char] -> Id [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"tail" (Id [Bool]
forall a. HasCallStack => [a] -> [a]
tail :: [Bool] -> [Bool])
  ]

-- | List 'null' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > null' $ unit one
-- > null [1] :: Bool
--
-- > > null' $ nil
-- > null [] :: Bool
--
-- > > evl $ null' nil :: Bool
-- > True
null' :: Expr -> Expr
null' :: Expr -> Expr
null'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"null'"
  [ [Char] -> ([Int] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"null" ([Int] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null :: [Int] -> Bool)
  , [Char] -> ([Char] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"null" ([Char] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null :: [Char] -> Bool)
  , [Char] -> ([Bool] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"null" ([Bool] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null :: [Bool] -> Bool)
  ]

-- | List 'length' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > length' $ unit one
-- > length [1] :: Int
--
-- > > length' $ unit bee
-- > length "b" :: Int
--
-- > > length' $ zero -:- unit two
-- > length [0,2] :: Int
--
-- > > evl $ length' $ unit one :: Int
-- > 1
length' :: Expr -> Expr
length' :: Expr -> Expr
length'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"length'"
  [ [Char] -> ([Int] -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"length" ([Int] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length :: [Int] -> Int)
  , [Char] -> ([Char] -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"length" ([Char] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length :: [Char] -> Int)
  , [Char] -> ([Bool] -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"length" ([Bool] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length :: [Bool] -> Int)
  ]

-- | List 'init' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > init' $ unit one
-- > init [1] :: [Int]
--
-- > > init' $ unit bee
-- > init "b" :: [Char]
--
-- > > init' $ zero -:- unit two
-- > init [0,2] :: [Int]
--
-- > > evl $ init' $ zero -:- unit two :: [Int]
-- > [0]
init' :: Expr -> Expr
init' :: Expr -> Expr
init'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"init'"
  [ [Char] -> ([Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"init" ([Int] -> [Int]
forall a. HasCallStack => [a] -> [a]
init :: [Int] -> [Int])
  , [Char] -> Id [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"init" (Id [Char]
forall a. HasCallStack => [a] -> [a]
init :: [Char] -> [Char])
  , [Char] -> Id [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"init" (Id [Bool]
forall a. HasCallStack => [a] -> [a]
init :: [Bool] -> [Bool])
  ]

-- | List 'sort' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > sort' $ unit one
-- > sort [1] :: Int
--
-- > > sort' $ unit bee
-- > sort "b" :: Int
--
-- > > sort' $ zero -:- unit two
-- > sort [0,2] :: Int
--
-- > > evl $ sort' $ two -:- unit one :: [Int]
-- > [1,2]
sort' :: Expr -> Expr
sort' :: Expr -> Expr
sort'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"sort'"
  [ [Char] -> ([Int] -> [Int]) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"sort" ([Int] -> [Int]
forall a. Ord a => [a] -> [a]
sort :: [Int] -> [Int])
  , [Char] -> Id [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"sort" (Id [Char]
forall a. Ord a => [a] -> [a]
sort :: [Char] -> [Char])
  , [Char] -> Id [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"sort" (Id [Bool]
forall a. Ord a => [a] -> [a]
sort :: [Bool] -> [Bool])
  ]

-- | List 'insert' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > insert' zero nilInt
-- > insert 0 [] :: [Int]
--
-- > > insert' false (false -:- unit true)
-- > insert False [False,True] :: [Bool]
insert' :: Expr -> Expr -> Expr
insert' :: Expr -> Expr -> Expr
insert'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"insert'"
  [ [Char] -> Cons Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"insert" (Cons Int
forall a. Ord a => a -> [a] -> [a]
insert :: Int -> [Int] -> [Int])
  , [Char] -> Cons Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"insert" (Cons Bool
forall a. Ord a => a -> [a] -> [a]
insert :: Bool -> [Bool] -> [Bool])
  , [Char] -> Cons Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"insert" (Cons Char
forall a. Ord a => a -> [a] -> [a]
insert :: Char -> String -> String)
  ]

-- | List 'elem' lifted over the 'Expr' type.
--   Works for the element types 'Int', 'Char' and 'Bool'.
--
-- > > elem' false (false -:- unit true)
-- > elem False [False,True] :: Bool
--
-- > > evl $ elem' false (false -:- unit true) :: Bool
-- > True
elem' :: Expr -> Expr -> Expr
elem' :: Expr -> Expr -> Expr
elem'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"elem'"
  [ [Char] -> (Int -> [Int] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"elem" (Int -> [Int] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
elem :: Int -> [Int] -> Bool)
  , [Char] -> (Bool -> [Bool] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"elem" (Bool -> [Bool] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
elem :: Bool -> [Bool] -> Bool)
  , [Char] -> (Char -> [Char] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"elem" (Char -> [Char] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
elem :: Char -> String -> Bool)
  ]

-- | '$' lifted over 'Expr's
--
-- > > absE -$- one
-- > abs $ 1 :: Int
--
-- Works for 'Int', 'Bool', 'Char' argument types and their lists.
(-$-) :: Expr -> Expr -> Expr
-$- :: Expr -> Expr -> Expr
(-$-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-$-)"
  [ [Char] -> Apply Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"$" (Apply Int
forall a b. (a -> b) -> a -> b
($) :: Apply Int)
  , [Char] -> Apply Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"$" (Apply Bool
forall a b. (a -> b) -> a -> b
($) :: Apply Bool)
  , [Char] -> Apply Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"$" (Apply Char
forall a b. (a -> b) -> a -> b
($) :: Apply Char)
  , [Char] -> Apply [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"$" (Apply [Int]
forall a b. (a -> b) -> a -> b
($) :: Apply [Int])
  , [Char] -> Apply [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"$" (Apply [Bool]
forall a b. (a -> b) -> a -> b
($) :: Apply [Bool])
  , [Char] -> Apply [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"$" (Apply [Char]
forall a b. (a -> b) -> a -> b
($) :: Apply [Char])
  ]
infixl 6 -$-
type Apply a  =  (a -> a) -> a -> a

-- | Constructs an equation between two 'Expr's.
--
-- > > xx -==- zero
-- > x == 0 :: Bool
--
-- > > cc -==- dee
-- > c == 'd' :: Bool
--
-- This works for the 'Int', 'Bool', 'Char' argument types and their lists.
(-==-) :: Expr -> Expr -> Expr
-==- :: Expr -> Expr -> Expr
(-==-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-==-)"
  [ [Char] -> Comparison () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==" (Comparison ()
forall a. Eq a => a -> a -> Bool
(==) :: Comparison ())
  , [Char] -> Comparison Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==" (Comparison Int
forall a. Eq a => a -> a -> Bool
(==) :: Comparison Int)
  , [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==" (Bool -> Id Bool
forall a. Eq a => a -> a -> Bool
(==) :: Comparison Bool)
  , [Char] -> Comparison Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==" (Comparison Char
forall a. Eq a => a -> a -> Bool
(==) :: Comparison Char)
  , [Char] -> Comparison [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==" (Comparison [Int]
forall a. Eq a => a -> a -> Bool
(==) :: Comparison [Int])
  , [Char] -> Comparison [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==" (Comparison [Bool]
forall a. Eq a => a -> a -> Bool
(==) :: Comparison [Bool])
  , [Char] -> Comparison [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"==" (Comparison [Char]
forall a. Eq a => a -> a -> Bool
(==) :: Comparison [Char])
  ]
infix 4 -==-
type Comparison a  =  a -> a -> Bool

-- | Constructs an inequation between two 'Expr's.
--
-- > > xx -/=- zero
-- > x /= 0 :: Bool
--
-- > > cc -/=- ae
-- > c /= 'a' :: Bool
(-/=-) :: Expr -> Expr -> Expr
-/=- :: Expr -> Expr -> Expr
(-/=-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-/=-)"
  [ [Char] -> Comparison () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"/=" (Comparison ()
forall a. Eq a => a -> a -> Bool
(/=) :: Comparison ())
  , [Char] -> Comparison Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"/=" (Comparison Int
forall a. Eq a => a -> a -> Bool
(/=) :: Comparison Int)
  , [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"/=" (Bool -> Id Bool
forall a. Eq a => a -> a -> Bool
(/=) :: Comparison Bool)
  , [Char] -> Comparison Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"/=" (Comparison Char
forall a. Eq a => a -> a -> Bool
(/=) :: Comparison Char)
  , [Char] -> Comparison [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"/=" (Comparison [Int]
forall a. Eq a => a -> a -> Bool
(/=) :: Comparison [Int])
  , [Char] -> Comparison [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"/=" (Comparison [Bool]
forall a. Eq a => a -> a -> Bool
(/=) :: Comparison [Bool])
  , [Char] -> Comparison [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"/=" (Comparison [Char]
forall a. Eq a => a -> a -> Bool
(/=) :: Comparison [Char])
  ]
infix 4 -/=-

-- | Constructs a less-than-or-equal inequation between two 'Expr's.
--
-- > > xx -<=- zero
-- > x <= 0 :: Bool
--
-- > > cc -<=- ae
-- > c <= 'a' :: Bool
(-<=-) :: Expr -> Expr -> Expr
-<=- :: Expr -> Expr -> Expr
(-<=-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-<=-)"
  [ [Char] -> Comparison () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<=" (Comparison ()
forall a. Ord a => a -> a -> Bool
(<=) :: Comparison ())
  , [Char] -> Comparison Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<=" (Comparison Int
forall a. Ord a => a -> a -> Bool
(<=) :: Comparison Int)
  , [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<=" (Bool -> Id Bool
forall a. Ord a => a -> a -> Bool
(<=) :: Comparison Bool)
  , [Char] -> Comparison Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<=" (Comparison Char
forall a. Ord a => a -> a -> Bool
(<=) :: Comparison Char)
  , [Char] -> Comparison [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<=" (Comparison [Int]
forall a. Ord a => a -> a -> Bool
(<=) :: Comparison [Int])
  , [Char] -> Comparison [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<=" (Comparison [Bool]
forall a. Ord a => a -> a -> Bool
(<=) :: Comparison [Bool])
  , [Char] -> Comparison [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<=" (Comparison [Char]
forall a. Ord a => a -> a -> Bool
(<=) :: Comparison [Char])
  ]
infix 4 -<=-

-- | Constructs a less-than inequation between two 'Expr's.
--
-- > > xx -<- zero
-- > x < 0 :: Bool
--
-- > > cc -<- bee
-- > c < 'b' :: Bool
(-<-) :: Expr -> Expr -> Expr
-<- :: Expr -> Expr -> Expr
(-<-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-<-)"
  [ [Char] -> Comparison () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<" (Comparison ()
forall a. Ord a => a -> a -> Bool
(<) :: Comparison ())
  , [Char] -> Comparison Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<" (Comparison Int
forall a. Ord a => a -> a -> Bool
(<) :: Comparison Int)
  , [Char] -> (Bool -> Id Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<" (Bool -> Id Bool
forall a. Ord a => a -> a -> Bool
(<) :: Comparison Bool)
  , [Char] -> Comparison Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<" (Comparison Char
forall a. Ord a => a -> a -> Bool
(<) :: Comparison Char)
  , [Char] -> Comparison [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<" (Comparison [Int]
forall a. Ord a => a -> a -> Bool
(<) :: Comparison [Int])
  , [Char] -> Comparison [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<" (Comparison [Bool]
forall a. Ord a => a -> a -> Bool
(<) :: Comparison [Bool])
  , [Char] -> Comparison [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"<" (Comparison [Char]
forall a. Ord a => a -> a -> Bool
(<) :: Comparison [Char])
  ]
infix 4 -<-

-- | A function @if :: Bool -> a -> a -> a@ lifted over the 'Expr' type
--   that encodes if-then-else functionality.
--   This is properly displayed as an if-then-else.
--
-- > > if' pp zero xx
-- > (if p then 0 else x) :: Int
--
-- > > zz -*- if' pp xx yy
-- > z * (if p then x else y) :: Int
--
-- > > if' pp false true -||- if' qq true false
-- > (if p then False else True) || (if q then True else False) :: Bool
--
-- > > evl $ if' true (val 't') (val 'f') :: Char
-- > 't'
if' :: Expr -> Expr -> Expr -> Expr
if' :: Expr -> Expr -> Expr -> Expr
if'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr -> Expr
mk3 [Char]
"if'"
  [ [Char] -> If () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"if" (If ()
forall a. Bool -> a -> a -> a
iff :: If ())
  , [Char] -> If Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"if" (If Int
forall a. Bool -> a -> a -> a
iff :: If Int)
  , [Char] -> If Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"if" (If Bool
forall a. Bool -> a -> a -> a
iff :: If Bool)
  , [Char] -> If Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"if" (If Char
forall a. Bool -> a -> a -> a
iff :: If Char)
  , [Char] -> If [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"if" (If [Int]
forall a. Bool -> a -> a -> a
iff :: If [Int])
  , [Char] -> If [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"if" (If [Bool]
forall a. Bool -> a -> a -> a
iff :: If [Bool])
  , [Char] -> If [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"if" (If [Char]
forall a. Bool -> a -> a -> a
iff :: If [Char])
  ]
  where
  iff :: Bool -> a -> a -> a
  iff :: forall a. Bool -> a -> a -> a
iff Bool
p a
x a
y  =  if Bool
p then a
x else a
y
type If a  =  Bool -> a -> a -> a

-- | A function @case :: Bool -> a -> a -> a@ lifted over the 'Expr' type
--   that encodes case-of-False-True functionality.
--   This is properly displayed as a case-of-False-True expression.
--
-- > > caseBool pp zero xx
-- > (case p of False -> 0; True -> x) :: Int
--
-- > > zz -*- caseBool pp xx yy
-- > z * (case p of False -> x; True -> y) :: Int
--
-- > > caseBool pp false true -||- caseBool qq true false
-- > (caseBool p of False -> False; True -> True) || (caseBool q of False -> True; True -> False) :: Bool
--
-- > > evl $ caseBool true (val 'f') (val 't') :: Char
-- > 't'
--
-- By convention, the 'False' case comes before 'True'
-- as @False < True@ and @data Bool = False | True@.
--
-- When evaluating, this is equivalent to if with arguments reversed.
-- Instead of using this, you are perhaps better of using if encoded as an
-- expression.  This is just here to be consistent with 'caseOrdering'.
caseBool :: Expr -> Expr -> Expr -> Expr
caseBool :: Expr -> Expr -> Expr -> Expr
caseBool  =  [Char] -> [Expr] -> Expr -> Expr -> Expr -> Expr
mk3 [Char]
"caseBool"
  [ [Char] -> If () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (If ()
forall a. Bool -> a -> a -> a
caseB :: CaseB ())
  , [Char] -> If Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (If Int
forall a. Bool -> a -> a -> a
caseB :: CaseB Int)
  , [Char] -> If Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (If Bool
forall a. Bool -> a -> a -> a
caseB :: CaseB Bool)
  , [Char] -> If Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (If Char
forall a. Bool -> a -> a -> a
caseB :: CaseB Char)
  , [Char] -> If [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (If [Int]
forall a. Bool -> a -> a -> a
caseB :: CaseB [Int])
  , [Char] -> If [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (If [Bool]
forall a. Bool -> a -> a -> a
caseB :: CaseB [Bool])
  , [Char] -> If [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (If [Char]
forall a. Bool -> a -> a -> a
caseB :: CaseB [Char])
  ]
  where
  caseB :: Bool -> a -> a -> a
  caseB :: forall a. Bool -> a -> a -> a
caseB Bool
p a
x a
y  =  case Bool
p of
                  Bool
False -> a
x
                  Bool
True -> a
y
type CaseB a  =  Bool -> a -> a -> a

-- | A function @case :: Ordering -> a -> a -> a -> a@ lifted over the 'Expr' type
--   that encodes case-of-LT-EQ-GT functionality.
--   This is properly displayed as a case-of-LT-EQ-GT expression.
--   (cf. 'caseBool')
--
-- > > caseOrdering (xx `compare'` yy) zero one two
-- > (case compare x y of LT -> 0; EQ -> 1; GT -> 2) :: Int
--
-- > > evl $ caseOrdering (val EQ) (val 'l') (val 'e') (val 'g') :: Char
-- > 'e'
--
-- By convention cases are given in 'LT', 'EQ' and 'GT' order
-- as @LT < EQ < GT@ and @data Ordering = LT | EQ | GT@.
caseOrdering :: Expr -> Expr -> Expr -> Expr -> Expr
caseOrdering :: Expr -> Expr -> Expr -> Expr -> Expr
caseOrdering  =  [Char] -> [Expr] -> Expr -> Expr -> Expr -> Expr -> Expr
mk4 [Char]
"caseOrdering"
  [ [Char] -> CaseO () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (CaseO ()
forall a. Ordering -> a -> a -> a -> a
caseO :: CaseO ())
  , [Char] -> CaseO Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (CaseO Int
forall a. Ordering -> a -> a -> a -> a
caseO :: CaseO Int)
  , [Char] -> CaseO Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (CaseO Bool
forall a. Ordering -> a -> a -> a -> a
caseO :: CaseO Bool)
  , [Char] -> CaseO Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (CaseO Char
forall a. Ordering -> a -> a -> a -> a
caseO :: CaseO Char)
  , [Char] -> CaseO [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (CaseO [Int]
forall a. Ordering -> a -> a -> a -> a
caseO :: CaseO [Int])
  , [Char] -> CaseO [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (CaseO [Bool]
forall a. Ordering -> a -> a -> a -> a
caseO :: CaseO [Bool])
  , [Char] -> CaseO [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"case" (CaseO [Char]
forall a. Ordering -> a -> a -> a -> a
caseO :: CaseO [Char])
  ]
  where
  caseO :: Ordering -> a -> a -> a -> a
  caseO :: forall a. Ordering -> a -> a -> a -> a
caseO Ordering
o a
x a
y a
z  =  case Ordering
o of
                    Ordering
LT -> a
x
                    Ordering
EQ -> a
y
                    Ordering
GT -> a
z
type CaseO a  =  Ordering -> a -> a -> a -> a

-- | Constructs an 'Expr'-encoded 'compare' operation between two 'Expr's.
--
-- > > xx `compare'` zero
-- > compare x 0 :: Ordering
--
-- > > compare' ae bee
-- > compare 'a' 'b' :: Ordering
compare' :: Expr -> Expr -> Expr
compare' :: Expr -> Expr -> Expr
compare'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"compare'"
  [ [Char] -> Compare () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"compare" (Compare ()
forall a. Ord a => a -> a -> Ordering
compare :: Compare ())
  , [Char] -> Compare Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"compare" (Compare Int
forall a. Ord a => a -> a -> Ordering
compare :: Compare Int)
  , [Char] -> Compare Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"compare" (Compare Bool
forall a. Ord a => a -> a -> Ordering
compare :: Compare Bool)
  , [Char] -> Compare Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"compare" (Compare Char
forall a. Ord a => a -> a -> Ordering
compare :: Compare Char)
  , [Char] -> Compare [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"compare" (Compare [Int]
forall a. Ord a => a -> a -> Ordering
compare :: Compare [Int])
  , [Char] -> Compare [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"compare" (Compare [Bool]
forall a. Ord a => a -> a -> Ordering
compare :: Compare [Bool])
  , [Char] -> Compare [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"compare" (Compare [Char]
forall a. Ord a => a -> a -> Ordering
compare :: Compare [Char])
  ]
type Compare a  =  a -> a -> Ordering

-- | 'Nothing' bound to the 'Maybe' 'Int' type encoded as an 'Expr'.
--
-- This is an alias to 'nothingInt'.
nothing :: Expr
nothing :: Expr
nothing  =  Expr
nothingInt

-- | 'Nothing' bound to the 'Maybe' 'Int' type encoded as an 'Expr'.
nothingInt :: Expr
nothingInt :: Expr
nothingInt   =  Maybe Int -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Maybe Int
forall a. Maybe a
Nothing :: Maybe Int)

-- | 'Nothing' bound to the 'Maybe' 'Bool' type encoded as an 'Expr'.
nothingBool :: Expr
nothingBool :: Expr
nothingBool  =  Maybe Bool -> Expr
forall a. (Typeable a, Show a) => a -> Expr
val (Maybe Bool
forall a. Maybe a
Nothing :: Maybe Bool)

-- | The 'Just' constructor of the 'Int' element type encoded as an 'Expr'.
justInt :: Expr
justInt :: Expr
justInt      =  [Char] -> (Int -> Maybe Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"Just" (Int -> Maybe Int
forall a. a -> Maybe a
Just :: Int -> Maybe Int)

-- | The 'Just' constructor of the 'Bool' element type encoded as an 'Expr'.
justBool :: Expr
justBool :: Expr
justBool     =  [Char] -> (Bool -> Maybe Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"Just" (Bool -> Maybe Bool
forall a. a -> Maybe a
Just :: Bool -> Maybe Bool)

-- | The 'Just' constructor lifted over the 'Expr' type.
--
-- This works for the 'Bool' and 'Int' argument types.
--
-- > > just zero
-- > Just 0 :: Maybe Int
-- > > just false
-- > Just False :: Maybe Bool
just :: Expr -> Expr
just :: Expr -> Expr
just  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"just"
  [ Expr
justInt
  , Expr
justBool
  ]

-- | An infix synonym of 'pair'.
(-|-) :: Expr -> Expr -> Expr
-|- :: Expr -> Expr -> Expr
(-|-)  =  Expr -> Expr -> Expr
pair

-- | The pair constructor lifted over 'Expr's.
--
-- This works for the 'Int' and 'Bool' element types
-- by differently from 'foldPair' by returning a well-typed expression.
pair :: Expr -> Expr -> Expr
pair :: Expr -> Expr -> Expr
pair  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"pair"
  [ [Char] -> Pair Int Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"," ((,) :: Pair Int Int)
  , [Char] -> Pair Int Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"," ((,) :: Pair Int Bool)
  , [Char] -> Pair Bool Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"," ((,) :: Pair Bool Int)
  , [Char] -> Pair Bool Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"," ((,) :: Pair Bool Bool)
  ]
type Pair a b  =  a -> b -> (a,b)

-- | The pair constructor (@ :: ... -> (Int,Int) @) encoded as an 'Expr'.
comma :: Expr
comma :: Expr
comma  =  [Char] -> Pair Int Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"," ((,) :: Pair Int Int)

-- | The triple/trio constructor lifted over 'Expr's.
--
-- This only works for the 'Int' element type.
triple :: Expr -> Expr -> Expr -> Expr
triple :: Expr -> Expr -> Expr -> Expr
triple Expr
e1 Expr
e2 Expr
e3  =  Expr
ccE Expr -> Expr -> Expr
:$ Expr
e1 Expr -> Expr -> Expr
:$ Expr
e2 Expr -> Expr -> Expr
:$ Expr
e3
  where
  ccE :: Expr
ccE  =  [Char] -> (Int -> Int -> Int -> (Int, Int, Int)) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",," ((,,) :: Int -> Int -> Int -> (Int,Int,Int))

-- | The quadruple constructor lifted over 'Expr's.
--
-- This only works for the 'Int' element type.
quadruple :: Expr -> Expr -> Expr -> Expr -> Expr
quadruple :: Expr -> Expr -> Expr -> Expr -> Expr
quadruple Expr
e1 Expr
e2 Expr
e3 Expr
e4  =  Expr
cccE Expr -> Expr -> Expr
:$ Expr
e1 Expr -> Expr -> Expr
:$ Expr
e2 Expr -> Expr -> Expr
:$ Expr
e3 Expr -> Expr -> Expr
:$ Expr
e4
  where
  cccE :: Expr
cccE  =  [Char]
-> (Int -> Int -> Int -> Int -> (Int, Int, Int, Int)) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",,," ((,,,) :: Int -> Int -> Int -> Int -> (Int,Int,Int,Int))

-- | The quintuple constructor lifted over 'Expr's.
--
-- This only works for the 'Int' element type.
quintuple :: Expr -> Expr -> Expr -> Expr -> Expr -> Expr
quintuple :: Expr -> Expr -> Expr -> Expr -> Expr -> Expr
quintuple Expr
e1 Expr
e2 Expr
e3 Expr
e4 Expr
e5  =  Expr
ccccE Expr -> Expr -> Expr
:$ Expr
e1 Expr -> Expr -> Expr
:$ Expr
e2 Expr -> Expr -> Expr
:$ Expr
e3 Expr -> Expr -> Expr
:$ Expr
e4 Expr -> Expr -> Expr
:$ Expr
e5
  where
  ccccE :: Expr
ccccE  =  [Char]
-> (Int -> Int -> Int -> Int -> Int -> (Int, Int, Int, Int, Int))
-> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",,,," ((,,,,) :: Int -> Int -> Int -> Int -> Int -> (Int,Int,Int,Int,Int))

-- | The sixtuple constructor lifted over 'Expr's.
--
-- This only works for the 'Int' element type.
sixtuple :: Expr -> Expr -> Expr -> Expr -> Expr -> Expr -> Expr
sixtuple :: Expr -> Expr -> Expr -> Expr -> Expr -> Expr -> Expr
sixtuple Expr
e1 Expr
e2 Expr
e3 Expr
e4 Expr
e5 Expr
e6  =  Expr
cccccE Expr -> Expr -> Expr
:$ Expr
e1 Expr -> Expr -> Expr
:$ Expr
e2 Expr -> Expr -> Expr
:$ Expr
e3 Expr -> Expr -> Expr
:$ Expr
e4 Expr -> Expr -> Expr
:$ Expr
e5 Expr -> Expr -> Expr
:$ Expr
e6
  where
  cccccE :: Expr
cccccE  =  [Char]
-> (Int
    -> Int
    -> Int
    -> Int
    -> Int
    -> Int
    -> (Int, Int, Int, Int, Int, Int))
-> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",,,,," ((,,,,,) :: Int -> Int -> Int -> Int -> Int -> Int -> (Int,Int,Int,Int,Int,Int))

-- | A typed hole of @[Bool]@ type encoded as an 'Expr'.
--
-- > > bs_
-- > _ :: [Bool]
bs_ :: Expr
bs_ :: Expr
bs_  =  [Bool] -> Expr
forall a. Typeable a => a -> Expr
hole [Bool
bool]

-- | 'Expr' representing a variable @p' :: `[Bool]`@.
--
-- > > pps
-- > ps :: [Bool]
pps :: Expr
pps :: Expr
pps  =  [Char] -> [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"ps" [Bool
bool]

-- | A typed hole of '[Bool]' type
--
-- > > qqs
-- > qs :: [Bool]
qqs :: Expr
qqs :: Expr
qqs  =  [Char] -> [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
var [Char]
"qs" [Bool
bool]

-- | 'and' lifted over the 'Expr' type.
--
-- > > and' pps
-- > and ps :: Bool
--
-- > > evl (and' $ expr [False,True]) :: Bool
-- > False
and' :: Expr -> Expr
and' :: Expr -> Expr
and' Expr
e  =  Expr
andE Expr -> Expr -> Expr
:$ Expr
e
  where
  andE :: Expr
andE  =  [Char] -> ([Bool] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"and" ([Bool] -> Bool
forall (t :: * -> *). Foldable t => t Bool -> Bool
and :: [Bool] -> Bool)

-- | 'or' lifted over the 'Expr' type.
--
-- > > or' pps
-- > or ps :: Bool
--
-- > > evl (or' $ expr [False,True]) :: Bool
-- > True
or' :: Expr -> Expr
or' :: Expr -> Expr
or' Expr
e  =  Expr
orE Expr -> Expr -> Expr
:$ Expr
e
  where
  orE :: Expr
orE  =  [Char] -> ([Bool] -> Bool) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"or" ([Bool] -> Bool
forall (t :: * -> *). Foldable t => t Bool -> Bool
or :: [Bool] -> Bool)

-- | 'sum' of 'Int' elements lifted over the 'Expr' type.
--
-- > > sum' xxs
-- > sum xs :: Int
--
-- > > evl (sum' $ expr [1,2,3::Int]) :: Int
-- > 6
sum' :: Expr -> Expr
sum' :: Expr -> Expr
sum' Expr
e  =  Expr
sumE Expr -> Expr -> Expr
:$ Expr
e
  where
  sumE :: Expr
sumE  =  [Char] -> ([Int] -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"sum" ([Int] -> Int
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
sum :: [Int] -> Int)

-- | 'product' of 'Int' elements lifted over the 'Expr' type.
--
-- > > product' xxs
-- > product xs :: Int
--
-- > > evl (product' $ expr [1,2,3::Int]) :: Int
-- > 6
product' :: Expr -> Expr
product' :: Expr -> Expr
product' Expr
e  =  Expr
productE Expr -> Expr -> Expr
:$ Expr
e
  where
  productE :: Expr
productE  =  [Char] -> ([Int] -> Int) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"product" ([Int] -> Int
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
product :: [Int] -> Int)

headOr :: a -> [a] -> a
headOr :: forall a. a -> [a] -> a
headOr a
x []     =  a
x
headOr a
_ (a
x:[a]
_)  =  a
x

-- | The '%' constructor lifted over 'Expr's.
--
-- > > val (2 :: Integer) -%- val (3 :: Integer)
-- > 2 % 3 :: Ratio Integer
--
--   This only accepts 'Expr's bound to the 'Integer' type.
(-%-) :: Expr -> Expr -> Expr
Expr
en -%- :: Expr -> Expr -> Expr
-%- Expr
ed  =  [Char] -> (Integer -> Integer -> Rational) -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"%" (Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
(%) :: Integer -> Integer -> Rational) Expr -> Expr -> Expr
:$ Expr
en Expr -> Expr -> Expr
:$ Expr
ed

-- | Function composition encoded as an 'Expr':
--
-- > > compose
-- > (.) :: (Int -> Int) -> (Int -> Int) -> Int -> Int
compose :: Expr
compose :: Expr
compose  =  [Char] -> Compose Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose Int)

-- | Function composition '.' lifted over 'Expr'.
--
-- > > absE -.- negateE
-- > abs . negate :: Int -> Int
--
-- > > absE -.- negateE :$ one
-- > (abs . negate) 1 :: Int
--
-- This works for 'Int', 'Bool', 'Char' and their lists.
(-.-) :: Expr -> Expr -> Expr
-.- :: Expr -> Expr -> Expr
(-.-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-.-)"
  [ [Char] -> Compose () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose ())
  , [Char] -> Compose Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose Int)
  , [Char] -> Compose Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose Bool)
  , [Char] -> Compose Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose Char
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose Char)
  , [Char] -> Compose [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose [Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose [Int])
  , [Char] -> Compose [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose [Bool]
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose [Bool])
  , [Char] -> Compose [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"." (Compose [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
(.) :: Compose [Char])
  ]
type Compose a  =  (a -> a) -> (a -> a) -> (a -> a)

-- | 'map' over the 'Int' element type encoded as an 'Expr'
--
-- > > mapE
-- > map :: (Int -> Int) -> [Int] -> [Int]
mapE :: Expr
mapE :: Expr
mapE  =  [Char] -> Map Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map Int
forall a b. (a -> b) -> [a] -> [b]
map :: Map Int)

-- | 'map' lifted over 'Expr's.
--
-- > > map' absE (unit one)
-- > map abs [1] :: [Int]
map' :: Expr -> Expr -> Expr
map' :: Expr -> Expr -> Expr
map'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"map'"
  [ [Char] -> Map () -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map ()
forall a b. (a -> b) -> [a] -> [b]
map :: Map ())
  , [Char] -> Map Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map Int
forall a b. (a -> b) -> [a] -> [b]
map :: Map Int)
  , [Char] -> Map Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map Bool
forall a b. (a -> b) -> [a] -> [b]
map :: Map Bool)
  , [Char] -> Map Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map Char
forall a b. (a -> b) -> [a] -> [b]
map :: Map Char)
  , [Char] -> Map [Int] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map [Int]
forall a b. (a -> b) -> [a] -> [b]
map :: Map [Int])
  , [Char] -> Map [Bool] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map [Bool]
forall a b. (a -> b) -> [a] -> [b]
map :: Map [Bool])
  , [Char] -> Map [Char] -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"map" (Map [Char]
forall a b. (a -> b) -> [a] -> [b]
map :: Map [Char])
  ]
type Map a  =  (a -> a) -> [a] -> [a]

-- | 'enumFrom' lifted over 'Expr's.
--
-- > > enumFrom' zero
-- > enumFrom 0 :: [Int]
--
-- Works for 'Int's, 'Bool's and 'Char's.
enumFrom' :: Expr -> Expr
enumFrom' :: Expr -> Expr
enumFrom'  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"enumFrom'"
  [ [Char] -> EnumFrom Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFrom" (EnumFrom Int
forall a. Enum a => a -> [a]
enumFrom :: EnumFrom Int)
  , [Char] -> EnumFrom Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFrom" (EnumFrom Bool
forall a. Enum a => a -> [a]
enumFrom :: EnumFrom Bool)
  , [Char] -> EnumFrom Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFrom" (EnumFrom Char
forall a. Enum a => a -> [a]
enumFrom :: EnumFrom Char)
  ]
type EnumFrom a  =  (a -> [a])

-- | 'enumFrom' lifted over 'Expr's named as @".."@ for pretty-printing.
--
-- > > one -.. ()
-- > [1..] :: [Int]
--
-- Works for 'Int's, 'Bool's and 'Char's.
(-..) :: Expr -> () -> Expr
Expr
e -.. :: Expr -> () -> Expr
-.. ()
_  =  Expr -> Expr
mk Expr
e
  where
  mk :: Expr -> Expr
mk  =  [Char] -> [Expr] -> Expr -> Expr
mk1 [Char]
"(-..)"
      [ [Char] -> EnumFrom Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
".." (EnumFrom Int
forall a. Enum a => a -> [a]
enumFrom :: EnumFrom Int)
      , [Char] -> EnumFrom Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
".." (EnumFrom Bool
forall a. Enum a => a -> [a]
enumFrom :: EnumFrom Bool)
      , [Char] -> EnumFrom Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
".." (EnumFrom Char
forall a. Enum a => a -> [a]
enumFrom :: EnumFrom Char)
      ]

-- | 'enumFromTo' lifted over 'Expr's
--
-- > > enumFromTo' zero four
-- > enumFromTo 0 4 :: [Int]
enumFromTo' :: Expr -> Expr -> Expr
enumFromTo' :: Expr -> Expr -> Expr
enumFromTo'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"enumFromTo'"
  [ [Char] -> EnumFromTo Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromTo" (EnumFromTo Int
forall a. Enum a => a -> a -> [a]
enumFromTo :: EnumFromTo Int)
  , [Char] -> EnumFromTo Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromTo" (EnumFromTo Bool
forall a. Enum a => a -> a -> [a]
enumFromTo :: EnumFromTo Bool)
  , [Char] -> EnumFromTo Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromTo" (EnumFromTo Char
forall a. Enum a => a -> a -> [a]
enumFromTo :: EnumFromTo Char)
  ]
type EnumFromTo a  =  (a -> a -> [a])

-- | 'enumFromTo' lifted over 'Expr's but named as @".."@ for pretty-printing.
--
-- > > zero -..- four
-- > [0..4] :: [Int]
(-..-) :: Expr -> Expr -> Expr
-..- :: Expr -> Expr -> Expr
(-..-)  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(-..-)"
  [ [Char] -> EnumFromTo Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
".." (EnumFromTo Int
forall a. Enum a => a -> a -> [a]
enumFromTo :: EnumFromTo Int)
  , [Char] -> EnumFromTo Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
".." (EnumFromTo Bool
forall a. Enum a => a -> a -> [a]
enumFromTo :: EnumFromTo Bool)
  , [Char] -> EnumFromTo Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
".." (EnumFromTo Char
forall a. Enum a => a -> a -> [a]
enumFromTo :: EnumFromTo Char)
  ]

-- | 'enumFromThen' lifted over 'Expr's
--
-- > > enumFromThen' zero ten
-- > enumFromThen 0 10 :: [Int]
enumFromThen' :: Expr -> Expr -> Expr
enumFromThen' :: Expr -> Expr -> Expr
enumFromThen'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"enumFromThen'"
  [ [Char] -> EnumFromTo Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromThen" (EnumFromTo Int
forall a. Enum a => a -> a -> [a]
enumFromThen :: EnumFromThen Int)
  , [Char] -> EnumFromTo Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromThen" (EnumFromTo Bool
forall a. Enum a => a -> a -> [a]
enumFromThen :: EnumFromThen Bool)
  , [Char] -> EnumFromTo Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromThen" (EnumFromTo Char
forall a. Enum a => a -> a -> [a]
enumFromThen :: EnumFromThen Char)
  ]
type EnumFromThen a  =  (a -> a -> [a])

-- | 'enumFromThen' lifted over 'Expr's but named as @",.."@ for pretty printing.
--
-- > > (zero,ten) --.. ()
-- > [0,10..] :: [Int]
(--..) :: (Expr,Expr) -> () -> Expr
(Expr
e1,Expr
e2) --.. :: (Expr, Expr) -> () -> Expr
--.. ()
_  =  Expr -> Expr -> Expr
mk Expr
e1 Expr
e2
  where
  mk :: Expr -> Expr -> Expr
mk  =  [Char] -> [Expr] -> Expr -> Expr -> Expr
mk2 [Char]
"(--..)"
      [ [Char] -> EnumFromTo Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",.." (EnumFromTo Int
forall a. Enum a => a -> a -> [a]
enumFromThen :: EnumFromThen Int)
      , [Char] -> EnumFromTo Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",.." (EnumFromTo Bool
forall a. Enum a => a -> a -> [a]
enumFromThen :: EnumFromThen Bool)
      , [Char] -> EnumFromTo Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",.." (EnumFromTo Char
forall a. Enum a => a -> a -> [a]
enumFromThen :: EnumFromThen Char)
      ]

-- | 'enumFromThenTo' lifted over 'Expr's.
--
-- > > enumFromThenTo' zero two ten
-- > enumFromThenTo 0 2 10 :: [Int]
enumFromThenTo' :: Expr -> Expr -> Expr -> Expr
enumFromThenTo' :: Expr -> Expr -> Expr -> Expr
enumFromThenTo'  =  [Char] -> [Expr] -> Expr -> Expr -> Expr -> Expr
mk3 [Char]
"enumFromThenTo'"
  [ [Char] -> EnumFromThenTo Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromThenTo" (EnumFromThenTo Int
forall a. Enum a => a -> a -> a -> [a]
enumFromThenTo :: EnumFromThenTo Int)
  , [Char] -> EnumFromThenTo Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromThenTo" (EnumFromThenTo Bool
forall a. Enum a => a -> a -> a -> [a]
enumFromThenTo :: EnumFromThenTo Bool)
  , [Char] -> EnumFromThenTo Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
"enumFromThenTo" (EnumFromThenTo Char
forall a. Enum a => a -> a -> a -> [a]
enumFromThenTo :: EnumFromThenTo Char)
  ]
type EnumFromThenTo a  =  (a -> a -> a -> [a])

-- | 'enumFromThenTo' lifted over 'Expr's but named as @",.."@ for pretty-printing.
--
-- > > (zero,two) --..- ten
-- > [0,2..10] :: [Int]
(--..-) :: (Expr,Expr) -> Expr -> Expr
(Expr
e1, Expr
e2) --..- :: (Expr, Expr) -> Expr -> Expr
--..- Expr
e3  =  Expr -> Expr -> Expr -> Expr
mk Expr
e1 Expr
e2 Expr
e3
  where
  mk :: Expr -> Expr -> Expr -> Expr
mk  =  [Char] -> [Expr] -> Expr -> Expr -> Expr -> Expr
mk3 [Char]
"(--..-)"
      [ [Char] -> EnumFromThenTo Int -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",.." (EnumFromThenTo Int
forall a. Enum a => a -> a -> a -> [a]
enumFromThenTo :: EnumFromThenTo Int)
      , [Char] -> EnumFromThenTo Bool -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",.." (EnumFromThenTo Bool
forall a. Enum a => a -> a -> a -> [a]
enumFromThenTo :: EnumFromThenTo Bool)
      , [Char] -> EnumFromThenTo Char -> Expr
forall a. Typeable a => [Char] -> a -> Expr
value [Char]
",.." (EnumFromThenTo Char
forall a. Enum a => a -> a -> a -> [a]
enumFromThenTo :: EnumFromThenTo Char)
      ]