Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Constructs.Literal

Description

Literal expressions

Documentation

data Literal sig where Source #

Constructors

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

Instances

StringTree Literal Source #
Instance details Defined in Language.Syntactic.Constructs.Literal Methods stringTreeSym :: [Tree String] -> Literal a -> Tree String Source #
Render Literal Source #
Instance details Defined in Language.Syntactic.Constructs.Literal Methods renderSym :: Literal sig -> String Source # renderArgs :: [String] -> Literal sig -> String Source #
Eval Literal Source #
Instance details Defined in Language.Syntactic.Constructs.Literal Methods evaluate :: Literal a -> Denotation a Source #
Equality Literal Source #
Instance details Defined in Language.Syntactic.Constructs.Literal Methods equal :: Literal a -> Literal b -> Bool Source # exprHash :: Literal a -> Hash Source #
Constrained Literal Source #
Instance details Defined in Language.Syntactic.Constructs.Literal Associated Types type Sat Literal :: * -> Constraint Source # Methods exprDict :: Literal a -> Dict (Sat Literal (DenResult a)) Source #
EvalBind Literal Source #
Instance details 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) Source #
Optimize Literal Source #
Instance details 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)) Source #
AlphaEq dom dom dom env => AlphaEq Literal Literal dom env Source #
Instance details Defined in Language.Syntactic.Constructs.Binding Methods alphaEqSym :: Literal a -> Args (AST dom) a -> Literal b -> Args (AST dom) b -> Reader env Bool Source #
type Sat Literal Source #
Instance details Defined in Language.Syntactic.Constructs.Literal type Sat Literal = Eq :/\: (Show :/\: ((Typeable :: * -> Constraint) :/\: Top))