Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Common.Merkle

Contents

MerkleRoot
MerkleTree
MerkleNode

Description

Merkle tree implementation.

See https://tools.ietf.org/html/rfc6962.

Synopsis

newtype MerkleRoot a = MerkleRoot {
- getMerkleRoot ∷ Hash Raw
}
data MerkleTree a
- = MerkleEmpty
- | MerkleTree !Word32 !(MerkleNode a)
mtRoot ∷ MerkleTree a → MerkleRoot a
mkMerkleTree ∷ EncCBOR a ⇒ [a] → MerkleTree a
mkMerkleTreeDecoded ∷ [Annotated a ByteString] → MerkleTree a
data MerkleNode a
- = MerkleBranch !(MerkleRoot a) !(MerkleNode a) !(MerkleNode a)
- | MerkleLeaf !(MerkleRoot a) a
mkBranch ∷ MerkleNode a → MerkleNode a → MerkleNode a
mkLeaf ∷ ∀ a. EncCBOR a ⇒ a → MerkleNode a
mkLeafDecoded ∷ Annotated a ByteString → MerkleNode a

MerkleRoot

newtype MerkleRoot a Source #

Data type for root of Merkle tree

Constructors

MerkleRoot
Fields getMerkleRoot ∷ Hash Raw returns root `Hash` of Merkle Tree

Instances

Instances details

ToJSON a ⇒ ToJSON (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods toJSON ∷ MerkleRoot a → Value Source # toEncoding ∷ MerkleRoot a → Encoding Source # toJSONList ∷ [MerkleRoot a] → Value Source # toEncodingList ∷ [MerkleRoot a] → Encoding Source # omitField ∷ MerkleRoot a → Bool Source #
Generic (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Associated Types type Rep (MerkleRoot a) ∷ Type → Type Source # Methods from ∷ MerkleRoot a → Rep (MerkleRoot a) x Source # to ∷ Rep (MerkleRoot a) x → MerkleRoot a Source #
Show (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods showsPrec ∷ Int → MerkleRoot a → ShowS Source # show ∷ MerkleRoot a → String Source # showList ∷ [MerkleRoot a] → ShowS Source #
DecCBOR a ⇒ FromCBOR (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods fromCBOR ∷ Decoder s (MerkleRoot a) Source # label ∷ Proxy (MerkleRoot a) → Text Source #
EncCBOR a ⇒ ToCBOR (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods toCBOR ∷ MerkleRoot a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MerkleRoot a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MerkleRoot a] → Size Source #
DecCBOR a ⇒ DecCBOR (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods decCBOR ∷ Decoder s (MerkleRoot a) Source # dropCBOR ∷ Proxy (MerkleRoot a) → Decoder s () Source # label ∷ Proxy (MerkleRoot a) → Text Source #
EncCBOR a ⇒ EncCBOR (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods encCBOR ∷ MerkleRoot a → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MerkleRoot a) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MerkleRoot a] → Size Source #
NFData (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods rnf ∷ MerkleRoot a → () Source #
Buildable (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods build ∷ MerkleRoot a → Builder Source #
Eq (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods (==) ∷ MerkleRoot a → MerkleRoot a → Bool Source # (/=) ∷ MerkleRoot a → MerkleRoot a → Bool Source #
Ord (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods compare ∷ MerkleRoot a → MerkleRoot a → Ordering Source # (<) ∷ MerkleRoot a → MerkleRoot a → Bool Source # (<=) ∷ MerkleRoot a → MerkleRoot a → Bool Source # (>) ∷ MerkleRoot a → MerkleRoot a → Bool Source # (>=) ∷ MerkleRoot a → MerkleRoot a → Bool Source # max ∷ MerkleRoot a → MerkleRoot a → MerkleRoot a Source # min ∷ MerkleRoot a → MerkleRoot a → MerkleRoot a Source #
NoThunks (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods noThunks ∷ Context → MerkleRoot a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MerkleRoot a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MerkleRoot a) → String Source #
type Rep (MerkleRoot a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle type Rep (MerkleRoot a) = D1 ('MetaData "MerkleRoot" "Cardano.Chain.Common.Merkle" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "MerkleRoot" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMerkleRoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Raw))))

MerkleTree

data MerkleTree a Source #

Constructors

MerkleEmpty
MerkleTree !Word32 !(MerkleNode a)

Instances

Instances details

Foldable MerkleTree Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods fold ∷ Monoid m ⇒ MerkleTree m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → MerkleTree a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → MerkleTree a → m Source # foldr ∷ (a → b → b) → b → MerkleTree a → b Source # foldr' ∷ (a → b → b) → b → MerkleTree a → b Source # foldl ∷ (b → a → b) → b → MerkleTree a → b Source # foldl' ∷ (b → a → b) → b → MerkleTree a → b Source # foldr1 ∷ (a → a → a) → MerkleTree a → a Source # foldl1 ∷ (a → a → a) → MerkleTree a → a Source # toList ∷ MerkleTree a → [a] Source # null ∷ MerkleTree a → Bool Source # length ∷ MerkleTree a → Int Source # elem ∷ Eq a ⇒ a → MerkleTree a → Bool Source # maximum ∷ Ord a ⇒ MerkleTree a → a Source # minimum ∷ Ord a ⇒ MerkleTree a → a Source # sum ∷ Num a ⇒ MerkleTree a → a Source # product ∷ Num a ⇒ MerkleTree a → a Source #
Generic (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Associated Types type Rep (MerkleTree a) ∷ Type → Type Source # Methods from ∷ MerkleTree a → Rep (MerkleTree a) x Source # to ∷ Rep (MerkleTree a) x → MerkleTree a Source #
Show a ⇒ Show (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods showsPrec ∷ Int → MerkleTree a → ShowS Source # show ∷ MerkleTree a → String Source # showList ∷ [MerkleTree a] → ShowS Source #
(DecCBOR a, EncCBOR a) ⇒ FromCBOR (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods fromCBOR ∷ Decoder s (MerkleTree a) Source # label ∷ Proxy (MerkleTree a) → Text Source #
EncCBOR a ⇒ ToCBOR (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods toCBOR ∷ MerkleTree a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MerkleTree a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MerkleTree a] → Size Source #
(DecCBOR a, EncCBOR a) ⇒ DecCBOR (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods decCBOR ∷ Decoder s (MerkleTree a) Source # dropCBOR ∷ Proxy (MerkleTree a) → Decoder s () Source # label ∷ Proxy (MerkleTree a) → Text Source #
EncCBOR a ⇒ EncCBOR (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods encCBOR ∷ MerkleTree a → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MerkleTree a) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MerkleTree a] → Size Source #
NFData a ⇒ NFData (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods rnf ∷ MerkleTree a → () Source #
Eq a ⇒ Eq (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods (==) ∷ MerkleTree a → MerkleTree a → Bool Source # (/=) ∷ MerkleTree a → MerkleTree a → Bool Source #
type Rep (MerkleTree a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle type Rep (MerkleTree a) = D1 ('MetaData "MerkleTree" "Cardano.Chain.Common.Merkle" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "MerkleEmpty" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MerkleTree" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleNode a))))

mtRoot ∷ MerkleTree a → MerkleRoot a Source #

Returns root of Merkle tree

mkMerkleTree ∷ EncCBOR a ⇒ [a] → MerkleTree a Source #

Smart constructor for MerkleTree

mkMerkleTreeDecoded ∷ [Annotated a ByteString] → MerkleTree a Source #

Reconstruct a MerkleTree from a decoded list of items

MerkleNode

data MerkleNode a Source #

Constructors

MerkleBranch !(MerkleRoot a) !(MerkleNode a) !(MerkleNode a)	MerkleBranch mRoot mLeft mRight
MerkleLeaf !(MerkleRoot a) a	MerkleLeaf mRoot mVal

Instances

Instances details

Foldable MerkleNode Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods fold ∷ Monoid m ⇒ MerkleNode m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → MerkleNode a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → MerkleNode a → m Source # foldr ∷ (a → b → b) → b → MerkleNode a → b Source # foldr' ∷ (a → b → b) → b → MerkleNode a → b Source # foldl ∷ (b → a → b) → b → MerkleNode a → b Source # foldl' ∷ (b → a → b) → b → MerkleNode a → b Source # foldr1 ∷ (a → a → a) → MerkleNode a → a Source # foldl1 ∷ (a → a → a) → MerkleNode a → a Source # toList ∷ MerkleNode a → [a] Source # null ∷ MerkleNode a → Bool Source # length ∷ MerkleNode a → Int Source # elem ∷ Eq a ⇒ a → MerkleNode a → Bool Source # maximum ∷ Ord a ⇒ MerkleNode a → a Source # minimum ∷ Ord a ⇒ MerkleNode a → a Source # sum ∷ Num a ⇒ MerkleNode a → a Source # product ∷ Num a ⇒ MerkleNode a → a Source #
Generic (MerkleNode a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Associated Types type Rep (MerkleNode a) ∷ Type → Type Source # Methods from ∷ MerkleNode a → Rep (MerkleNode a) x Source # to ∷ Rep (MerkleNode a) x → MerkleNode a Source #
Show a ⇒ Show (MerkleNode a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods showsPrec ∷ Int → MerkleNode a → ShowS Source # show ∷ MerkleNode a → String Source # showList ∷ [MerkleNode a] → ShowS Source #
NFData a ⇒ NFData (MerkleNode a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods rnf ∷ MerkleNode a → () Source #
Eq a ⇒ Eq (MerkleNode a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle Methods (==) ∷ MerkleNode a → MerkleNode a → Bool Source # (/=) ∷ MerkleNode a → MerkleNode a → Bool Source #
type Rep (MerkleNode a) Source #
Instance details Defined in Cardano.Chain.Common.Merkle type Rep (MerkleNode a) = D1 ('MetaData "MerkleNode" "Cardano.Chain.Common.Merkle" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "MerkleBranch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleRoot a)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleNode a)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleNode a)))) :+: C1 ('MetaCons "MerkleLeaf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleRoot a)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

mkBranch ∷ MerkleNode a → MerkleNode a → MerkleNode a Source #

mkLeaf ∷ ∀ a. EncCBOR a ⇒ a → MerkleNode a Source #

mkLeafDecoded ∷ Annotated a ByteString → MerkleNode a Source #