Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.Modules.Validators

Documentation

type Validators = Module ValidatorsName EmptyTxServer EmptyTxServer QueryApi ValidatorsEffs '[] Source #

validatorsModule :: Members (ModuleEffs Validators) r => Validators r Source #

data ValidatorsKeeper m a where Source #

Constructors

GetValidatorsKeys :: ValidatorsKeeper m (Set PubKey_)
GetPowerOf :: PubKey_ -> ValidatorsKeeper m Word64
GetQueuedUpdates :: ValidatorsKeeper m (Map PubKey_ Word64)
QueueUpdate :: PubKey_ -> Word64 -> ValidatorsKeeper m ()

Instances

Instances details

type DefiningModule (ValidatorsKeeper :: k -> Type -> Type) Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Keeper type DefiningModule (ValidatorsKeeper :: k -> Type -> Type) = "Tendermint.SDK.Modules.Validators.Keeper"

queueUpdate :: forall r. MemberWithError ValidatorsKeeper r => PubKey_ -> Word64 -> Sem r () Source #

getQueuedUpdates :: forall r. MemberWithError ValidatorsKeeper r => Sem r (Map PubKey_ Word64) Source #

getPowerOf :: forall r. MemberWithError ValidatorsKeeper r => PubKey_ -> Sem r Word64 Source #

getValidatorsKeys :: forall r. MemberWithError ValidatorsKeeper r => Sem r (Set PubKey_) Source #

type ValidatorsEffs = '[ValidatorsKeeper] Source #

eval :: Members [ReadStore, WriteStore, Error AppError] r => Sem (ValidatorsKeeper ': r) a -> Sem r a Source #

getValidatorsKeysF :: Members [ReadStore, Error AppError] r => Sem r (Set PubKey_) Source #

getPowerOfF :: Members [ReadStore, Error AppError] r => PubKey_ -> Sem r Word64 Source #

getQueuedUpdatesF :: Members [ReadStore, Error AppError] r => Sem r (Map PubKey_ Word64) Source #

queueUpdateF :: Members [ReadStore, WriteStore, Error AppError] r => PubKey_ -> Word64 -> Sem r () Source #

data ValidatorsNameSpace Source #

type ValidatorsName = "validators" Source #

updatesListKey :: ByteString Source #

validatorsMapKey :: ByteString Source #

validatorsKeySetKey :: ByteString Source #

newtype ValidatorUpdate_ Source #

Constructors

ValidatorUpdate_ ValidatorUpdate

Instances

Instances details

Eq ValidatorUpdate_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods (==) :: ValidatorUpdate_ -> ValidatorUpdate_ -> Bool # (/=) :: ValidatorUpdate_ -> ValidatorUpdate_ -> Bool #
Generic ValidatorUpdate_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Associated Types type Rep ValidatorUpdate_ :: Type -> Type # Methods from :: ValidatorUpdate_ -> Rep ValidatorUpdate_ x # to :: Rep ValidatorUpdate_ x -> ValidatorUpdate_ #
HasCodec ValidatorUpdate_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods encode :: ValidatorUpdate_ -> ByteString Source # decode :: ByteString -> Either Text ValidatorUpdate_ Source #
type Rep ValidatorUpdate_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types type Rep ValidatorUpdate_ = D1 ('MetaData "ValidatorUpdate_" "Tendermint.SDK.Modules.Validators.Types" "hs-abci-sdk-0.1.0.0-6BthCXrKFfHAhK2oYxZQI4" 'True) (C1 ('MetaCons "ValidatorUpdate_" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidatorUpdate)))

newtype PubKey_ Source #

Constructors

PubKey_ PubKey

Instances

Instances details

Eq PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods (==) :: PubKey_ -> PubKey_ -> Bool # (/=) :: PubKey_ -> PubKey_ -> Bool #
Ord PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types 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_ #
Generic PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types 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 Tendermint.SDK.Modules.Validators.Types Methods parseJSON :: Value -> Parser PubKey_ parseJSONList :: Value -> Parser [PubKey_]
FromJSONKey PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods fromJSONKey :: FromJSONKeyFunction PubKey_ fromJSONKeyList :: FromJSONKeyFunction [PubKey_]
ToJSON PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods toJSON :: PubKey_ -> Value toEncoding :: PubKey_ -> Encoding toJSONList :: [PubKey_] -> Value toEncodingList :: [PubKey_] -> Encoding
ToJSONKey PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods toJSONKey :: ToJSONKeyFunction PubKey_ toJSONKeyList :: ToJSONKeyFunction [PubKey_]
RawKey PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods rawKey :: Iso' PubKey_ ByteString Source #
QueryData PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods fromQueryData :: Base64String -> Either String PubKey_ Source # toQueryData :: PubKey_ -> Base64String Source #
HasCodec (Map PubKey_ Word64) Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods encode :: Map PubKey_ Word64 -> ByteString Source # decode :: ByteString -> Either Text (Map PubKey_ Word64) Source #
type Rep PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types type Rep PubKey_ = D1 ('MetaData "PubKey_" "Tendermint.SDK.Modules.Validators.Types" "hs-abci-sdk-0.1.0.0-6BthCXrKFfHAhK2oYxZQI4" 'True) (C1 ('MetaCons "PubKey_" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKey)))

newtype KeySet Source #

Constructors

KeySet (Set PubKey_)

Instances

Instances details

Generic KeySet Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Associated Types type Rep KeySet :: Type -> Type # Methods from :: KeySet -> Rep KeySet x # to :: Rep KeySet x -> KeySet #
FromJSON KeySet Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods parseJSON :: Value -> Parser KeySet parseJSONList :: Value -> Parser [KeySet]
ToJSON KeySet Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods toJSON :: KeySet -> Value toEncoding :: KeySet -> Encoding toJSONList :: [KeySet] -> Value toEncodingList :: [KeySet] -> Encoding
HasCodec KeySet Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods encode :: KeySet -> ByteString Source # decode :: ByteString -> Either Text KeySet Source #
type Rep KeySet Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types type Rep KeySet = D1 ('MetaData "KeySet" "Tendermint.SDK.Modules.Validators.Types" "hs-abci-sdk-0.1.0.0-6BthCXrKFfHAhK2oYxZQI4" 'True) (C1 ('MetaCons "KeySet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set PubKey_))))

endBlock :: Members BlockEffs r => Members ValidatorsEffs r => EndBlock -> Sem r EndBlockResult Source #