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

Ord Literal

Show Literal

Pretty Literal

KillRange Literal

SetRange Literal

HasRange Literal

GenC Literal

PrettyTCM Literal

Unquote Literal

ShrinkC Literal Literal

Reify Literal Expr

showString' :: String -> ShowS

showChar' :: Char -> ShowS