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