Modulecardano-ledger-core-1.21.0.0

Cardano.Ledger.MemoBytes.Internal

Synopsis

value byteCountMemoBytes
value contentsEq
value decodeMemoBytes
value decodeMemoized
value eqRawType
value getMemoBytesHash
value getMemoBytesType
value getMemoRawBytes
value getMemoRawType
value getMemoSafeHash
value lensMemoRawType
value memoBytes
value memoBytesEra
value memoRawTypeL
value mkMemoBytes
value mkMemoBytesShort
value mkMemoBytesStrict
value mkMemoized
value mkMemoizedEra
value packMemoBytesM
value shortToLazy
value unpackMemoBytesM
value zipMemoRawType
class EqRaw
type Mem
data MemoBytes
pattern Memo
family MemoHashIndex
class Memoized

Packagecardano-ledger-core-1.21.0.0
Exports29
LicenceApache-2.0

valuebyteCountMemoBytes :: MemoBytes t -> Int

valuecontentsEq :: Eq t => MemoBytes t -> MemoBytes t -> Bool

valuedecodeMemoBytes

:: (Typeable t, DecCBOR (Annotator t), MonadFail m)
=> Version
-> ByteString
-> m (MemoBytes t)

valuedecodeMemoized :: Decoder s t -> Decoder s (MemoBytes t)

valueeqRawType :: (Memoized t, Eq (RawType t)) => t -> t -> Bool

valuegetMemoBytesHash :: MemoBytes t -> SafeHash (MemoHashIndex t)

valuegetMemoBytesType :: MemoBytes t -> t

valuegetMemoRawBytes :: Memoized t => t -> ShortByteString

valuegetMemoRawType :: Memoized t => t -> RawType t

valuegetMemoSafeHash :: Memoized t => t -> SafeHash (MemoHashIndex (RawType t))

valuelensMemoRawType

:: (Era era, EncCBOR (RawType t), Memoized t)
=> RawType t -> a
-> RawType t -> b -> RawType t
-> Lens t t a b

valuememoBytes :: Version -> Encode w t -> MemoBytes t

valuememoBytesEra :: Era era => Encode w t -> MemoBytes t

valuememoRawTypeL :: (Era era, EncCBOR (RawType t), Memoized t) => Lens' t (RawType t)

valuemkMemoBytes :: t -> ByteString -> MemoBytes t

valuemkMemoBytesShort :: t -> ShortByteString -> MemoBytes t

valuemkMemoBytesStrict :: t -> ByteString -> MemoBytes t

valuemkMemoized :: (EncCBOR (RawType t), Memoized t) => Version -> RawType t -> t

valuemkMemoizedEra

:: (Era era, EncCBOR (RawType t), Memoized t)
=> RawType t
-> t

valuepackMemoBytesM :: MemoBytes t -> Pack s ()

valueshortToLazy :: ShortByteString -> ByteString

valueunpackMemoBytesM

:: (DecCBOR (Annotator t), Typeable t, Buffer b)
=> Version
-> Unpack s b (MemoBytes t)

valuezipMemoRawType

:: (Memoized t1, Memoized t2)
=> RawType t1 -> RawType t2 -> a
-> t1
-> t2
-> a

classclass EqRaw a where

Methods

eqRaw :: a -> a -> Bool

typetype Mem t = Annotator (MemoBytes t)

datadata MemoBytes t

Constructors

MemoBytes
- mbRawType :: !t
- mbBytes :: ShortByteString
- mbHash :: SafeHash (MemoHashIndex t)

Instances11Eq, Show, Generic, NFData, NoThunks, ToCBOR, …

Eq t => Eq (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
Show t => Show (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
Generic (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
NFData t => NFData (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
(Typeable t, NoThunks t) => NoThunks (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
Typeable t => ToCBOR (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
DecCBOR t => DecCBOR (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
(Typeable t, DecCBOR (Annotator t)) => DecCBOR (Annotator (MemoBytes t))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
EncCBOR (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
SafeToHash (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
type Rep (MemoBytes t) = D1 ('MetaData "MemoBytes" "Cardano.Ledger.MemoBytes.Internal" "cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK" 'False) (C1 ('MetaCons "MemoBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "mbRawType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t) :*: (S1 ('MetaSel ('Just "mbBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: S1 ('MetaSel ('Just "mbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash (MemoHashIndex t))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal

patternpattern Memo :: t -> ShortByteString -> MemoBytes t

familytype family MemoHashIndex t

Instances1MemoHashIndex

type MemoHashIndex (PlutusData era) = EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

classclass Memoized t where

Associated types

type family RawType t

Instances1Memoized

Memoized (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data