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

Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Constructs.Condition

Description

Conditional expressions

Documentation

data Condition sig where Source

Constructors

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

Instances

Equality Condition Source
StringTree Condition Source
Render Condition Source
Eval Condition Source
Semantic Condition Source
Constrained Condition Source
EvalBind Condition Source
Optimize Condition Source
AlphaEq dom dom dom env => AlphaEq Condition Condition dom env Source
type Sat Condition = Top Source