Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Bool

Contents

Orphan instances

Synopsis

data PBool (s :: S)
- = PTrue
- | PFalse
class PEq t where
- (#==) :: Term s t -> Term s t -> Term s PBool
class PEq t => PPartialOrd t where
- (#<=) :: Term s t -> Term s t -> Term s PBool
- (#<) :: Term s t -> Term s t -> Term s PBool
class PPartialOrd t => POrd t
pif :: Term s PBool -> Term s a -> Term s a -> Term s a
pif' :: Term s (PBool :--> (a :--> (a :--> a)))
pnot :: Term s (PBool :--> PBool)
(#&&) :: Term s PBool -> Term s PBool -> Term s PBool
(#||) :: Term s PBool -> Term s PBool -> Term s PBool
por :: Term s (PBool :--> (PDelayed PBool :--> PDelayed PBool))
pand :: Term s (PBool :--> (PDelayed PBool :--> PDelayed PBool))
pand' :: Term s (PBool :--> (PBool :--> PBool))
por' :: Term s (PBool :--> (PBool :--> PBool))

Documentation

data PBool (s :: S) Source #

Plutus BuiltinBool

Constructors

PTrue
PFalse

Instances

Instances details

PEq PBool Source #
Instance details Defined in Plutarch.Bool Methods (#==) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool Source #
POrd PBool Source #
Instance details Defined in Plutarch.Bool
PPartialOrd PBool Source #
Instance details Defined in Plutarch.Bool Methods (#<=) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool Source # (#<) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool Source #
PIsData PBool Source #	Instance for PBool following the Plutus IsData repr given by `makeIsDataIndexed ''Bool [('False,0),('True,1)]`, which is used in `TxInfo` via `Closure`.
Instance details Defined in Plutarch.Builtin Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PBool) -> Term s PBool Source # pdataImpl :: forall (s :: S). Term s PBool -> Term s PData Source #
PlutusType PBool Source #
Instance details Defined in Plutarch.Bool Associated Types type PInner PBool :: PType Source # type PCovariant' PBool Source # type PContravariant' PBool Source # type PVariant' PBool Source # Methods pcon' :: forall (s :: S). PBool s -> Term s (PInner PBool) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBool) -> (PBool s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PBool Source #
Instance details Defined in Plutarch.Bool Associated Types type PLifted PBool = (r :: Type) Source #
PShow PBool Source #
Instance details Defined in Plutarch.Show Methods pshow' :: forall (s :: S). Bool -> Term s PBool -> Term s PString Source #
Show (PBool s) Source #
Instance details Defined in Plutarch.Bool Methods showsPrec :: Int -> PBool s -> ShowS Source # show :: PBool s -> String Source # showList :: [PBool s] -> ShowS Source #
type PContravariant' PBool Source #
Instance details Defined in Plutarch.Bool type PContravariant' PBool
type PCovariant' PBool Source #
Instance details Defined in Plutarch.Bool type PCovariant' PBool
type PInner PBool Source #
Instance details Defined in Plutarch.Bool type PInner PBool = PBool
type PVariant' PBool Source #
Instance details Defined in Plutarch.Bool type PVariant' PBool
type PLifted PBool Source #
Instance details Defined in Plutarch.Bool type PLifted PBool = Bool

class PEq t where Source #

Minimal complete definition

Nothing

Methods

(#==) :: Term s t -> Term s t -> Term s PBool infix 4 Source #

default (#==) :: (PGeneric t, PlutusType t, All2 PEq (PCode t)) => Term s t -> Term s t -> Term s PBool Source #

Instances

Instances details

PEq PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#==) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool Source #
PEq PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#==) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool Source #
PEq PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#==) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool Source #
PEq PScriptContext Source #
Instance details Defined in Plutarch.Api.V1.Contexts Methods (#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool Source #
PEq PScriptPurpose Source #
Instance details Defined in Plutarch.Api.V1.Contexts Methods (#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool Source #
PEq PTxInfo Source #
Instance details Defined in Plutarch.Api.V1.Contexts Methods (#==) :: forall (s :: S). Term s PTxInfo -> Term s PTxInfo -> Term s PBool Source #
PEq PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Methods (#==) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool Source #
PEq PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Methods (#==) :: forall (s :: S). Term s PDCert -> Term s PDCert -> Term s PBool Source #
PEq PDatum Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#==) :: forall (s :: S). Term s PDatum -> Term s PDatum -> Term s PBool Source #
PEq PDatumHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#==) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool Source #
PEq PRedeemer Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#==) :: forall (s :: S). Term s PRedeemer -> Term s PRedeemer -> Term s PBool Source #
PEq PRedeemerHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#==) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool Source #
PEq PScriptHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#==) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool Source #
PEq PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods (#==) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PBool Source #
PEq PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source #
PEq PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxInInfo -> Term s PTxInInfo -> Term s PBool Source #
PEq PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxOut -> Term s PTxOut -> Term s PBool Source #
PEq PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source #
PEq PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool Source #
PEq PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool Source #
PEq PScriptContext Source #
Instance details Defined in Plutarch.Api.V2.Contexts Methods (#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool Source #
PEq PTxInfo Source #
Instance details Defined in Plutarch.Api.V2.Contexts Methods (#==) :: forall (s :: S). Term s PTxInfo -> Term s PTxInfo -> Term s PBool Source #
PEq POutputDatum Source #
Instance details Defined in Plutarch.Api.V2.Tx Methods (#==) :: forall (s :: S). Term s POutputDatum -> Term s POutputDatum -> Term s PBool Source #
PEq PTxInInfo Source #
Instance details Defined in Plutarch.Api.V2.Tx Methods (#==) :: forall (s :: S). Term s PTxInInfo -> Term s PTxInInfo -> Term s PBool Source #
PEq PTxOut Source #
Instance details Defined in Plutarch.Api.V2.Tx Methods (#==) :: forall (s :: S). Term s PTxOut -> Term s PTxOut -> Term s PBool Source #
PEq PBool Source #
Instance details Defined in Plutarch.Bool Methods (#==) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool Source #
PEq PData Source #
Instance details Defined in Plutarch.Builtin Methods (#==) :: forall (s :: S). Term s PData -> Term s PData -> Term s PBool Source #
PEq PByteString Source #
Instance details Defined in Plutarch.ByteString Methods (#==) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source #
PEq PInteger Source #
Instance details Defined in Plutarch.Integer Methods (#==) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source #
PEq PPositive Source #
Instance details Defined in Plutarch.Positive Methods (#==) :: forall (s :: S). Term s PPositive -> Term s PPositive -> Term s PBool Source #
PEq PRational Source #
Instance details Defined in Plutarch.Rational Methods (#==) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source #
PEq PString Source #
Instance details Defined in Plutarch.String Methods (#==) :: forall (s :: S). Term s PString -> Term s PString -> Term s PBool Source #
PEq (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source #
PEq (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source #
PEq (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source #
PEq (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source #
PEq (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Methods (#==) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool Source #
PEq (PAsData a) Source #
Instance details Defined in Plutarch.Builtin Methods (#==) :: forall (s :: S). Term s (PAsData a) -> Term s (PAsData a) -> Term s PBool Source #
Fc (F a) a => PEq (PBuiltinList a) Source #
Instance details Defined in Plutarch.Builtin Methods (#==) :: forall (s :: S). Term s (PBuiltinList a) -> Term s (PBuiltinList a) -> Term s PBool Source #
PEq (PDataRecord xs) Source #	This uses data equality. `PEq` instances of elements don't make any difference.
Instance details Defined in Plutarch.DataRepr.Internal Methods (#==) :: forall (s :: S). Term s (PDataRecord xs) -> Term s (PDataRecord xs) -> Term s PBool Source #
PEq (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods (#==) :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s PBool Source #
PEq a => PEq (PTxList a) Source #
Instance details Defined in Plutarch.FFI Methods (#==) :: forall (s :: S). Term s (PTxList a) -> Term s (PTxList a) -> Term s PBool Source #
PEq a => PEq (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI Methods (#==) :: forall (s :: S). Term s (PTxMaybe a) -> Term s (PTxMaybe a) -> Term s PBool Source #
PEq a => PEq (PList a) Source #
Instance details Defined in Plutarch.List Methods (#==) :: forall (s :: S). Term s (PList a) -> Term s (PList a) -> Term s PBool Source #
PEq a => PEq (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Methods (#==) :: forall (s :: S). Term s (PMaybe a) -> Term s (PMaybe a) -> Term s PBool Source #
PEq (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods (#==) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source #
PEq (PValue 'Sorted 'NoGuarantees) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s PBool Source #
PEq (PValue 'Sorted 'NonZero) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool Source #
PEq (PValue 'Sorted 'Positive) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool Source #
(PEq a, PEq b) => PEq (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin Methods (#==) :: forall (s :: S). Term s (PBuiltinPair a b) -> Term s (PBuiltinPair a b) -> Term s PBool Source #
(PEq a, PEq b) => PEq (PEither a b) Source #
Instance details Defined in Plutarch.Either Methods (#==) :: forall (s :: S). Term s (PEither a b) -> Term s (PEither a b) -> Term s PBool Source #
(PEq a, PEq b) => PEq (PPair a b) Source #
Instance details Defined in Plutarch.Pair Methods (#==) :: forall (s :: S). Term s (PPair a b) -> Term s (PPair a b) -> Term s PBool Source #
PEq (PMap 'Sorted k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods (#==) :: forall (s :: S). Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) -> Term s PBool Source #

class PEq t => PPartialOrd t where Source #

Partial ordering relation.

Minimal complete definition

Nothing

Methods

(#<=) :: Term s t -> Term s t -> Term s PBool infix 4 Source #

default (#<=) :: POrd (PInner t) => Term s t -> Term s t -> Term s PBool Source #

(#<) :: Term s t -> Term s t -> Term s PBool infix 4 Source #

default (#<) :: POrd (PInner t) => Term s t -> Term s t -> Term s PBool Source #

Instances

Instances details

PPartialOrd PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#<=) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool Source # (#<) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool Source #
PPartialOrd PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#<=) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool Source # (#<) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool Source #
PPartialOrd PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#<=) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool Source # (#<) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool Source #
PPartialOrd PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Methods (#<=) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool Source # (#<) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool Source #
PPartialOrd PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Methods (#<=) :: forall (s :: S). Term s PDCert -> Term s PDCert -> Term s PBool Source # (#<) :: forall (s :: S). Term s PDCert -> Term s PDCert -> Term s PBool Source #
PPartialOrd PDatumHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool Source # (#<) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool Source #
PPartialOrd PRedeemerHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool Source # (#<) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool Source #
PPartialOrd PScriptHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool Source # (#<) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool Source #
PPartialOrd PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods (#<=) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PBool Source # (#<) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PBool Source #
PPartialOrd PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#<=) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source #
PPartialOrd PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#<=) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source #
PPartialOrd PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool Source # (#<) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool Source #
PPartialOrd PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool Source #
PPartialOrd PBool Source #
Instance details Defined in Plutarch.Bool Methods (#<=) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool Source # (#<) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool Source #
PPartialOrd PByteString Source #
Instance details Defined in Plutarch.ByteString Methods (#<=) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source # (#<) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source #
PPartialOrd PInteger Source #
Instance details Defined in Plutarch.Integer Methods (#<=) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source # (#<) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source #
PPartialOrd PPositive Source #
Instance details Defined in Plutarch.Positive Methods (#<=) :: forall (s :: S). Term s PPositive -> Term s PPositive -> Term s PBool Source # (#<) :: forall (s :: S). Term s PPositive -> Term s PPositive -> Term s PBool Source #
PPartialOrd PRational Source #
Instance details Defined in Plutarch.Rational Methods (#<=) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source # (#<) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source #
(POrd a, PIsData a) => PPartialOrd (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source #
(POrd a, PIsData a) => PPartialOrd (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source #
(POrd a, PIsData a) => PPartialOrd (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source #
(POrd a, PIsData a) => PPartialOrd (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source #
(PIsData a, POrd a) => PPartialOrd (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Methods (#<=) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool Source #
(SListI xs, POrd x, PIsData x, POrd (PDataRecord (x' ': xs))) => PPartialOrd (PDataRecord ((label := x) ': (x' ': xs))) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods (#<=) :: forall (s :: S). Term s (PDataRecord ((label := x) ': (x' ': xs))) -> Term s (PDataRecord ((label := x) ': (x' ': xs))) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PDataRecord ((label := x) ': (x' ': xs))) -> Term s (PDataRecord ((label := x) ': (x' ': xs))) -> Term s PBool Source #
(POrd x, PIsData x) => PPartialOrd (PDataRecord '[label := x]) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods (#<=) :: forall (s :: S). Term s (PDataRecord '[label := x]) -> Term s (PDataRecord '[label := x]) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PDataRecord '[label := x]) -> Term s (PDataRecord '[label := x]) -> Term s PBool Source #
PPartialOrd (PDataRecord ('[] :: [PLabeledType])) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods (#<=) :: forall (s :: S). Term s (PDataRecord '[]) -> Term s (PDataRecord '[]) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PDataRecord '[]) -> Term s (PDataRecord '[]) -> Term s PBool Source #
All (Compose POrd PDataRecord) defs => PPartialOrd (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods (#<=) :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s PBool Source #
PPartialOrd (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods (#<=) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source # (#<) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source #
PPartialOrd (PValue 'Sorted 'NonZero) Source #	Partial ordering implementation for sorted `PValue` with `NonZero` amounts. Use `pcheckBinRel` if `AmountGuarantees` is `NoGuarantees`.
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool Source #
PPartialOrd (PValue 'Sorted 'Positive) Source #	Partial ordering implementation for sorted `PValue` with `Positive` amounts. Use `pcheckBinRel` if `AmountGuarantees` is `NoGuarantees`.
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool Source #

class PPartialOrd t => POrd t Source #

Total ordering relation.

Instances

Instances details

POrd PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address
POrd PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address
POrd PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address
POrd PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto
POrd PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert
POrd PDatumHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts
POrd PRedeemerHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts
POrd PScriptHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts
POrd PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time
POrd PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx
POrd PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx
POrd PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value
POrd PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value
POrd PBool Source #
Instance details Defined in Plutarch.Bool
POrd PByteString Source #
Instance details Defined in Plutarch.ByteString
POrd PInteger Source #
Instance details Defined in Plutarch.Integer
POrd PPositive Source #
Instance details Defined in Plutarch.Positive
POrd PRational Source #
Instance details Defined in Plutarch.Rational
(POrd a, PIsData a) => POrd (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(POrd a, PIsData a) => POrd (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(POrd a, PIsData a) => POrd (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(POrd a, PIsData a) => POrd (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(PIsData a, POrd a) => POrd (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe
(SListI xs, POrd x, PIsData x, POrd (PDataRecord (x' ': xs))) => POrd (PDataRecord ((label := x) ': (x' ': xs))) Source #
Instance details Defined in Plutarch.DataRepr.Internal
(POrd x, PIsData x) => POrd (PDataRecord '[label := x]) Source #
Instance details Defined in Plutarch.DataRepr.Internal
POrd (PDataRecord ('[] :: [PLabeledType])) Source #
Instance details Defined in Plutarch.DataRepr.Internal
All (Compose POrd PDataRecord) defs => POrd (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal
POrd (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit

pif :: Term s PBool -> Term s a -> Term s a -> Term s a Source #

Lazy if-then-else.

pif' :: Term s (PBool :--> (a :--> (a :--> a))) Source #

Strict version of pif. Emits slightly less code.

pnot :: Term s (PBool :--> PBool) Source #

Boolean negation for PBool terms.

(#&&) :: Term s PBool -> Term s PBool -> Term s PBool infixr 3 Source #

Lazily evaluated boolean and for PBool terms.

(#||) :: Term s PBool -> Term s PBool -> Term s PBool infixr 2 Source #

Lazily evaluated boolean or for PBool terms.

por :: Term s (PBool :--> (PDelayed PBool :--> PDelayed PBool)) Source #

Hoisted, Plutarch level, lazily evaluated boolean or function.

pand :: Term s (PBool :--> (PDelayed PBool :--> PDelayed PBool)) Source #

Hoisted, Plutarch level, lazily evaluated boolean and function.

pand' :: Term s (PBool :--> (PBool :--> PBool)) Source #

Hoisted, Plutarch level, strictly evaluated boolean and function.

por' :: Term s (PBool :--> (PBool :--> PBool)) Source #

Hoisted, Plutarch level, strictly evaluated boolean or function.

Orphan instances

PConstantDecl Bool Source #
Instance details Associated Types type PConstantRepr Bool Source # type PConstanted Bool :: PType Source # Methods pconstantToRepr :: Bool -> PConstantRepr Bool Source # pconstantFromRepr :: PConstantRepr Bool -> Maybe Bool Source #