Language.Syntactic.Features.Condition

Conditional expressions

Documentation

data Condition a where

Constructors

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

Instances

ExprEq Condition

ToTree Condition

Render Condition

Eval Condition

ExprHash Condition

condition :: (Condition :<: dom, Syntactic a dom) => ASTF dom Bool -> a -> a -> a