Cardano.Ledger.Api.Scripts · cardano-ledger-api-1.14.0.0

patternpattern CertifyingPurpose :: AlonzoEraScript era => f Word32 (TxCert era) -> PlutusPurpose f era

#

patternpattern MintingPurpose :: AlonzoEraScript era => f Word32 PolicyID -> PlutusPurpose f era

#

patternpattern RewardingPurpose :: AlonzoEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

#

Deprecated. In favor of WithdrawingPurpose

patternpattern SpendingPurpose :: AlonzoEraScript era => f Word32 TxIn -> PlutusPurpose f era

#

patternpattern WithdrawingPurpose :: AlonzoEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

#

valueisPlutusScript :: AlonzoEraScript era => Script era -> Bool

#

patternpattern AnyEraCertifyingPurpose :: AnyEraScript era => f Word32 (TxCert era) -> PlutusPurpose f era

#

patternpattern AnyEraGuardingPurpose :: AnyEraScript era => f Word32 ScriptHash -> PlutusPurpose f era

#

patternpattern AnyEraMintingPurpose :: AnyEraScript era => f Word32 PolicyID -> PlutusPurpose f era

#

patternpattern AnyEraProposingPurpose :: AnyEraScript era => f Word32 (ProposalProcedure era) -> PlutusPurpose f era

#

patternpattern AnyEraRewardingPurpose :: AnyEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

#

Deprecated. In favor of AnyEraWithdrawingPurpose

patternpattern AnyEraSpendingPurpose :: AnyEraScript era => f Word32 TxIn -> PlutusPurpose f era

#

patternpattern AnyEraVotingPurpose :: AnyEraScript era => f Word32 Voter -> PlutusPurpose f era

#

patternpattern AnyEraWithdrawingPurpose :: AnyEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

#

patternpattern ProposingPurpose :: ConwayEraScript era => f Word32 (ProposalProcedure era) -> PlutusPurpose f era

#

patternpattern VotingPurpose :: ConwayEraScript era => f Word32 Voter -> PlutusPurpose f era

#

valuehashScript :: EraScript era => Script era -> ScriptHash

#

valueisNativeScript :: EraScript era => Script era -> Bool

#

valuebinaryDataToData :: Era era => BinaryData era -> Data era

#

valuedataToBinaryData :: Data era -> BinaryData era

#

valuedatumDataHash :: Datum era -> StrictMaybe DataHash

#

valuegetPlutusData :: Data era -> Data

#

valuehashBinaryData :: BinaryData era -> DataHash

#

valuehashData :: Data era -> DataHash

#

valuemakeBinaryData

:: Era era
=> ShortByteString
-> Either String (BinaryData era)

#

patternpattern GuardingPurpose :: DijkstraEraScript era => f Word32 ScriptHash -> PlutusPurpose f era

#

datadata ValidityInterval

#

Constructors

ValidityInterval
- invalidBefore :: !StrictMaybe SlotNo
- invalidHereafter :: !StrictMaybe SlotNo

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Ord ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Show ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Generic ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NFData ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
FromJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
ToJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NoThunks ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
DecCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
EncCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

class

class (EraScript era, Eq (PlutusScript era), Ord (PlutusScript era), Show (PlutusScript era), NoThunks (PlutusScript era), NFData (PlutusScript era), SafeToHash (PlutusScript era), Eq (PlutusPurpose AsItem era), Show (PlutusPurpose AsItem era), EncCBOR (PlutusPurpose AsItem era), DecCBOR (PlutusPurpose AsItem era), NoThunks (PlutusPurpose AsItem era), NFData (PlutusPurpose AsItem era), Eq (PlutusPurpose AsIx era), Ord (PlutusPurpose AsIx era), Show (PlutusPurpose AsIx era), EncCBOR (PlutusPurpose AsIx era), DecCBOR (PlutusPurpose AsIx era), EncCBORGroup (PlutusPurpose AsIx era), DecCBORGroup (PlutusPurpose AsIx era), NoThunks (PlutusPurpose AsIx era), NFData (PlutusPurpose AsIx era), Eq (PlutusPurpose AsIxItem era), Show (PlutusPurpose AsIxItem era), NoThunks (PlutusPurpose AsIxItem era), NFData (PlutusPurpose AsIxItem era), AllegraEraScript era) => AlonzoEraScript era where

#

Associated types

data family PlutusScript era
type family PlutusPurpose (f :: Type -> Type -> Type) era

Methods

toSpendingPurpose :: PlutusPurpose f era -> Maybe (f Word32 TxIn)
toMintingPurpose :: PlutusPurpose f era -> Maybe (f Word32 PolicyID)
toCertifyingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (TxCert era))
toWithdrawingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
toRewardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)

Instances4AlonzoEraScript

AlonzoEraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
AlonzoEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
AlonzoEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

classclass EraScript era => AnyEraScript era where

#

Methods

anyEraMaxLanguage :: Maybe Language
anyEraToPlutusScript :: Script era -> Maybe (PlutusScript era)
anyEraToSpendingPurpose :: PlutusPurpose f era -> Maybe (f Word32 TxIn)
anyEraToMintingPurpose :: PlutusPurpose f era -> Maybe (f Word32 PolicyID)
anyEraToCertifyingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (TxCert era))
anyEraToWithdrawingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
anyEraToRewardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
anyEraToVotingPurpose :: PlutusPurpose f era -> Maybe (f Word32 Voter)
anyEraToProposingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (ProposalProcedure era))
anyEraToGuardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 ScriptHash)

Instances7AnyEraScript, …

AnyEraScript AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts

classclass AlonzoEraScript era => ConwayEraScript era where

#

Methods

toVotingPurpose :: PlutusPurpose f era -> Maybe (f Word32 Voter)
toProposingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (ProposalProcedure era))

Instances2ConwayEraScript

ConwayEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
ConwayEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

class

class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToJSON (Script era), FromJSON (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NFData (Script era), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), ToJSON (NativeScript era), FromJSON (NativeScript era), ToCBOR (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) => EraScript era where

#

Associated types

type family Script era
type family NativeScript era

Methods

upgradeScript :: EraScript (PreviousEra era) => Script (PreviousEra era) -> Script era
scriptPrefixTag :: Script era -> ByteString
getNativeScript :: Script era -> Maybe (NativeScript era)

Instances7EraScript, …

EraScript AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
EraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
EraScript BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
EraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
EraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
EraScript MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Scripts · orphan
EraScript ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

methodvalidateNativeScript :: Tx l era -> NativeScript era -> Bool

#

typetype DataHash = SafeHash EraIndependentData

#

newtypenewtype ScriptHash

#

Instances17Eq, Ord, Show, Generic, Storable, NFData, …

Eq ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Storable ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSONKey ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSONKey ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
MemPack ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Indexable ScriptHash GuardsScriptHashViewDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody
type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

datadata CostModels

#

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Generic CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
FromJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
DecCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
EncCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToPlutusData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep CostModels = D1 ('MetaData "CostModels" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "CostModels" 'PrefixI 'True) (S1 ('MetaSel ('Just "_costModelsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language CostModel)) :*: S1 ('MetaSel ('Just "_costModelsUnknown") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word8 [Int64]))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

newtypenewtype BinaryData era

#

Instances11Eq, Ord, Show, Generic, MemPack, NoThunks, …

Eq (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
MemPack (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
EncCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (BinaryData era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (BinaryData era) = D1 ('MetaData "BinaryData" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "BinaryData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

newtypenewtype Data era

#

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NFData (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => FromJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
ToJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => NoThunks (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => ToCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Annotator (Data era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => EncCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Memoized (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (Data era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type RawType (Data era) = PlutusData eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

patternpattern Data :: Era era => Data -> Data era

#

datadata Datum era

#

Constructors

Instances10Eq, Ord, Show, Generic, ToJSON, MemPack, …

Eq (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => ToJSON (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => MemPack (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => EncCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Datum era) = D1 ('MetaData "Datum" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "NoDatum" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "Datum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

datadata AccountBalanceInterval era

#

Constructors

AccountBalanceLowerBound !(Inclusive Coin)
AccountBalanceUpperBound !(Exclusive Coin)
AccountBalanceBothBounds !(Inclusive Coin) !(Exclusive Coin)
AccountBalanceExact !Coin

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NoThunks (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Typeable era => DecCBOR (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
EncCBOR (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (AccountBalanceInterval era) = D1 ('MetaData "AccountBalanceInterval" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "AccountBalanceLowerBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin))) :+: C1 ('MetaCons "AccountBalanceUpperBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin)))) :+: (C1 ('MetaCons "AccountBalanceBothBounds" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin))) :+: C1 ('MetaCons "AccountBalanceExact" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

newtypenewtype AccountBalanceIntervals era

#

Constructors

AccountBalanceIntervals
- unAccountBalanceIntervals :: Map AccountId (AccountBalanceInterval era)

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NoThunks (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Typeable era => DecCBOR (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
EncCBOR (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (AccountBalanceIntervals era) = D1 ('MetaData "AccountBalanceIntervals" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'True) (C1 ('MetaCons "AccountBalanceIntervals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAccountBalanceIntervals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountId (AccountBalanceInterval era)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

classclass ConwayEraScript era => DijkstraEraScript era where

#

Methods

toGuardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 ScriptHash)

Instances1DijkstraEraScript

DijkstraEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts