Safe Haskell	None
Language	Haskell2010

Agda.Syntax.Literal

Synopsis

Documentation

Constructors

LitNat Range !Integer
LitFloat Range !Double
LitString Range String
LitChar Range !Char
LitQName Range QName
LitMeta Range AbsolutePath MetaId

Instances

Eq Literal Source #
Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
Methods compare :: Literal -> Literal -> Ordering # (<) :: Literal -> Literal -> Bool # (<=) :: Literal -> Literal -> Bool # (>) :: Literal -> Literal -> Bool # (>=) :: Literal -> Literal -> Bool # max :: Literal -> Literal -> Literal # min :: Literal -> Literal -> Literal #
Show Literal Source #
Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
NFData Literal Source #	Ranges are not forced.
Methods rnf :: Literal -> () #
Pretty Literal Source #
Methods pretty :: Literal -> Doc Source # prettyPrec :: Int -> Literal -> Doc Source #
KillRange Literal Source #
Methods killRange :: KillRangeT Literal Source #
SetRange Literal Source #
Methods setRange :: Range -> Literal -> Literal Source #
HasRange Literal Source #
Methods getRange :: Literal -> Range Source #
NamesIn Literal Source #
Methods namesIn :: Literal -> Set QName Source #
PrettyTCM Literal Source #
Methods prettyTCM :: Literal -> TCM Doc Source #
Unquote Literal Source #
Methods unquote :: Term -> UnquoteM Literal Source #
ToAbstract Literal Expr Source #
Methods toAbstract :: Literal -> WithNames Expr Source #
Reify Literal Expr Source #
Methods reify :: Literal -> TCM Expr Source # reifyWhen :: Bool -> Literal -> TCM Expr Source #