Language.Syntactic.Constructs.Literal

Literal expressions

Documentation

data Literal sig where

Constructors

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

Instances

Equality Literal

StringTree Literal

Render Literal

Eval Literal

Constrained Literal

EvalBind Literal

Optimize Literal

AlphaEq dom dom dom env => AlphaEq Literal Literal dom env

type Sat Literal = (:/\:) Eq ((:/\:) Show ((:/\:) (Typeable *) Top))