Language.Syntactic.Constructs.Condition

Conditional expressions

Documentation

data Condition sig where

Constructors

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

Instances

Semantic Condition

Equality Condition

StringTree Condition

Render Condition

Eval Condition

Constrained Condition

EvalBind Condition

Optimize Condition

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

type Sat Condition = Top