| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.CanonicalState.BasicTypes
Contents
Synopsis
- data OnChain a = OnChain {
- getValue ∷ !a
- getWireEncoding ∷ !ByteString
- class DecodeOnChain (v ∷ Symbol) a where
- decodeOnChain ∷ ByteString → CanonicalDecoder s a
- mkOnChain ∷ (Era era, EncCBOR a) ⇒ a → OnChain a
- newtype CanonicalCoin = CanonicalCoin {}
- data CanonicalExUnits = CanonicalExUnits {}
- mkCanonicalExUnits ∷ ExUnits → CanonicalExUnits
- fromCanonicalExUnits ∷ CanonicalExUnits → ExUnits
- decodeNamespacedField ∷ ∀ (v ∷ Symbol) s a. FromCanonicalCBOR v a ⇒ Text → CanonicalDecoder s (Versioned v a)
- decodeNamespacedTag ∷ ∀ (v ∷ Symbol) a s. FromCanonicalCBOR v a ⇒ Word → CanonicalDecoder s a
Documentation
Wrapper type that tells that the type is the type that is kept on-chain for such types we want to keep exactly the same encoding as on the wire.
We still tag the type with an original one to be able to distinguish between them.
Constructors
| OnChain | |
Fields
| |
Instances
class DecodeOnChain (v ∷ Symbol) a where Source #
Helper types to encode on-chain types, it's used so
it would be possible to pass input bytestring to
toPlainDecoder.
Methods
decodeOnChain ∷ ByteString → CanonicalDecoder s a Source #
Instances
| (EraTxOut era, EraScript era, TxOut era ~ x) ⇒ DecodeOnChain "utxo/v0" x Source # | |
Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 Methods decodeOnChain ∷ ByteString → CanonicalDecoder s x Source # | |
newtype CanonicalCoin Source #
Wrapper for the coin type.
Despite the fact that Coin is on-chain type, we do not want to use
OnChain wrapper for it. Because it's expected that if we keep chain
structure like transaction in canonical state, then we should keep entire
structure there and keep that as a whole, like UTxOut.
Constructors
| CanonicalCoin | |
Fields | |
Instances
| Generic CanonicalCoin Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Associated Types
| |||||
| Show CanonicalCoin Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods showsPrec ∷ Int → CanonicalCoin → ShowS # show ∷ CanonicalCoin → String # showList ∷ [CanonicalCoin] → ShowS # | |||||
| Eq CanonicalCoin Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes | |||||
| Ord CanonicalCoin Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods compare ∷ CanonicalCoin → CanonicalCoin → Ordering # (<) ∷ CanonicalCoin → CanonicalCoin → Bool # (<=) ∷ CanonicalCoin → CanonicalCoin → Bool # (>) ∷ CanonicalCoin → CanonicalCoin → Bool # (>=) ∷ CanonicalCoin → CanonicalCoin → Bool # | |||||
| FromCanonicalCBOR v CanonicalCoin Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalCoin) Source # | |||||
| ToCanonicalCBOR v CanonicalCoin Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods toCanonicalCBOR ∷ proxy v → CanonicalCoin → CanonicalEncoding Source # | |||||
| type Rep CanonicalCoin Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes type Rep CanonicalCoin = D1 ('MetaData "CanonicalCoin" "Cardano.Ledger.CanonicalState.BasicTypes" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "CanonicalCoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CompactForm Coin)))) | |||||
data CanonicalExUnits Source #
Constructors
| CanonicalExUnits | |
Fields
| |
Instances
| Generic CanonicalExUnits Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Associated Types
Methods from ∷ CanonicalExUnits → Rep CanonicalExUnits x # to ∷ Rep CanonicalExUnits x → CanonicalExUnits # | |||||
| Show CanonicalExUnits Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods showsPrec ∷ Int → CanonicalExUnits → ShowS # show ∷ CanonicalExUnits → String # showList ∷ [CanonicalExUnits] → ShowS # | |||||
| Eq CanonicalExUnits Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods | |||||
| FromCanonicalCBOR v CanonicalExUnits Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalExUnits) Source # | |||||
| ToCanonicalCBOR v CanonicalExUnits Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes Methods toCanonicalCBOR ∷ proxy v → CanonicalExUnits → CanonicalEncoding Source # | |||||
| type Rep CanonicalExUnits Source # | |||||
Defined in Cardano.Ledger.CanonicalState.BasicTypes type Rep CanonicalExUnits = D1 ('MetaData "CanonicalExUnits" "Cardano.Ledger.CanonicalState.BasicTypes" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalExUnits" 'PrefixI 'True) (S1 ('MetaSel ('Just "exUnitsMem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just "exUnitsSteps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) | |||||
Helpers
decodeNamespacedField ∷ ∀ (v ∷ Symbol) s a. FromCanonicalCBOR v a ⇒ Text → CanonicalDecoder s (Versioned v a) Source #
decodeNamespacedTag ∷ ∀ (v ∷ Symbol) a s. FromCanonicalCBOR v a ⇒ Word → CanonicalDecoder s a Source #
Orphan instances
| (Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v Anchor Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v Anchor) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v NonNegativeInterval Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v NonNegativeInterval) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v ProtVer Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v ProtVer) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v UnitInterval Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v UnitInterval) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v ScriptHash Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v ScriptHash) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v EpochInterval Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v EpochInterval) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v EpochNo Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v EpochNo) Source # | |
| FromCanonicalCBOR v SlotNo Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v SlotNo) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v Anchor Source # | |
Methods toCanonicalCBOR ∷ proxy v → Anchor → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v NonNegativeInterval Source # | |
Methods toCanonicalCBOR ∷ proxy v → NonNegativeInterval → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v ProtVer Source # | |
Methods toCanonicalCBOR ∷ proxy v → ProtVer → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v UnitInterval Source # | |
Methods toCanonicalCBOR ∷ proxy v → UnitInterval → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v ScriptHash Source # | |
Methods toCanonicalCBOR ∷ proxy v → ScriptHash → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v EpochInterval Source # | |
Methods toCanonicalCBOR ∷ proxy v → EpochInterval → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v EpochNo Source # | |
Methods toCanonicalCBOR ∷ proxy v → EpochNo → CanonicalEncoding Source # | |
| ToCanonicalCBOR v SlotNo Source # | |
Methods toCanonicalCBOR ∷ proxy v → SlotNo → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era, Typeable kr) ⇒ FromCanonicalCBOR v (Credential kr) Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v (Credential kr)) Source # | |
| (Era era, NamespaceEra v ~ era, Typeable kr) ⇒ FromCanonicalCBOR v (KeyHash kr) Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v (KeyHash kr)) Source # | |
| FromCanonicalCBOR v a ⇒ FromCanonicalCBOR v (StrictMaybe a) Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v (StrictMaybe a)) Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v (Credential kr) Source # | |
Methods toCanonicalCBOR ∷ proxy v → Credential kr → CanonicalEncoding Source # | |
| (Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v (KeyHash kr) Source # | |
Methods toCanonicalCBOR ∷ proxy v → KeyHash kr → CanonicalEncoding Source # | |
| ToCanonicalCBOR v a ⇒ ToCanonicalCBOR v (StrictMaybe a) Source # | |
Methods toCanonicalCBOR ∷ proxy v → StrictMaybe a → CanonicalEncoding Source # | |
| HashAlgorithm a ⇒ FromCanonicalCBOR v (Hash a b) Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v (Hash a b)) Source # | |
| ToCanonicalCBOR v (Hash a b) Source # | |
Methods toCanonicalCBOR ∷ proxy v → Hash a b → CanonicalEncoding Source # | |