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

Ord Var

Show Var

Lift Var

retval :: Var

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