plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.StdLib.Data.Bool

Description

boolean and related functions.

Synopsis

Documentation

bool ∷ uni `HasTypeLevel` BoolType tyname uni () Source #

Bool as a PLC type.

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 ()