Language.Dove.Syntax

Documentation

data Expr

Constructors

Var String

ForAll String Expr

Let String Expr Expr

Record [(String, Expr)]

RecordOverlay Expr Expr

RecordProject Expr String

Array [Expr]

ArrayAppend Expr Expr

ArrayProject Expr Expr

ArrayUpdate Expr Expr Expr

UniOp UniOp Expr

BinOp BinOp Expr Expr

If Expr Expr Expr

Unit

Bool Bool

Integer Integer

Comment String Expr

Instances

Eq Expr

Num Expr

Show Expr

data UniOp

Constructors

Not

Length

Negate

Abs

Signum

IsArray

IsInt

Instances

Eq UniOp

Show UniOp

data BinOp

Constructors

And

Or

Implies

Eq

Lt

Le

Gt

Ge

Add

Sub

Mul

Mod

Instances

Eq BinOp

Show BinOp

let' :: String -> Expr -> Expr -> Expr

forAll :: [String] -> Expr -> Expr

not' :: Expr -> Expr

(&&.) :: Expr -> Expr -> Expr

(||.) :: Expr -> Expr -> Expr

implies :: Expr -> Expr -> Expr

unit :: Expr

true :: Expr

false :: Expr

if' :: Expr -> Expr -> Expr -> Expr

length' :: Expr -> Expr

isArray :: Expr -> Expr

isInt :: Expr -> Expr

(==.) :: Expr -> Expr -> Expr

(<.) :: Expr -> Expr -> Expr

(<=.) :: Expr -> Expr -> Expr

(>.) :: Expr -> Expr -> Expr

(>=.) :: Expr -> Expr -> Expr

mod' :: Expr -> Expr -> Expr