hs-abci-sdk-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.Modules.Validators

Documentation

data ValidatorsKeeper m a where Source #

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 #

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 #

type ValidatorsName = "validators" Source #

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

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

QueryData PubKey_ Source # 
Instance details

Defined in Tendermint.SDK.Modules.Validators.Types

HasCodec (Map PubKey_ Word64) Source # 
Instance details

Defined in Tendermint.SDK.Modules.Validators.Types

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

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 #