Language.Syntactic.Constructs.Literal

Literal expressions

Documentation

data Literal sig where

Constructors

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

Instances

StringTree Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

stringTreeSym :: [Tree String] -> Literal a -> Tree String

Render Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

renderSym :: Literal sig -> String

renderArgs :: [String] -> Literal sig -> String

Eval Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

evaluate :: Literal a -> Denotation a

Equality Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

equal :: Literal a -> Literal b -> Bool

exprHash :: Literal a -> Hash

Constrained Literal

Defined in Language.Syntactic.Constructs.Literal

Associated Types

type Sat Literal :: * -> Constraint

Methods

exprDict :: Literal a -> Dict (Sat Literal (DenResult a))

EvalBind Literal

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Literal sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Optimize Literal

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Literal sig -> AST dom sig) -> Literal sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

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

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Literal a -> Args (AST dom) a -> Literal b -> Args (AST dom) b -> Reader env Bool

type Sat Literal

Defined in Language.Syntactic.Constructs.Literal

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