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 :<: expr, Syntactic a expr) => ASTF expr Bool -> a -> a -> a