| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.Bool
Description
boolean and related functions.
Synopsis
- bool ∷ uni `HasTypeLevel` Bool ⇒ Type tyname uni ()
- true ∷ (TermLike term tyname name uni fun, uni `HasTermLevel` Bool) ⇒ term ()
- false ∷ (TermLike term tyname name uni fun, uni `HasTermLevel` Bool) ⇒ term ()
- ifThenElse ∷ ∀ term uni. (TermLike term TyName Name uni DefaultFun, uni `HasTypeAndTermLevel` Bool, uni `HasTypeAndTermLevel` ()) ⇒ term ()
Documentation
true ∷ (TermLike term tyname name uni fun, uni `HasTermLevel` Bool) ⇒ term () Source #
True as a PLC term.
false ∷ (TermLike term tyname name uni fun, uni `HasTermLevel` Bool) ⇒ term () Source #
False as a PLC term.
ifThenElse ∷ ∀ term uni. (TermLike term TyName Name uni DefaultFun, uni `HasTypeAndTermLevel` Bool, uni `HasTypeAndTermLevel` ()) ⇒ term () Source #
if_then_else_ as a PLC term.
/\(A :: *) -> \(b : Bool) (x y : () -> A) -> IfThenElse {() -> A} b x y ()