syntactic-0.3: Generic abstract syntax, and utilities for embedded languages

Language.Syntactic.Features.Literal

Description

Literal expressions

Synopsis

Documentation

data Literal a whereSource

Constructors

Literal :: (Eq a, Show a, Typeable a) => a -> Literal (Full a)

Instances

ExprEq Literal
ToTree Literal
Render Literal
Eval Literal
ExprHash Literal

lit :: (Eq a, Show a, Typeable a, Literal :<: dom) => a -> ASTF dom aSource

Literal

litAnn :: (Eq a, Show a, Typeable a, Literal :<: dom) => info a -> a -> AnnSTF info dom aSource

Annotated literal