Safe Haskell	None
Language	Haskell2010

Network.ABCI.Types.Messages.FieldTypes

Documentation

newtype WrappedVal a Source #

Constructors

WrappedVal
Fields unWrappedVal :: a

Instances

Instances details

Eq a => Eq (WrappedVal a) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: WrappedVal a -> WrappedVal a -> Bool # (/=) :: WrappedVal a -> WrappedVal a -> Bool #
Num a => Num (WrappedVal a) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (+) :: WrappedVal a -> WrappedVal a -> WrappedVal a # (-) :: WrappedVal a -> WrappedVal a -> WrappedVal a # (*) :: WrappedVal a -> WrappedVal a -> WrappedVal a # negate :: WrappedVal a -> WrappedVal a # abs :: WrappedVal a -> WrappedVal a # signum :: WrappedVal a -> WrappedVal a # fromInteger :: Integer -> WrappedVal a #
Show a => Show (WrappedVal a) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> WrappedVal a -> ShowS # show :: WrappedVal a -> String # showList :: [WrappedVal a] -> ShowS #
Generic (WrappedVal a) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep (WrappedVal a) :: Type -> Type # Methods from :: WrappedVal a -> Rep (WrappedVal a) x # to :: Rep (WrappedVal a) x -> WrappedVal a #
FromJSON (WrappedVal Int) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser (WrappedVal Int) parseJSONList :: Value -> Parser [WrappedVal Int]
FromJSON (WrappedVal Int32) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser (WrappedVal Int32) parseJSONList :: Value -> Parser [WrappedVal Int32]
FromJSON (WrappedVal Int64) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser (WrappedVal Int64) parseJSONList :: Value -> Parser [WrappedVal Int64]
FromJSON a => FromJSON (WrappedVal [a]) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser (WrappedVal [a]) parseJSONList :: Value -> Parser [WrappedVal [a]]
FromJSON (WrappedVal Word64) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser (WrappedVal Word64) parseJSONList :: Value -> Parser [WrappedVal Word64]
ToJSON (WrappedVal Int) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: WrappedVal Int -> Value toEncoding :: WrappedVal Int -> Encoding toJSONList :: [WrappedVal Int] -> Value toEncodingList :: [WrappedVal Int] -> Encoding
ToJSON (WrappedVal Int32) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: WrappedVal Int32 -> Value toEncoding :: WrappedVal Int32 -> Encoding toJSONList :: [WrappedVal Int32] -> Value toEncodingList :: [WrappedVal Int32] -> Encoding
ToJSON (WrappedVal Int64) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: WrappedVal Int64 -> Value toEncoding :: WrappedVal Int64 -> Encoding toJSONList :: [WrappedVal Int64] -> Value toEncodingList :: [WrappedVal Int64] -> Encoding
ToJSON a => ToJSON (WrappedVal [a]) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: WrappedVal [a] -> Value toEncoding :: WrappedVal [a] -> Encoding toJSONList :: [WrappedVal [a]] -> Value toEncodingList :: [WrappedVal [a]] -> Encoding
ToJSON (WrappedVal Word64) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: WrappedVal Word64 -> Value toEncoding :: WrappedVal Word64 -> Encoding toJSONList :: [WrappedVal Word64] -> Value toEncodingList :: [WrappedVal Word64] -> Encoding
type Rep (WrappedVal a) Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep (WrappedVal a) = D1 ('MetaData "WrappedVal" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'True) (C1 ('MetaCons "WrappedVal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWrappedVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data Timestamp Source #

Constructors

Timestamp DiffTime

Instances

Instances details

Eq Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Timestamp -> Timestamp -> Bool # (/=) :: Timestamp -> Timestamp -> Bool #
Show Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Timestamp -> ShowS # show :: Timestamp -> String # showList :: [Timestamp] -> ShowS #
Generic Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep Timestamp :: Type -> Type # Methods from :: Timestamp -> Rep Timestamp x # to :: Rep Timestamp x -> Timestamp #
FromJSON Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Timestamp parseJSONList :: Value -> Parser [Timestamp]
ToJSON Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Timestamp -> Value toEncoding :: Timestamp -> Encoding toJSONList :: [Timestamp] -> Value toEncodingList :: [Timestamp] -> Encoding
Wrapped Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Timestamp Methods _Wrapped' :: Iso' Timestamp (Unwrapped Timestamp)
type Rep Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep Timestamp = D1 ('MetaData "Timestamp" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "Timestamp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DiffTime)))
type Unwrapped Timestamp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Timestamp = Timestamp

mkTimestamp :: DiffTime -> Timestamp Source #

parseDiffTimeOrError :: String -> DiffTime Source #

data BlockParams Source #

Constructors

BlockParams
Fields blockParamsMaxBytes :: WrappedVal Int64 Max size of a block, in bytes. blockParamsMaxGas :: WrappedVal Int64 Max sum of GasWanted in a proposed block.

Instances

Instances details

Eq BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: BlockParams -> BlockParams -> Bool # (/=) :: BlockParams -> BlockParams -> Bool #
Show BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> BlockParams -> ShowS # show :: BlockParams -> String # showList :: [BlockParams] -> ShowS #
Generic BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep BlockParams :: Type -> Type # Methods from :: BlockParams -> Rep BlockParams x # to :: Rep BlockParams x -> BlockParams #
FromJSON BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser BlockParams parseJSONList :: Value -> Parser [BlockParams]
ToJSON BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: BlockParams -> Value toEncoding :: BlockParams -> Encoding toJSONList :: [BlockParams] -> Value toEncodingList :: [BlockParams] -> Encoding
Wrapped BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped BlockParams Methods _Wrapped' :: Iso' BlockParams (Unwrapped BlockParams)
type Rep BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep BlockParams = D1 ('MetaData "BlockParams" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "BlockParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockParamsMaxBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64)) :*: S1 ('MetaSel ('Just "blockParamsMaxGas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64))))
type Unwrapped BlockParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped BlockParams = BlockParams

data EvidenceParams Source #

Constructors

EvidenceParams
Fields evidenceParamsMaxAge :: WrappedVal Int64 Max age of evidence, in blocks.

Instances

Instances details

Eq EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: EvidenceParams -> EvidenceParams -> Bool # (/=) :: EvidenceParams -> EvidenceParams -> Bool #
Show EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> EvidenceParams -> ShowS # show :: EvidenceParams -> String # showList :: [EvidenceParams] -> ShowS #
Generic EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep EvidenceParams :: Type -> Type # Methods from :: EvidenceParams -> Rep EvidenceParams x # to :: Rep EvidenceParams x -> EvidenceParams #
FromJSON EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser EvidenceParams parseJSONList :: Value -> Parser [EvidenceParams]
ToJSON EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: EvidenceParams -> Value toEncoding :: EvidenceParams -> Encoding toJSONList :: [EvidenceParams] -> Value toEncodingList :: [EvidenceParams] -> Encoding
Wrapped EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped EvidenceParams Methods _Wrapped' :: Iso' EvidenceParams (Unwrapped EvidenceParams)
type Rep EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep EvidenceParams = D1 ('MetaData "EvidenceParams" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "EvidenceParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "evidenceParamsMaxAge") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64))))
type Unwrapped EvidenceParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped EvidenceParams = EvidenceParams

data ValidatorParams Source #

Constructors

ValidatorParams
Fields validatorParamsPubKeyTypes :: [Text] List of accepted pubkey types

Instances

Instances details

Eq ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: ValidatorParams -> ValidatorParams -> Bool # (/=) :: ValidatorParams -> ValidatorParams -> Bool #
Show ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> ValidatorParams -> ShowS # show :: ValidatorParams -> String # showList :: [ValidatorParams] -> ShowS #
Generic ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep ValidatorParams :: Type -> Type # Methods from :: ValidatorParams -> Rep ValidatorParams x # to :: Rep ValidatorParams x -> ValidatorParams #
FromJSON ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser ValidatorParams parseJSONList :: Value -> Parser [ValidatorParams]
ToJSON ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: ValidatorParams -> Value toEncoding :: ValidatorParams -> Encoding toJSONList :: [ValidatorParams] -> Value toEncodingList :: [ValidatorParams] -> Encoding
Wrapped ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped ValidatorParams Methods _Wrapped' :: Iso' ValidatorParams (Unwrapped ValidatorParams)
type Rep ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep ValidatorParams = D1 ('MetaData "ValidatorParams" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "ValidatorParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "validatorParamsPubKeyTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))
type Unwrapped ValidatorParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped ValidatorParams = ValidatorParams

data ConsensusParams Source #

Constructors

ConsensusParams
Fields consensusParamsBlockSize :: Maybe BlockParams consensusParamsEvidence :: Maybe EvidenceParams Parameters limiting the validity of evidence of byzantine behaviour. consensusParamsValidator :: Maybe ValidatorParams Parameters limitng the types of pubkeys validators can use.

Instances

Instances details

Eq ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: ConsensusParams -> ConsensusParams -> Bool # (/=) :: ConsensusParams -> ConsensusParams -> Bool #
Show ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> ConsensusParams -> ShowS # show :: ConsensusParams -> String # showList :: [ConsensusParams] -> ShowS #
Generic ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep ConsensusParams :: Type -> Type # Methods from :: ConsensusParams -> Rep ConsensusParams x # to :: Rep ConsensusParams x -> ConsensusParams #
FromJSON ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser ConsensusParams parseJSONList :: Value -> Parser [ConsensusParams]
ToJSON ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: ConsensusParams -> Value toEncoding :: ConsensusParams -> Encoding toJSONList :: [ConsensusParams] -> Value toEncodingList :: [ConsensusParams] -> Encoding
Wrapped ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped ConsensusParams Methods _Wrapped' :: Iso' ConsensusParams (Unwrapped ConsensusParams)
type Rep ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep ConsensusParams = D1 ('MetaData "ConsensusParams" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "ConsensusParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "consensusParamsBlockSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BlockParams)) :: (S1 ('MetaSel ('Just "consensusParamsEvidence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EvidenceParams)) :: S1 ('MetaSel ('Just "consensusParamsValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ValidatorParams)))))
type Unwrapped ConsensusParams Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped ConsensusParams = ConsensusParams

data PubKey Source #

Constructors

PubKey
Fields pubKeyType :: Text Type of the public key. pubKeyData :: Base64String Public key data.

Instances

Instances details

Eq PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: PubKey -> PubKey -> Bool # (/=) :: PubKey -> PubKey -> Bool #
Ord PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods compare :: PubKey -> PubKey -> Ordering # (<) :: PubKey -> PubKey -> Bool # (<=) :: PubKey -> PubKey -> Bool # (>) :: PubKey -> PubKey -> Bool # (>=) :: PubKey -> PubKey -> Bool # max :: PubKey -> PubKey -> PubKey # min :: PubKey -> PubKey -> PubKey #
Show PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> PubKey -> ShowS # show :: PubKey -> String # showList :: [PubKey] -> ShowS #
Generic PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep PubKey :: Type -> Type # Methods from :: PubKey -> Rep PubKey x # to :: Rep PubKey x -> PubKey #
FromJSON PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser PubKey parseJSONList :: Value -> Parser [PubKey]
ToJSON PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: PubKey -> Value toEncoding :: PubKey -> Encoding toJSONList :: [PubKey] -> Value toEncodingList :: [PubKey] -> Encoding
Wrapped PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped PubKey Methods _Wrapped' :: Iso' PubKey (Unwrapped PubKey)
type Rep PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep PubKey = D1 ('MetaData "PubKey" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "PubKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "pubKeyType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "pubKeyData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Base64String)))
type Unwrapped PubKey Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped PubKey = PubKey

data ValidatorUpdate Source #

Constructors

ValidatorUpdate
Fields validatorUpdatePubKey :: Maybe PubKey Public key of the validator validatorUpdatePower :: WrappedVal Int64 Voting power of the validator

Instances

Instances details

Eq ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: ValidatorUpdate -> ValidatorUpdate -> Bool # (/=) :: ValidatorUpdate -> ValidatorUpdate -> Bool #
Show ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> ValidatorUpdate -> ShowS # show :: ValidatorUpdate -> String # showList :: [ValidatorUpdate] -> ShowS #
Generic ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep ValidatorUpdate :: Type -> Type # Methods from :: ValidatorUpdate -> Rep ValidatorUpdate x # to :: Rep ValidatorUpdate x -> ValidatorUpdate #
FromJSON ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser ValidatorUpdate parseJSONList :: Value -> Parser [ValidatorUpdate]
ToJSON ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: ValidatorUpdate -> Value toEncoding :: ValidatorUpdate -> Encoding toJSONList :: [ValidatorUpdate] -> Value toEncodingList :: [ValidatorUpdate] -> Encoding
Wrapped ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped ValidatorUpdate Methods _Wrapped' :: Iso' ValidatorUpdate (Unwrapped ValidatorUpdate)
type Rep ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep ValidatorUpdate = D1 ('MetaData "ValidatorUpdate" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "ValidatorUpdate" 'PrefixI 'True) (S1 ('MetaSel ('Just "validatorUpdatePubKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PubKey)) :*: S1 ('MetaSel ('Just "validatorUpdatePower") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64))))
type Unwrapped ValidatorUpdate Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped ValidatorUpdate = ValidatorUpdate

data Validator Source #

Constructors

Validator
Fields validatorAddress :: HexString Address of the validator (hash of the public key) validatorPower :: WrappedVal Int64 Voting power of the validator

Instances

Instances details

Eq Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Validator -> Validator -> Bool # (/=) :: Validator -> Validator -> Bool #
Show Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Validator -> ShowS # show :: Validator -> String # showList :: [Validator] -> ShowS #
Generic Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep Validator :: Type -> Type # Methods from :: Validator -> Rep Validator x # to :: Rep Validator x -> Validator #
FromJSON Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Validator parseJSONList :: Value -> Parser [Validator]
ToJSON Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Validator -> Value toEncoding :: Validator -> Encoding toJSONList :: [Validator] -> Value toEncodingList :: [Validator] -> Encoding
Wrapped Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Validator Methods _Wrapped' :: Iso' Validator (Unwrapped Validator)
type Rep Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep Validator = D1 ('MetaData "Validator" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "Validator" 'PrefixI 'True) (S1 ('MetaSel ('Just "validatorAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString) :*: S1 ('MetaSel ('Just "validatorPower") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64))))
type Unwrapped Validator Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Validator = Validator

data VoteInfo Source #

Constructors

VoteInfo
Fields voteInfoValidator :: Maybe Validator A validator voteInfoSignedLastBlock :: Bool Indicates whether or not the validator signed the last block

Instances

Instances details

Eq VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: VoteInfo -> VoteInfo -> Bool # (/=) :: VoteInfo -> VoteInfo -> Bool #
Show VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> VoteInfo -> ShowS # show :: VoteInfo -> String # showList :: [VoteInfo] -> ShowS #
Generic VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep VoteInfo :: Type -> Type # Methods from :: VoteInfo -> Rep VoteInfo x # to :: Rep VoteInfo x -> VoteInfo #
FromJSON VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser VoteInfo parseJSONList :: Value -> Parser [VoteInfo]
ToJSON VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: VoteInfo -> Value toEncoding :: VoteInfo -> Encoding toJSONList :: [VoteInfo] -> Value toEncodingList :: [VoteInfo] -> Encoding
Wrapped VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped VoteInfo Methods _Wrapped' :: Iso' VoteInfo (Unwrapped VoteInfo)
type Rep VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep VoteInfo = D1 ('MetaData "VoteInfo" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "VoteInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "voteInfoValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Validator)) :*: S1 ('MetaSel ('Just "voteInfoSignedLastBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
type Unwrapped VoteInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped VoteInfo = VoteInfo

data LastCommitInfo Source #

Constructors

LastCommitInfo
Fields lastCommitInfoRound :: WrappedVal Int32 Commit round. lastCommitInfoVotes :: [VoteInfo] List of validators addresses in the last validator set with their voting power and whether or not they signed a vote.

Instances

Instances details

Eq LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: LastCommitInfo -> LastCommitInfo -> Bool # (/=) :: LastCommitInfo -> LastCommitInfo -> Bool #
Show LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> LastCommitInfo -> ShowS # show :: LastCommitInfo -> String # showList :: [LastCommitInfo] -> ShowS #
Generic LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep LastCommitInfo :: Type -> Type # Methods from :: LastCommitInfo -> Rep LastCommitInfo x # to :: Rep LastCommitInfo x -> LastCommitInfo #
FromJSON LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser LastCommitInfo parseJSONList :: Value -> Parser [LastCommitInfo]
ToJSON LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: LastCommitInfo -> Value toEncoding :: LastCommitInfo -> Encoding toJSONList :: [LastCommitInfo] -> Value toEncodingList :: [LastCommitInfo] -> Encoding
Wrapped LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped LastCommitInfo Methods _Wrapped' :: Iso' LastCommitInfo (Unwrapped LastCommitInfo)
type Rep LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep LastCommitInfo = D1 ('MetaData "LastCommitInfo" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "LastCommitInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastCommitInfoRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int32)) :*: S1 ('MetaSel ('Just "lastCommitInfoVotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VoteInfo])))
type Unwrapped LastCommitInfo Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped LastCommitInfo = LastCommitInfo

data PartSetHeader Source #

Constructors

PartSetHeader
Fields partSetHeaderTotal :: WrappedVal Int32 total number of pieces in a PartSet partSetHeaderHash :: HexString Merkle root hash of those pieces

Instances

Instances details

Eq PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: PartSetHeader -> PartSetHeader -> Bool # (/=) :: PartSetHeader -> PartSetHeader -> Bool #
Show PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> PartSetHeader -> ShowS # show :: PartSetHeader -> String # showList :: [PartSetHeader] -> ShowS #
Generic PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep PartSetHeader :: Type -> Type # Methods from :: PartSetHeader -> Rep PartSetHeader x # to :: Rep PartSetHeader x -> PartSetHeader #
FromJSON PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser PartSetHeader parseJSONList :: Value -> Parser [PartSetHeader]
ToJSON PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: PartSetHeader -> Value toEncoding :: PartSetHeader -> Encoding toJSONList :: [PartSetHeader] -> Value toEncodingList :: [PartSetHeader] -> Encoding
Wrapped PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped PartSetHeader Methods _Wrapped' :: Iso' PartSetHeader (Unwrapped PartSetHeader)
type Rep PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep PartSetHeader = D1 ('MetaData "PartSetHeader" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "PartSetHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "partSetHeaderTotal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int32)) :*: S1 ('MetaSel ('Just "partSetHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString)))
type Unwrapped PartSetHeader Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped PartSetHeader = PartSetHeader

data BlockID Source #

Constructors

BlockID
Fields blockIDHash :: HexString Hash of the block header blockIDPartsHeader :: Maybe PartSetHeader PartSetHeader (used internally, for clients this is basically opaque).

Instances

Instances details

Eq BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: BlockID -> BlockID -> Bool # (/=) :: BlockID -> BlockID -> Bool #
Show BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> BlockID -> ShowS # show :: BlockID -> String # showList :: [BlockID] -> ShowS #
Generic BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep BlockID :: Type -> Type # Methods from :: BlockID -> Rep BlockID x # to :: Rep BlockID x -> BlockID #
FromJSON BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser BlockID parseJSONList :: Value -> Parser [BlockID]
ToJSON BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: BlockID -> Value toEncoding :: BlockID -> Encoding toJSONList :: [BlockID] -> Value toEncodingList :: [BlockID] -> Encoding
Wrapped BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped BlockID Methods _Wrapped' :: Iso' BlockID (Unwrapped BlockID)
type Rep BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep BlockID = D1 ('MetaData "BlockID" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "BlockID" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockIDHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString) :*: S1 ('MetaSel ('Just "blockIDPartsHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PartSetHeader))))
type Unwrapped BlockID Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped BlockID = BlockID

data Version Source #

Constructors

Version
Fields versionBlock :: WrappedVal Word64 Protocol version of the blockchain data structures. versionApp :: WrappedVal Word64 Protocol version of the application.

Instances

Instances details

Eq Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Version -> Version -> Bool # (/=) :: Version -> Version -> Bool #
Show Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #
Generic Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep Version :: Type -> Type # Methods from :: Version -> Rep Version x # to :: Rep Version x -> Version #
FromJSON Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Version parseJSONList :: Value -> Parser [Version]
ToJSON Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Version -> Value toEncoding :: Version -> Encoding toJSONList :: [Version] -> Value toEncodingList :: [Version] -> Encoding
Wrapped Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Version Methods _Wrapped' :: Iso' Version (Unwrapped Version)
type Rep Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep Version = D1 ('MetaData "Version" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "versionBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Word64)) :*: S1 ('MetaSel ('Just "versionApp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Word64))))
type Unwrapped Version Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Version = Version

data Header Source #

Constructors

Fields

headerVersion :: Maybe Version
Version of the blockchain and the application
headerChainId :: Text
ID of the blockchain
headerHeight :: WrappedVal Int64
Height of the block in the chain
headerTime :: Maybe Timestamp
Time of the previous block
headerNumTxs :: WrappedVal Int64
Number of transactions in the block
headerTotalTxs :: WrappedVal Int64
Total number of transactions in the blockchain until now
headerLastBlockId :: Maybe BlockID
Hash of the previous (parent) block
headerLastCommitHash :: HexString
Hash of the previous block's commit
headerDataHash :: HexString
Hash of the validator set for this block
headerValidatorsHash :: HexString
Hash of the validator set for the next block
headerNextValidatorsHash :: HexString
Hash of the consensus parameters for this block
headerConsensusHash :: HexString
Hash of the consensus parameters for this block
headerAppHash :: HexString
Data returned by the last call to Commit
headerLastResultsHash :: HexString
Hash of the ABCI results returned by the last block
headerEvidenceHash :: HexString
Hash of the evidence included in this block
headerProposerAddress :: HexString
Original proposer for the block

Instances

data Evidence Source #

Constructors

Evidence
Fields evidenceType :: Text Type of the evidence. evidenceValidator :: Maybe Validator The offending validator evidenceHeight :: WrappedVal Int64 Height when the offense was committed evidenceTime :: Maybe Timestamp Time of the block at height Height. evidenceTotalVotingPower :: WrappedVal Int64 Total voting power of the validator set at height Height

Instances

Instances details

Eq Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Evidence -> Evidence -> Bool # (/=) :: Evidence -> Evidence -> Bool #
Show Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Evidence -> ShowS # show :: Evidence -> String # showList :: [Evidence] -> ShowS #
Generic Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep Evidence :: Type -> Type # Methods from :: Evidence -> Rep Evidence x # to :: Rep Evidence x -> Evidence #
FromJSON Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Evidence parseJSONList :: Value -> Parser [Evidence]
ToJSON Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Evidence -> Value toEncoding :: Evidence -> Encoding toJSONList :: [Evidence] -> Value toEncodingList :: [Evidence] -> Encoding
Wrapped Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Evidence Methods _Wrapped' :: Iso' Evidence (Unwrapped Evidence)
type Rep Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep Evidence = D1 ('MetaData "Evidence" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "Evidence" 'PrefixI 'True) ((S1 ('MetaSel ('Just "evidenceType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "evidenceValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Validator))) :: (S1 ('MetaSel ('Just "evidenceHeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64)) :: (S1 ('MetaSel ('Just "evidenceTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Timestamp)) :: S1 ('MetaSel ('Just "evidenceTotalVotingPower") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64))))))
type Unwrapped Evidence Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Evidence = Evidence

data KVPair Source #

Constructors

KVPair
Fields kVPairKey :: Base64String key kVPairValue :: Base64String value

Instances

Instances details

Eq KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: KVPair -> KVPair -> Bool # (/=) :: KVPair -> KVPair -> Bool #
Show KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> KVPair -> ShowS # show :: KVPair -> String # showList :: [KVPair] -> ShowS #
Generic KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep KVPair :: Type -> Type # Methods from :: KVPair -> Rep KVPair x # to :: Rep KVPair x -> KVPair #
FromJSON KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser KVPair parseJSONList :: Value -> Parser [KVPair]
ToJSON KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: KVPair -> Value toEncoding :: KVPair -> Encoding toJSONList :: [KVPair] -> Value toEncodingList :: [KVPair] -> Encoding
Wrapped KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped KVPair Methods _Wrapped' :: Iso' KVPair (Unwrapped KVPair)
type Rep KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep KVPair = D1 ('MetaData "KVPair" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "KVPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "kVPairKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Base64String) :*: S1 ('MetaSel ('Just "kVPairValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Base64String)))
type Unwrapped KVPair Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped KVPair = KVPair

data Proof Source #

Constructors

Proof
Fields proofOps :: [ProofOp] List of chained Merkle proofs, of possibly different types

Instances

Instances details

Eq Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Proof -> Proof -> Bool # (/=) :: Proof -> Proof -> Bool #
Show Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Proof -> ShowS # show :: Proof -> String # showList :: [Proof] -> ShowS #
Generic Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep Proof :: Type -> Type # Methods from :: Proof -> Rep Proof x # to :: Rep Proof x -> Proof #
FromJSON Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Proof parseJSONList :: Value -> Parser [Proof]
ToJSON Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Proof -> Value toEncoding :: Proof -> Encoding toJSONList :: [Proof] -> Value toEncodingList :: [Proof] -> Encoding
Wrapped Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Proof Methods _Wrapped' :: Iso' Proof (Unwrapped Proof)
type Rep Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep Proof = D1 ('MetaData "Proof" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "Proof" 'PrefixI 'True) (S1 ('MetaSel ('Just "proofOps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ProofOp])))
type Unwrapped Proof Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Proof = Proof

data ProofOp Source #

Constructors

ProofOp
Fields proofOpType :: Text Type of Merkle proof and how it's encoded. proofOpKey :: Base64String Key in the Merkle tree that this proof is for. proofOpData :: Base64String Encoded Merkle proof for the key.

Instances

Instances details

Eq ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: ProofOp -> ProofOp -> Bool # (/=) :: ProofOp -> ProofOp -> Bool #
Show ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> ProofOp -> ShowS # show :: ProofOp -> String # showList :: [ProofOp] -> ShowS #
Generic ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep ProofOp :: Type -> Type # Methods from :: ProofOp -> Rep ProofOp x # to :: Rep ProofOp x -> ProofOp #
FromJSON ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser ProofOp parseJSONList :: Value -> Parser [ProofOp]
ToJSON ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: ProofOp -> Value toEncoding :: ProofOp -> Encoding toJSONList :: [ProofOp] -> Value toEncodingList :: [ProofOp] -> Encoding
Wrapped ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped ProofOp Methods _Wrapped' :: Iso' ProofOp (Unwrapped ProofOp)
type Rep ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep ProofOp = D1 ('MetaData "ProofOp" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "ProofOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "proofOpType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "proofOpKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Base64String) :: S1 ('MetaSel ('Just "proofOpData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Base64String))))
type Unwrapped ProofOp Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped ProofOp = ProofOp

data Event Source #

Constructors

Event
Fields eventType :: Text Type of Event eventAttributes :: [KVPair] Event attributes

Instances

Instances details

Eq Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Event -> Event -> Bool # (/=) :: Event -> Event -> Bool #
Show Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Event -> ShowS # show :: Event -> String # showList :: [Event] -> ShowS #
Generic Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep Event :: Type -> Type # Methods from :: Event -> Rep Event x # to :: Rep Event x -> Event #
FromJSON Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Event parseJSONList :: Value -> Parser [Event]
ToJSON Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Event -> Value toEncoding :: Event -> Encoding toJSONList :: [Event] -> Value toEncodingList :: [Event] -> Encoding
Wrapped Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Event Methods _Wrapped' :: Iso' Event (Unwrapped Event)
type Rep Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep Event = D1 ('MetaData "Event" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "Event" 'PrefixI 'True) (S1 ('MetaSel ('Just "eventType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "eventAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KVPair])))
type Unwrapped Event Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Event = Event

Eq Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Header -> Header -> Bool # (/=) :: Header -> Header -> Bool #
Show Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Header -> ShowS # show :: Header -> String # showList :: [Header] -> ShowS #
Generic Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Rep Header :: Type -> Type # Methods from :: Header -> Rep Header x # to :: Rep Header x -> Header #
FromJSON Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Header parseJSONList :: Value -> Parser [Header]
ToJSON Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Header -> Value toEncoding :: Header -> Encoding toJSONList :: [Header] -> Value toEncodingList :: [Header] -> Encoding
Wrapped Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Header Methods _Wrapped' :: Iso' Header (Unwrapped Header)
type Rep Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Rep Header = D1 ('MetaData "Header" "Network.ABCI.Types.Messages.FieldTypes" "hs-abci-types-0.1.0.0-JbnZdER2jhDLQQCYdLDZz" 'False) (C1 ('MetaCons "Header" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "headerVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Version)) :: S1 ('MetaSel ('Just "headerChainId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "headerHeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64)) :: S1 ('MetaSel ('Just "headerTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Timestamp)))) :: ((S1 ('MetaSel ('Just "headerNumTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64)) :: S1 ('MetaSel ('Just "headerTotalTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WrappedVal Int64))) :: (S1 ('MetaSel ('Just "headerLastBlockId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BlockID)) :: S1 ('MetaSel ('Just "headerLastCommitHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString)))) :: (((S1 ('MetaSel ('Just "headerDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString) :: S1 ('MetaSel ('Just "headerValidatorsHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString)) :: (S1 ('MetaSel ('Just "headerNextValidatorsHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString) :: S1 ('MetaSel ('Just "headerConsensusHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString))) :: ((S1 ('MetaSel ('Just "headerAppHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString) :: S1 ('MetaSel ('Just "headerLastResultsHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString)) :: (S1 ('MetaSel ('Just "headerEvidenceHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString) :*: S1 ('MetaSel ('Just "headerProposerAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString))))))
type Unwrapped Header Source #
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Header = Header