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