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 :: forall term uni. (TermLike term TyName Name uni DefaultFun, uni `HasTypeAndTermLevel` Bool, uni `HasTypeAndTermLevel` ()) => term ()

Documentation

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.

if_then_else_ as a PLC term.

/\(A :: *) -> \(b : Bool) (x y : () -> A) -> IfThenElse {() -> A} b x y ()