cardano-ledger-canonical-state-9.9.9.9: Instaces for working with canonical ledger state representation
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.CanonicalState.BasicTypes

Synopsis

Documentation

data OnChain a Source #

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

Instances details
DecodeOnChain v a ⇒ FromCanonicalCBOR v (OnChain a) Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v (OnChain a)) Source #

ToCanonicalCBOR v (OnChain a) Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

Methods

toCanonicalCBOR ∷ proxy v → OnChain a → CanonicalEncoding Source #

Generic (OnChain a) Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

Associated Types

type Rep (OnChain a) 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

type Rep (OnChain a) = D1 ('MetaData "OnChain" "Cardano.Ledger.CanonicalState.BasicTypes" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "OnChain" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "getWireEncoding") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

Methods

from ∷ OnChain a → Rep (OnChain a) x #

to ∷ Rep (OnChain a) x → OnChain a #

Show a ⇒ Show (OnChain a) Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

Methods

showsPrec ∷ Int → OnChain a → ShowS #

show ∷ OnChain a → String #

showList ∷ [OnChain a] → ShowS #

Eq a ⇒ Eq (OnChain a) Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

Methods

(==) ∷ OnChain a → OnChain a → Bool #

(/=) ∷ OnChain a → OnChain a → Bool #

Ord a ⇒ Ord (OnChain a) Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

Methods

compare ∷ OnChain a → OnChain a → Ordering #

(<) ∷ OnChain a → OnChain a → Bool #

(<=) ∷ OnChain a → OnChain a → Bool #

(>) ∷ OnChain a → OnChain a → Bool #

(>=) ∷ OnChain a → OnChain a → Bool #

max ∷ OnChain a → OnChain a → OnChain a #

min ∷ OnChain a → OnChain a → OnChain a #

type Rep (OnChain a) Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.BasicTypes

type Rep (OnChain a) = D1 ('MetaData "OnChain" "Cardano.Ledger.CanonicalState.BasicTypes" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "OnChain" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "getWireEncoding") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

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

Instances details
(EraTxOut era, EraScript era, TxOut era ~ x) ⇒ DecodeOnChain "utxo/v0" x Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

Methods

decodeOnChain ∷ ByteString → CanonicalDecoder s x Source #