Agda.Syntax.Literal

Documentation

data Literal

Constructors

LitInt Range Integer

LitFloat Range Double

LitString Range String

LitChar Range Char

LitQName Range QName

Instances

Eq Literal

Data Literal

Ord Literal

Show Literal

Typeable Literal

Pretty Literal

KillRange Literal

SetRange Literal

HasRange Literal

GenC Literal

EmbPrj Literal

PrettyTCM Literal

ShrinkC Literal Literal

Reify Literal Expr