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

Language.Syntactic.Features.Literal

Description

Literal expressions

Documentation

data Literal a whereSource

Constructors

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

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

litSyn :: (Eq (Internal a), Show (Internal a), Syntactic a dom, Literal :<: dom) => Internal a -> aSource