Language.Paraiso.OM.Builder.Boolean

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

Documentation

eq :: (Vector v, C g, TRealm r, Typeable c) => Builder v g (Value r c) -> Builder v g (Value r c) -> Builder v g (Value r Bool)

ne :: (Vector v, C g, TRealm r, Typeable c) => Builder v g (Value r c) -> Builder v g (Value r c) -> Builder v g (Value r Bool)

lt :: (Vector v, C g, TRealm r, Typeable c) => Builder v g (Value r c) -> Builder v g (Value r c) -> Builder v g (Value r Bool)

le :: (Vector v, C g, TRealm r, Typeable c) => Builder v g (Value r c) -> Builder v g (Value r c) -> Builder v g (Value r Bool)

gt :: (Vector v, C g, TRealm r, Typeable c) => Builder v g (Value r c) -> Builder v g (Value r c) -> Builder v g (Value r Bool)

ge :: (Vector v, C g, TRealm r, Typeable c) => Builder v g (Value r c) -> Builder v g (Value r c) -> Builder v g (Value r Bool)

select

Arguments

:: (Vector v, C g, TRealm r, Typeable c)

=> Builder v g (Value r Bool)

The Bool condition

-> Builder v g (Value r c)

The value chosen when the condition is True

-> Builder v g (Value r c)

The value chosen when the condition is False

-> Builder v g (Value r c)

The result

Equal

Not equal

Less than

Less than or equal to

Greater than

Greater than or equal to

selects either the second or the third argument based