Documentation

constIntExp :: Integer -> Expr' Source #

constBoolExp :: Bool -> Expr' Source #

constBuiltinExp :: Builtin -> Expr' Source #

binOp :: Expr' -> Operator -> Expr' -> Expr' Source #

addExp :: Expr' -> Expr' -> Expr' Source #

subExp :: Expr' -> Expr' -> Expr' Source #

multExp :: Expr' -> Expr' -> Expr' Source #

unaryOp :: UnaryOp -> Expr' -> Expr' Source #

eqExp :: Type -> Expr' -> Expr' -> Expr' Source #

name :: VarName' -> Expr' Source #

call :: Expr' -> [Expr'] -> Expr' Source #

list :: Type -> [Expr'] -> Expr' Source #

listComp :: Expr' -> Comprehension -> Expr' Source #

subscript :: Expr' -> Expr' -> Expr' Source #

nameTrg :: VarName' -> Target' Source #

subscriptTrg :: Target' -> Expr' -> Target' Source #

tupleTrg :: [Target'] -> Target' Source #