ivory-0.1.0.8: Safe embedded C programming.
Ivory.Language.Syntax.Names
type Sym = String Source #
Symbol names.
data Var Source #
Variable names.
Constructors
Names
Internal names
A literal name that should not be mangled
Defined in Ivory.Language.Syntax.Names
Methods
(==) :: Var -> Var -> Bool #
(/=) :: Var -> Var -> Bool #
compare :: Var -> Var -> Ordering #
(<) :: Var -> Var -> Bool #
(<=) :: Var -> Var -> Bool #
(>) :: Var -> Var -> Bool #
(>=) :: Var -> Var -> Bool #
max :: Var -> Var -> Var #
min :: Var -> Var -> Var #
showsPrec :: Int -> Var -> ShowS #
show :: Var -> String #
showList :: [Var] -> ShowS #
lift :: Var -> Q Exp #
retval :: Var Source #
The name for the return value named in an ensures statement.