Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.Serialization

Synopsis

class Typeable a ⇒ ToCBORGroup a where
- toCBORGroup ∷ a → Encoding
- encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy a → Size
- listLen ∷ a → Word
- listLenBound ∷ Proxy a → Word
class Typeable a ⇒ FromCBORGroup a where
- fromCBORGroup ∷ Decoder s a
newtype CBORGroup a = CBORGroup {
- unCBORGroup ∷ a
}
newtype CborSeq a = CborSeq {
- unwrapCborSeq ∷ Seq a
}
decodeList ∷ Decoder s a → Decoder s [a]
decodeSeq ∷ Decoder s a → Decoder s (Seq a)
decodeStrictSeq ∷ Decoder s a → Decoder s (StrictSeq a)
decodeSet ∷ Ord a ⇒ Decoder s a → Decoder s (Set a)
decodeMap ∷ Ord a ⇒ Decoder s a → Decoder s b → Decoder s (Map a b)
decodeMapContents ∷ Decoder s a → Decoder s [a]
decodeMapTraverse ∷ (Ord a, Applicative t) ⇒ Decoder s (t a) → Decoder s (t b) → Decoder s (t (Map a b))
decodeMaybe ∷ Decoder s a → Decoder s (Maybe a)
decodeRecordNamed ∷ Text → (a → Int) → Decoder s a → Decoder s a
decodeRecordSum ∷ String → (Word → Decoder s (Int, a)) → Decoder s a
decodeNullMaybe ∷ Decoder s a → Decoder s (Maybe a)
encodeFoldable ∷ (ToCBOR a, Foldable f) ⇒ f a → Encoding
encodeFoldableEncoder ∷ Foldable f ⇒ (a → Encoding) → f a → Encoding
encodeFoldableMapEncoder ∷ Foldable f ⇒ (Word → a → Maybe Encoding) → f a → Encoding
encodeNullMaybe ∷ (a → Encoding) → Maybe a → Encoding
groupRecord ∷ ∀ a s. (ToCBORGroup a, FromCBORGroup a) ⇒ Decoder s a
ratioToCBOR ∷ ToCBOR a ⇒ Ratio a → Encoding
ratioFromCBOR ∷ (Integral a, FromCBOR a) ⇒ Decoder s (Ratio a)
mapToCBOR ∷ (ToCBOR a, ToCBOR b) ⇒ Map a b → Encoding
mapFromCBOR ∷ (Ord a, FromCBOR a, FromCBOR b) ⇒ Decoder s (Map a b)
ipv4ToBytes ∷ IPv4 → ByteString
ipv4FromBytes ∷ ByteString → Either String IPv4
ipv4ToCBOR ∷ IPv4 → Encoding
ipv4FromCBOR ∷ Decoder s IPv4
ipv6ToBytes ∷ IPv6 → ByteString
ipv6FromBytes ∷ ByteString → Either String IPv6
ipv6ToCBOR ∷ IPv6 → Encoding
ipv6FromCBOR ∷ Decoder s IPv6
listLenInt ∷ ToCBORGroup a ⇒ a → Int
runByteBuilder ∷ Int → Builder → ByteString
utcTimeToCBOR ∷ UTCTime → Encoding
utcTimeFromCBOR ∷ Decoder s UTCTime

Documentation

class Typeable a ⇒ ToCBORGroup a where Source #

Methods

toCBORGroup ∷ a → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy a → Size Source #

listLen ∷ a → Word Source #

listLenBound ∷ Proxy a → Word Source #

an upper bound for listLen, used in Size expressions.

Instances

Instances details

ToCBORGroup ProtVer Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods toCBORGroup ∷ ProtVer → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy ProtVer → Size Source # listLen ∷ ProtVer → Word Source # listLenBound ∷ Proxy ProtVer → Word Source #
ToCBORGroup Ptr Source #
Instance details Defined in Shelley.Spec.Ledger.Credential Methods toCBORGroup ∷ Ptr → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy Ptr → Size Source # listLen ∷ Ptr → Word Source # listLenBound ∷ Proxy Ptr → Word Source #
Crypto crypto ⇒ ToCBORGroup (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods toCBORGroup ∷ OCert crypto → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy (OCert crypto) → Size Source # listLen ∷ OCert crypto → Word Source # listLenBound ∷ Proxy (OCert crypto) → Word Source #
Era era ⇒ ToCBORGroup (PoolParams era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBORGroup ∷ PoolParams era → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy (PoolParams era) → Size Source # listLen ∷ PoolParams era → Word Source # listLenBound ∷ Proxy (PoolParams era) → Word Source #
Era era ⇒ ToCBORGroup (TxSeq era) Source #
Instance details Defined in Shelley.Spec.Ledger.BlockChain Methods toCBORGroup ∷ TxSeq era → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy (TxSeq era) → Size Source # listLen ∷ TxSeq era → Word Source # listLenBound ∷ Proxy (TxSeq era) → Word Source #

class Typeable a ⇒ FromCBORGroup a where Source #

Methods

fromCBORGroup ∷ Decoder s a Source #

Instances

Instances details

FromCBORGroup ProtVer Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods fromCBORGroup ∷ Decoder s ProtVer Source #
FromCBORGroup Ptr Source #
Instance details Defined in Shelley.Spec.Ledger.Credential Methods fromCBORGroup ∷ Decoder s Ptr Source #
Crypto crypto ⇒ FromCBORGroup (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods fromCBORGroup ∷ Decoder s (OCert crypto) Source #
Era era ⇒ FromCBORGroup (PoolParams era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods fromCBORGroup ∷ Decoder s (PoolParams era) Source #

newtype CBORGroup a Source #

Constructors

CBORGroup
Fields unCBORGroup ∷ a

Instances

Instances details

ToCBORGroup a ⇒ ToCBOR (CBORGroup a) Source #
Instance details Defined in Shelley.Spec.Ledger.Serialization Methods toCBOR ∷ CBORGroup a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CBORGroup a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CBORGroup a] → Size Source #
(FromCBORGroup a, ToCBORGroup a) ⇒ FromCBOR (CBORGroup a) Source #
Instance details Defined in Shelley.Spec.Ledger.Serialization Methods fromCBOR ∷ Decoder s (CBORGroup a) Source # label ∷ Proxy (CBORGroup a) → Text Source #

newtype CborSeq a Source #

Constructors

CborSeq
Fields unwrapCborSeq ∷ Seq a

Instances

Instances details

Foldable CborSeq Source #
Instance details Defined in Shelley.Spec.Ledger.Serialization Methods fold ∷ Monoid m ⇒ CborSeq m → m # foldMap ∷ Monoid m ⇒ (a → m) → CborSeq a → m # foldMap' ∷ Monoid m ⇒ (a → m) → CborSeq a → m # foldr ∷ (a → b → b) → b → CborSeq a → b # foldr' ∷ (a → b → b) → b → CborSeq a → b # foldl ∷ (b → a → b) → b → CborSeq a → b # foldl' ∷ (b → a → b) → b → CborSeq a → b # foldr1 ∷ (a → a → a) → CborSeq a → a # foldl1 ∷ (a → a → a) → CborSeq a → a # toList ∷ CborSeq a → [a] # null ∷ CborSeq a → Bool # length ∷ CborSeq a → Int # elem ∷ Eq a ⇒ a → CborSeq a → Bool # maximum ∷ Ord a ⇒ CborSeq a → a # minimum ∷ Ord a ⇒ CborSeq a → a # sum ∷ Num a ⇒ CborSeq a → a # product ∷ Num a ⇒ CborSeq a → a #
ToCBOR a ⇒ ToCBOR (CborSeq a) Source #
Instance details Defined in Shelley.Spec.Ledger.Serialization Methods toCBOR ∷ CborSeq a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CborSeq a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CborSeq a] → Size Source #
FromCBOR a ⇒ FromCBOR (CborSeq a) Source #
Instance details Defined in Shelley.Spec.Ledger.Serialization Methods fromCBOR ∷ Decoder s (CborSeq a) Source # label ∷ Proxy (CborSeq a) → Text Source #