Language.Syntactic.Constructs.Literal

Literal expressions

Documentation

data Literal ctx a where

Constructors

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

Instances

MaybeWitnessSat ctx1 (Literal ctx2)

MaybeWitnessSat ctx (Literal ctx)

WitnessSat (Literal ctx)

WitnessCons (Literal ctx)

ExprEq (Literal ctx)

ToTree (Literal ctx)

Render (Literal ctx)

Eval (Literal ctx)

EvalBind (Literal ctx)

(:<: (Literal ctx') dom, Optimize dom ctx dom) => Optimize (Literal ctx') ctx dom

AlphaEq dom dom dom env => AlphaEq (Literal ctx) (Literal ctx) dom env