syntactic-0.5: Generic abstract syntax, and utilities for embedded languages
Language.Syntactic.Features.Literal
Description
Literal expressions
Synopsis
data Literal ctx a whereSource
Constructors
Instances
litCtx :: (Eq a, Show a, Typeable a, Sat ctx a, (Literal ctx) :<: dom) => Proxy ctx -> a -> ASTF dom aSource
Literal with explicit context
lit :: (Eq a, Show a, Typeable a, (Literal Poly) :<: dom) => a -> ASTF dom aSource
Literal
prjLiteral :: (Literal ctx) :<: sup => Proxy ctx -> sup a -> Maybe (Literal ctx a)Source
Partial literal projection with explicit context