Language.Syntactic.Constructs.Condition

Conditional expressions

Documentation

data Condition sig where

Constructors

Condition :: Condition (Bool :-> (a :-> (a :-> Full a)))

Instances

Equality Condition

StringTree Condition

Render Condition

Eval Condition

Semantic Condition

Constrained Condition

EvalBind Condition

Optimize Condition

AlphaEq dom dom dom env => AlphaEq Condition Condition dom env