Language.Contract.AST

Description

Synopsis

Documentation

Types: Nat, Bool, * -> *

Constructors

Instances details

Eq Type Source #
Instance details Defined in Language.Contract.AST Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details Defined in Language.Contract.AST Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Show Type Source #
Instance details Defined in Language.Contract.AST Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
PrettyPrint Type Source #
Instance details Defined in Language.Contract.Pretty Methods prettyWith :: Natural -> Type -> String Source # pretty :: Type -> String Source #

Terms of STLC.

Constructors

Instances details

Eq Term Source #
Instance details Defined in Language.Contract.AST Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Ord Term Source #
Instance details Defined in Language.Contract.AST Methods compare :: Term -> Term -> Ordering # (<) :: Term -> Term -> Bool # (<=) :: Term -> Term -> Bool # (>) :: Term -> Term -> Bool # (>=) :: Term -> Term -> Bool # max :: Term -> Term -> Term # min :: Term -> Term -> Term #
Show Term Source #
Instance details Defined in Language.Contract.AST Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
PrettyPrint Term Source #
Instance details Defined in Language.Contract.Pretty Methods prettyWith :: Natural -> Term -> String Source # pretty :: Term -> String Source #

x & y = if x then y else false

pattern Or :: Term -> Term -> Term Source #

x | y = if x then true else y

not x = if x then false else true

Is this term a value?

Bind to a value.

The lift operation of de Bruijn notation.