Safe Haskell | Safe-Infered |
---|
An extension module of building blocks. Contains booleans, comparison operations, branchings.
Documentation
:: (TRealm r, Typeable c) | |
=> Builder v g a (Value r Bool) | The |
-> Builder v g a (Value r c) | The value chosen when the condition is |
-> Builder v g a (Value r c) | The value chosen when the condition is |
-> Builder v g a (Value r c) | The result |
selects either the second or the third argument based