Language.Paraiso.OM.Builder.Boolean

An extension module of building blocks. Contains booleans, comparison operations, branchings.

Documentation

eq :: CompareOp

Equal

ne :: CompareOp

Not equal

lt :: CompareOp

Less than

le :: CompareOp

Less than or equal to

gt :: CompareOp

Greater than

ge :: CompareOp

Greater than or equal to

select

Arguments

:: (TRealm r, Typeable c)

=> Builder v g a (Value r Bool)

The Bool condition

-> Builder v g a (Value r c)

The value chosen when the condition is True

-> Builder v g a (Value r c)

The value chosen when the condition is False

-> Builder v g a (Value r c)

The result

selects either the second or the third argument based