Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Constructs.Identity

Description

Identity function

Synopsis

data Identity sig where
- Id :: Identity (a :-> Full a)

Documentation

data Identity sig where Source #

Identity function

Constructors

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

Instances

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