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

Safe Haskell	None

Language.Syntactic.Constructs.Condition

Description

Conditional expressions

Documentation

data Condition sig whereSource

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