hs-abci-types-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Synopsis

Documentation

data Proof Source #

Fields :

  • ops :: Lens' Proof [ProofOp]
  • vec'ops :: Lens' Proof (Data.Vector.Vector ProofOp)
Instances
Eq Proof Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

(==) :: Proof -> Proof -> Bool #

(/=) :: Proof -> Proof -> Bool #

Ord Proof Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

compare :: Proof -> Proof -> Ordering #

(<) :: Proof -> Proof -> Bool #

(<=) :: Proof -> Proof -> Bool #

(>) :: Proof -> Proof -> Bool #

(>=) :: Proof -> Proof -> Bool #

max :: Proof -> Proof -> Proof #

min :: Proof -> Proof -> Proof #

Show Proof Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

showsPrec :: Int -> Proof -> ShowS #

show :: Proof -> String #

showList :: [Proof] -> ShowS #

NFData Proof Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

rnf :: Proof -> () #

Message Proof Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

messageName :: Proxy Proof -> Text

defMessage :: Proof

fieldsByTag :: Map Tag (FieldDescriptor Proof)

fieldsByTextFormatName :: Map String (FieldDescriptor Proof)

unknownFields :: Lens' Proof FieldSet

parseMessage :: Parser Proof

buildMessage :: Proof -> Builder

HasField ResponseQuery "proof" Proof 
Instance details

Defined in Proto.Types

Methods

fieldOf :: Functor f => Proxy# "proof" -> (Proof -> f Proof) -> ResponseQuery -> f ResponseQuery

HasField Proof "ops" [ProofOp] Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

fieldOf :: Functor f => Proxy# "ops" -> ([ProofOp] -> f [ProofOp]) -> Proof -> f Proof

HasField Proof "vec'ops" (Vector ProofOp) Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

fieldOf :: Functor f => Proxy# "vec'ops" -> (Vector ProofOp -> f (Vector ProofOp)) -> Proof -> f Proof

HasField ResponseQuery "maybe'proof" (Maybe Proof) 
Instance details

Defined in Proto.Types

Methods

fieldOf :: Functor f => Proxy# "maybe'proof" -> (Maybe Proof -> f (Maybe Proof)) -> ResponseQuery -> f ResponseQuery

data ProofOp Source #

Fields :

  • type' :: Lens' ProofOp Data.Text.Text
  • key :: Lens' ProofOp Data.ByteString.ByteString
  • data' :: Lens' ProofOp Data.ByteString.ByteString
Instances
Eq ProofOp Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

(==) :: ProofOp -> ProofOp -> Bool #

(/=) :: ProofOp -> ProofOp -> Bool #

Ord ProofOp Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Show ProofOp Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

NFData ProofOp Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

rnf :: ProofOp -> () #

Message ProofOp Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

messageName :: Proxy ProofOp -> Text

defMessage :: ProofOp

fieldsByTag :: Map Tag (FieldDescriptor ProofOp)

fieldsByTextFormatName :: Map String (FieldDescriptor ProofOp)

unknownFields :: Lens' ProofOp FieldSet

parseMessage :: Parser ProofOp

buildMessage :: ProofOp -> Builder

HasField ProofOp "data'" ByteString Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

fieldOf :: Functor f => Proxy# "data'" -> (ByteString -> f ByteString) -> ProofOp -> f ProofOp

HasField ProofOp "key" ByteString Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

fieldOf :: Functor f => Proxy# "key" -> (ByteString -> f ByteString) -> ProofOp -> f ProofOp

HasField ProofOp "type'" Text Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

fieldOf :: Functor f => Proxy# "type'" -> (Text -> f Text) -> ProofOp -> f ProofOp

HasField Proof "ops" [ProofOp] Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

fieldOf :: Functor f => Proxy# "ops" -> ([ProofOp] -> f [ProofOp]) -> Proof -> f Proof

HasField Proof "vec'ops" (Vector ProofOp) Source # 
Instance details

Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle

Methods

fieldOf :: Functor f => Proxy# "vec'ops" -> (Vector ProofOp -> f (Vector ProofOp)) -> Proof -> f Proof