syntactic-0.2: Generic abstract syntax, and utilities for embedded languages
Language.Syntactic.Features.Literal
Description
Literal expressions
data Literal a whereSource
Constructors
Instances
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