syntactic-1.4: Generic abstract syntax, and utilities for embedded languages

Safe Haskell	None

Language.Syntactic.Constructs.Identity

Description

Identity function

Synopsis

Documentation

data Identity sig whereSource

Identity function

Constructors

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

Instances

Equality Identity
ToTree Identity
Render Identity
Eval Identity
Semantic Identity
Constrained Identity
EvalBind Identity
Optimize Identity
AlphaEq dom dom dom env => AlphaEq Identity Identity dom env