Language.Syntactic.Constructs.Identity

Identity function

Documentation

data Identity sig where

Identity function

Constructors

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

Instances

Equality Identity

StringTree Identity

Render Identity

Eval Identity

Semantic Identity

Constrained Identity

EvalBind Identity

Optimize Identity

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

type Sat Identity = Top