| 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
- newtype CanonicalCoin = CanonicalCoin {}
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)))) | |||||
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 ScriptHash Source # | |
Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v ScriptHash) 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 ScriptHash Source # | |
Methods toCanonicalCBOR ∷ proxy v → ScriptHash → 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 # | |