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