Ivory.Language.Syntax.Names

Documentation

type Sym = String

Symbol names.

data Var

Variable names.

Constructors

VarName String

Names

VarInternal String

Internal names

VarLitName String

A literal name that should not be mangled

Instances

Eq Var

Defined in Ivory.Language.Syntax.Names

Methods

(==) :: Var -> Var -> Bool

(/=) :: Var -> Var -> Bool

Ord Var

Defined in Ivory.Language.Syntax.Names

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

(<=) :: Var -> Var -> Bool

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

Show Var

Defined in Ivory.Language.Syntax.Names

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Lift Var

Defined in Ivory.Language.Syntax.Names

Methods

lift :: Var -> Q Exp

retval :: Var

The name for the return value named in an ensures statement.