Language.Syntactic.Constructs.Identity

Identity function

Documentation

data Identity sig where

Identity function

Constructors

Id :: Identity (a :-> Full a)

Instances

Semantic Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

semantics :: Identity a -> Semantics a

StringTree Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

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

Render Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

renderSym :: Identity sig -> String

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

Eval Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

evaluate :: Identity a -> Denotation a

Equality Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

equal :: Identity a -> Identity b -> Bool

exprHash :: Identity a -> Hash

Constrained Identity

Defined in Language.Syntactic.Constructs.Identity

Associated Types

type Sat Identity :: * -> Constraint

Methods

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

EvalBind Identity

Defined in Language.Syntactic.Constructs.Binding

Methods

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

Optimize Identity

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

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

AlphaEq dom dom dom env => AlphaEq Identity Identity dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

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

type Sat Identity

Defined in Language.Syntactic.Constructs.Identity

type Sat Identity = Top