Safe Haskell	None
Language	Haskell2010

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

Synopsis

data Proof
data ProofOp

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 Methods compare :: ProofOp -> ProofOp -> Ordering # (<) :: ProofOp -> ProofOp -> Bool # (<=) :: ProofOp -> ProofOp -> Bool # (>) :: ProofOp -> ProofOp -> Bool # (>=) :: ProofOp -> ProofOp -> Bool # max :: ProofOp -> ProofOp -> ProofOp # min :: ProofOp -> ProofOp -> ProofOp #
Show ProofOp Source #
Instance details Defined in Proto.Vendored.Tendermint.Tendermint.Crypto.Merkle.Merkle Methods showsPrec :: Int -> ProofOp -> ShowS # show :: ProofOp -> String # showList :: [ProofOp] -> ShowS #
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