Language.Syntactic.Features.Literal

Literal expressions

Documentation

data Literal a where

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 :<: expr) => a -> ASTF expr a