Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp

Contents

BaseApp
Core Effects
Pure Effects
Store
Query Routes
Errors
Events
Gas
Logger
Metrics
Transaction
Query
Block

Synopsis

type BaseEffs = [Metrics, Logger, Resource, Error AppError]
defaultCompileToCore :: forall a. Sem (BaseAppEffs CoreEffs) a -> Sem CoreEffs a
defaultCompileToPureCore :: forall a. Sem (BaseAppEffs PureCoreEffs) a -> Sem PureCoreEffs a
type BaseAppEffs core = StoreEffs :& (BaseEffs :& core)
type family (as :: [a]) :& (bs :: [a]) :: [a] where ...
type CoreEffs = '[Reader LogConfig, Reader (Maybe PrometheusEnv), Reader IAVLVersions, Reader GrpcClient, Embed IO]
data Context = Context {
- _contextLogConfig :: LogConfig
- _contextPrometheusEnv :: Maybe PrometheusEnv
- _contextGrpcClient :: GrpcClient
- _contextVersions :: IAVLVersions
}
contextLogConfig :: Lens' Context LogConfig
contextPrometheusEnv :: Lens' Context (Maybe PrometheusEnv)
contextVersions :: Lens' Context IAVLVersions
makeContext :: InitialLogNamespace -> Maybe MetricsScrapingConfig -> IAVLVersions -> GrpcConfig -> IO Context
runCoreEffs :: Context -> forall a. Sem CoreEffs a -> IO a
type PureCoreEffs = '[Reader LogConfig, Reader DBVersions, Reader DB, Error AppError, Embed IO]
data PureContext = PureContext {
- _pureContextLogConfig :: LogConfig
- _pureContextDB :: DB
- _pureContextVersions :: DBVersions
}
pureContextLogConfig :: Lens' PureContext LogConfig
pureContextVersions :: Lens' PureContext DBVersions
pureContextDB :: Lens' PureContext DB
makePureContext :: InitialLogNamespace -> IO PureContext
runPureCoreEffs :: PureContext -> forall a. Sem PureCoreEffs a -> IO (Either AppError a)
data ReadStore m a
data WriteStore m a
class RawKey k where
- rawKey :: Iso' k ByteString
data StoreKey = StoreKey {
- skPathFromRoot :: [ByteString]
- skKey :: ByteString
}
class RawKey k => IsKey k ns where
- type Value k ns :: Type
- prefix :: Proxy k -> Proxy ns -> ByteString
data Store ns
newtype KeyRoot ns = KeyRoot ByteString
makeStore :: KeyRoot ns -> Store ns
put :: forall k r ns. IsKey k ns => HasCodec (Value k ns) => Member WriteStore r => Store ns -> k -> Value k ns -> Sem r ()
get :: forall k r ns. IsKey k ns => HasCodec (Value k ns) => Members [ReadStore, Error AppError] r => Store ns -> k -> Sem r (Maybe (Value k ns))
delete :: forall k ns r. IsKey k ns => Member WriteStore r => Store ns -> k -> Sem r ()
data Leaf (a :: Type)
data QA (a :: Type)
data StoreLeaf a
data AppError = AppError {
- appErrorCode :: Word32
- appErrorCodespace :: Text
- appErrorMessage :: Text
}
class IsAppError e where
- makeAppError :: e -> AppError
data Event = Event {
- eventType :: Text
- eventAttributes :: [KVPair]
}
class ToEvent e where
- toEvent :: e -> Event
newtype ContextEvent t = ContextEvent t
emit :: ToEvent e => Member (Output Event) r => e -> Sem r ()
logEvent :: forall e r. (ToJSON e, ToEvent e, Select e) => Member Logger r => e -> Sem r ()
data GasMeter m a
withGas :: forall r a. MemberWithError GasMeter r => GasAmount -> Sem r a -> Sem r a
data Logger m a
log :: forall r. MemberWithError Logger r => Severity -> Text -> Sem r ()
data LogSelect
- = All
- | Some [Text]
addContext :: forall r x a. (MemberWithError Logger r, Select x, ToJSON x) => x -> Sem r a -> Sem r a
data Severity
- = Debug
- | Info
- | Warning
- | Error
- | Exception
class Select a where
- select :: Verbosity -> a -> LogSelect
data Verbosity
- = V0
- | V1
- | V2
- | V3
data Metrics m a
incCount :: forall r. MemberWithError Metrics r => CountName -> Sem r ()
withTimer :: forall r a. MemberWithError Metrics r => HistogramName -> Sem r a -> Sem r a
data CountName = CountName {
- countName :: Text
- countLabels :: [(Text, Text)]
}
data HistogramName = HistogramName {
- histogramName :: Text
- histogramLabels :: [(Text, Text)]
- histogramBuckets :: [Double]
}
type AnteHandler r = forall msg a. Endo (RoutingTx msg -> Sem r a)
data RoutingTx msg where
- RoutingTx :: Tx alg msg -> RoutingTx msg
type family RouteTx layout (s :: EffectRow) :: Type
data RouteContext
- = CheckTx
- | DeliverTx
data Return a
data msg :~> a
data TypedMessage msg
type TxEffs = [Output Event, GasMeter, WriteStore, ReadStore, Error AppError]
data EmptyTxServer = EmptyTxServer
class DefaultCheckTx api (r :: EffectRow) where
- type DefaultCheckTxT api r :: Type
- defaultCheckTx :: Proxy api -> Proxy r -> DefaultCheckTxT api r
type family VoidReturn (api :: Type) :: Type where ...
type QueryEffs = '[ReadStore, Error AppError]
class QueryData a where
- fromQueryData :: Base64String -> Either String a
- toQueryData :: a -> Base64String
type family RouteQ layout r :: Type
data QueryResult a = QueryResult {
- queryResultData :: a
- queryResultIndex :: Int64
- queryResultKey :: Base64String
- queryResultProof :: Maybe Proof
- queryResultHeight :: Int64
}
storeQueryHandler :: StoreQueryHandler ns h => ns -> h
data EmptyQueryServer = EmptyQueryServer
data RouterError = ResourceNotFound
type BlockEffs = TxEffs
data EndBlockResult = EndBlockResult [ValidatorUpdate] (Maybe ConsensusParams)
defaultBeginBlocker :: BeginBlock -> Sem r ()
defaultEndBlocker :: EndBlock -> Sem r EndBlockResult

BaseApp

type BaseEffs = [Metrics, Logger, Resource, Error AppError] Source #

Concrete row of effects for the BaseApp. Note that because there does | not exist an interpreter for an untagged RawStore, you must scope | these effects before they can be interpreted.

defaultCompileToCore :: forall a. Sem (BaseAppEffs CoreEffs) a -> Sem CoreEffs a Source #

defaultCompileToPureCore :: forall a. Sem (BaseAppEffs PureCoreEffs) a -> Sem PureCoreEffs a Source #

type BaseAppEffs core = StoreEffs :& (BaseEffs :& core) Source #

type family (as :: [a]) :& (bs :: [a]) :: [a] where ... infixr 5 Source #

This type family gives a nice syntax for combining multiple lists of effects.

Equations

'[] :& bs = bs
(a ': as) :& bs = a ': (as :& bs)

Core Effects

type CoreEffs = '[Reader LogConfig, Reader (Maybe PrometheusEnv), Reader IAVLVersions, Reader GrpcClient, Embed IO] Source #

CoreEffs is one level below BaseAppEffs, and provides one possible | interpretation for its effects to IO.

data Context Source #

Context is the environment required to run CoreEffs to IO

Constructors

Context
Fields _contextLogConfig :: LogConfig _contextPrometheusEnv :: Maybe PrometheusEnv _contextGrpcClient :: GrpcClient _contextVersions :: IAVLVersions

contextLogConfig :: Lens' Context LogConfig Source #

contextPrometheusEnv :: Lens' Context (Maybe PrometheusEnv) Source #

contextVersions :: Lens' Context IAVLVersions Source #

makeContext :: InitialLogNamespace -> Maybe MetricsScrapingConfig -> IAVLVersions -> GrpcConfig -> IO Context Source #

runCoreEffs :: Context -> forall a. Sem CoreEffs a -> IO a Source #

The standard interpeter for CoreEffs.

Pure Effects

type PureCoreEffs = '[Reader LogConfig, Reader DBVersions, Reader DB, Error AppError, Embed IO] Source #

CoreEffs is one level below BaseAppEffs, and provides one possible | interpretation for its effects to IO.

data PureContext Source #

Context is the environment required to run CoreEffsPure to IO

Constructors

PureContext
Fields _pureContextLogConfig :: LogConfig _pureContextDB :: DB _pureContextVersions :: DBVersions

pureContextLogConfig :: Lens' PureContext LogConfig Source #

pureContextVersions :: Lens' PureContext DBVersions Source #

pureContextDB :: Lens' PureContext DB Source #

makePureContext :: InitialLogNamespace -> IO PureContext Source #

runPureCoreEffs :: PureContext -> forall a. Sem PureCoreEffs a -> IO (Either AppError a) Source #

The standard interpeter for PureCoreEffs.

Store

data ReadStore m a Source #

Read and Write Effects

Instances

Instances details

type DefiningModule (ReadStore :: k -> Type -> Type) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore type DefiningModule (ReadStore :: k -> Type -> Type) = "Tendermint.SDK.BaseApp.Store.RawStore"

data WriteStore m a Source #

Instances

Instances details

type DefiningModule (WriteStore :: k -> Type -> Type) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore type DefiningModule (WriteStore :: k -> Type -> Type) = "Tendermint.SDK.BaseApp.Store.RawStore"

class RawKey k where Source #

Keys

Methods

rawKey :: Iso' k ByteString Source #

Instances

Instances details

RawKey Word64 Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods rawKey :: Iso' Word64 ByteString Source #
RawKey () Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods rawKey :: Iso' () ByteString Source #
RawKey Text Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods rawKey :: Iso' Text ByteString Source #
RawKey Address Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods rawKey :: Iso' Address ByteString Source #
RawKey PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods rawKey :: Iso' PubKey_ ByteString Source #

data StoreKey Source #

Constructors

StoreKey
Fields skPathFromRoot :: [ByteString] skKey :: ByteString

Instances

Instances details

Eq StoreKey Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods (==) :: StoreKey -> StoreKey -> Bool # (/=) :: StoreKey -> StoreKey -> Bool #
Ord StoreKey Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods compare :: StoreKey -> StoreKey -> Ordering # (<) :: StoreKey -> StoreKey -> Bool # (<=) :: StoreKey -> StoreKey -> Bool # (>) :: StoreKey -> StoreKey -> Bool # (>=) :: StoreKey -> StoreKey -> Bool # max :: StoreKey -> StoreKey -> StoreKey # min :: StoreKey -> StoreKey -> StoreKey #
Show StoreKey Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods showsPrec :: Int -> StoreKey -> ShowS # show :: StoreKey -> String # showList :: [StoreKey] -> ShowS #

class RawKey k => IsKey k ns where Source #

Minimal complete definition

Nothing

Associated Types

type Value k ns :: Type Source #

Methods

prefix :: Proxy k -> Proxy ns -> ByteString Source #

default prefix :: Proxy k -> Proxy ns -> ByteString Source #

Instances

Instances details

IsKey () (Var a :: Type) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.Var Associated Types type Value () (Var a) Source # Methods prefix :: Proxy () -> Proxy (Var a) -> ByteString Source #
RawKey k => IsKey k (Map k v :: Type) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.Map Associated Types type Value k (Map k v) Source # Methods prefix :: Proxy k -> Proxy (Map k v) -> ByteString Source #

data Store ns Source #

newtype KeyRoot ns Source #

Store

Constructors

KeyRoot ByteString

Instances

Instances details

Eq (KeyRoot ns) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods (==) :: KeyRoot ns -> KeyRoot ns -> Bool # (/=) :: KeyRoot ns -> KeyRoot ns -> Bool #
Show (KeyRoot ns) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods showsPrec :: Int -> KeyRoot ns -> ShowS # show :: KeyRoot ns -> String # showList :: [KeyRoot ns] -> ShowS #

makeStore :: KeyRoot ns -> Store ns Source #

put :: forall k r ns. IsKey k ns => HasCodec (Value k ns) => Member WriteStore r => Store ns -> k -> Value k ns -> Sem r () Source #

get :: forall k r ns. IsKey k ns => HasCodec (Value k ns) => Members [ReadStore, Error AppError] r => Store ns -> k -> Sem r (Maybe (Value k ns)) Source #

delete :: forall k ns r. IsKey k ns => Member WriteStore r => Store ns -> k -> Sem r () Source #

Query Routes

data Leaf (a :: Type) Source #

Instances

Instances details

(Member (Tagged 'QueryAndMempool (ReadStore :: (Type -> Type) -> Type -> Type)) r, HasCodec a) => HasQueryRouter (Leaf a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (Leaf a) r Source # Methods routeQ :: Proxy (Leaf a) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (Leaf a) (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (Leaf a) -> Proxy r -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteQ (Leaf a) s -> RouteQ (Leaf a) s' Source #
type RouteQ (Leaf a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (Leaf a :: Type) r = Sem r (QueryResult a)

data QA (a :: Type) Source #

Instances

Instances details

(QueryData a, HasQueryRouter sublayout r) => HasQueryRouter (QA a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (QA a :> sublayout) r Source # Methods routeQ :: Proxy (QA a :> sublayout) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (QA a :> sublayout) (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (QA a :> sublayout) -> Proxy r -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteQ (QA a :> sublayout) s -> RouteQ (QA a :> sublayout) s' Source #
type RouteQ (QA a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (QA a :> sublayout :: Type) r = QueryArgs a -> RouteQ sublayout r

data StoreLeaf a Source #

Instances

Instances details

(HasCodec a, Member (Tagged 'QueryAndMempool (ReadStore :: (Type -> Type) -> Type -> Type)) r) => HasQueryRouter (StoreLeaf (Var a) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Associated Types type RouteQ (StoreLeaf (Var a)) r Source # Methods routeQ :: Proxy (StoreLeaf (Var a)) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (StoreLeaf (Var a)) (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (StoreLeaf (Var a)) -> Proxy r -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteQ (StoreLeaf (Var a)) s -> RouteQ (StoreLeaf (Var a)) s' Source #
(QueryData k, HasCodec v, Member (Tagged 'QueryAndMempool (ReadStore :: (Type -> Type) -> Type -> Type)) r) => HasQueryRouter (StoreLeaf (Map k v) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Associated Types type RouteQ (StoreLeaf (Map k v)) r Source # Methods routeQ :: Proxy (StoreLeaf (Map k v)) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (StoreLeaf (Map k v)) (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (StoreLeaf (Map k v)) -> Proxy r -> (forall a. Sem s a -> Sem s' a) -> RouteQ (StoreLeaf (Map k v)) s -> RouteQ (StoreLeaf (Map k v)) s' Source #
(HasCodec a, Member (Tagged 'QueryAndMempool (ReadStore :: (Type -> Type) -> Type -> Type)) r) => HasQueryRouter (StoreLeaf (Array a) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Associated Types type RouteQ (StoreLeaf (Array a)) r Source # Methods routeQ :: Proxy (StoreLeaf (Array a)) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (StoreLeaf (Array a)) (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (StoreLeaf (Array a)) -> Proxy r -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteQ (StoreLeaf (Array a)) s -> RouteQ (StoreLeaf (Array a)) s' Source #
type RouteQ (StoreLeaf (Var a) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store type RouteQ (StoreLeaf (Var a) :: Type) r = RouteQ (QA () :> Leaf a) r
type RouteQ (StoreLeaf (Map k v) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store type RouteQ (StoreLeaf (Map k v) :: Type) r = RouteQ (QA k :> Leaf v) r
type RouteQ (StoreLeaf (Array a) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store type RouteQ (StoreLeaf (Array a) :: Type) r = RouteQ (QA Word64 :> Leaf a) r

Errors

data AppError Source #

This type represents a common error response for the query, checkTx, | and deliver tx abci-messages.

Constructors

AppError
Fields appErrorCode :: Word32 appErrorCodespace :: Text appErrorMessage :: Text

Instances

Instances details

Eq AppError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors Methods (==) :: AppError -> AppError -> Bool # (/=) :: AppError -> AppError -> Bool #
Show AppError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors Methods showsPrec :: Int -> AppError -> ShowS # show :: AppError -> String # showList :: [AppError] -> ShowS #
Generic AppError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors Associated Types type Rep AppError :: Type -> Type # Methods from :: AppError -> Rep AppError x # to :: Rep AppError x -> AppError #
Exception AppError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors Methods toException :: AppError -> SomeException # fromException :: SomeException -> Maybe AppError # displayException :: AppError -> String #
FromJSON AppError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors Methods parseJSON :: Value -> Parser AppError parseJSONList :: Value -> Parser [AppError]
ToJSON AppError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors Methods toJSON :: AppError -> Value toEncoding :: AppError -> Encoding toJSONList :: [AppError] -> Value toEncodingList :: [AppError] -> Encoding
type Rep AppError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors type Rep AppError = D1 ('MetaData "AppError" "Tendermint.SDK.BaseApp.Errors" "hs-abci-sdk-0.1.0.0-6BthCXrKFfHAhK2oYxZQI4" 'False) (C1 ('MetaCons "AppError" 'PrefixI 'True) (S1 ('MetaSel ('Just "appErrorCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :: (S1 ('MetaSel ('Just "appErrorCodespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "appErrorMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

class IsAppError e where Source #

Allows for custom application error types to be coerced into the standard error resposne.

Methods

makeAppError :: e -> AppError Source #

Instances

Instances details

IsAppError SDKError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Errors Methods makeAppError :: SDKError -> AppError Source #
IsAppError RouterError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Router.Types Methods makeAppError :: RouterError -> AppError Source #
IsAppError AuthError Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods makeAppError :: AuthError -> AppError Source #
IsAppError BankError Source #
Instance details Defined in Tendermint.SDK.Modules.Bank.Types Methods makeAppError :: BankError -> AppError Source #

Events

data Event #

Constructors

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

Instances

Instances details

Eq Event
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods (==) :: Event -> Event -> Bool # (/=) :: Event -> Event -> Bool #
Show Event
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods showsPrec :: Int -> Event -> ShowS # show :: Event -> String # showList :: [Event] -> ShowS #
Generic Event
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
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods parseJSON :: Value -> Parser Event parseJSONList :: Value -> Parser [Event]
ToJSON Event
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Methods toJSON :: Event -> Value toEncoding :: Event -> Encoding toJSONList :: [Event] -> Value toEncodingList :: [Event] -> Encoding
Wrapped Event
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes Associated Types type Unwrapped Event Methods _Wrapped' :: Iso' Event (Unwrapped Event)
type Rep Event
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
Instance details Defined in Network.ABCI.Types.Messages.FieldTypes type Unwrapped Event = Event

class ToEvent e where Source #

A class representing a type that can be emitted as an event in the | event logs for the deliverTx response.

Minimal complete definition

Nothing

Methods

toEvent :: e -> Event Source #

default toEvent :: (Generic e, GToEvent (Rep e)) => e -> Event Source #

Instances

Instances details

ToEvent TransferEvent Source #
Instance details Defined in Tendermint.SDK.Modules.Bank.Types Methods toEvent :: TransferEvent -> Event Source #

newtype ContextEvent t Source #

Special event wrapper to add contextual event_type info

Constructors

ContextEvent t

Instances

Instances details

(ToJSON a, ToEvent a) => ToJSON (ContextEvent a) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Events Methods toJSON :: ContextEvent a -> Value toEncoding :: ContextEvent a -> Encoding toJSONList :: [ContextEvent a] -> Value toEncodingList :: [ContextEvent a] -> Encoding
Select a => Select (ContextEvent a) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Events Methods select :: Verbosity -> ContextEvent a -> LogSelect Source #

emit :: ToEvent e => Member (Output Event) r => e -> Sem r () Source #

logEvent :: forall e r. (ToJSON e, ToEvent e, Select e) => Member Logger r => e -> Sem r () Source #

Gas

data GasMeter m a Source #

Instances

Instances details

type DefiningModule (GasMeter :: (k -> Type) -> k -> Type) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Gas type DefiningModule (GasMeter :: (k -> Type) -> k -> Type) = "Tendermint.SDK.BaseApp.Gas"

withGas :: forall r a. MemberWithError GasMeter r => GasAmount -> Sem r a -> Sem r a Source #

Logger

data Logger m a Source #

Effect allowing for console logging.

Instances

Instances details

type DefiningModule Logger Source #
Instance details Defined in Tendermint.SDK.BaseApp.Logger type DefiningModule Logger = "Tendermint.SDK.BaseApp.Logger"

log :: forall r. MemberWithError Logger r => Severity -> Text -> Sem r () Source #

data LogSelect Source #

Constructors

All
Some [Text]

addContext :: forall r x a. (MemberWithError Logger r, Select x, ToJSON x) => x -> Sem r a -> Sem r a Source #

data Severity Source #

Constructors

Debug
Info
Warning
Error
Exception

Instances

Instances details

Eq Severity Source #
Instance details Defined in Tendermint.SDK.BaseApp.Logger Methods (==) :: Severity -> Severity -> Bool # (/=) :: Severity -> Severity -> Bool #
Ord Severity Source #
Instance details Defined in Tendermint.SDK.BaseApp.Logger Methods compare :: Severity -> Severity -> Ordering # (<) :: Severity -> Severity -> Bool # (<=) :: Severity -> Severity -> Bool # (>) :: Severity -> Severity -> Bool # (>=) :: Severity -> Severity -> Bool # max :: Severity -> Severity -> Severity # min :: Severity -> Severity -> Severity #

class Select a where Source #

Class for selecting object keys for contextual logging

Minimal complete definition

Nothing

Methods

select :: Verbosity -> a -> LogSelect Source #

default select :: Verbosity -> a -> LogSelect Source #

Instances

Instances details

Select TransferEvent Source #
Instance details Defined in Tendermint.SDK.Modules.Bank.Types Methods select :: Verbosity -> TransferEvent -> LogSelect Source #
Select a => Select (ContextEvent a) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Events Methods select :: Verbosity -> ContextEvent a -> LogSelect Source #

data Verbosity Source #

Constructors

V0
V1
V2
V3

Metrics

data Metrics m a Source #

Instances

Instances details

type DefiningModule Metrics Source #
Instance details Defined in Tendermint.SDK.BaseApp.Metrics type DefiningModule Metrics = "Tendermint.SDK.BaseApp.Metrics"

incCount :: forall r. MemberWithError Metrics r => CountName -> Sem r () Source #

withTimer :: forall r a. MemberWithError Metrics r => HistogramName -> Sem r a -> Sem r a Source #

data CountName Source #

Constructors

CountName
Fields countName :: Text countLabels :: [(Text, Text)]

Instances

Instances details

Eq CountName Source #
Instance details Defined in Tendermint.SDK.BaseApp.Metrics Methods (==) :: CountName -> CountName -> Bool # (/=) :: CountName -> CountName -> Bool #
Ord CountName Source #
Instance details Defined in Tendermint.SDK.BaseApp.Metrics Methods compare :: CountName -> CountName -> Ordering # (<) :: CountName -> CountName -> Bool # (<=) :: CountName -> CountName -> Bool # (>) :: CountName -> CountName -> Bool # (>=) :: CountName -> CountName -> Bool # max :: CountName -> CountName -> CountName # min :: CountName -> CountName -> CountName #
IsString CountName Source #
Instance details Defined in Tendermint.SDK.BaseApp.Metrics Methods fromString :: String -> CountName #

data HistogramName Source #

Constructors

HistogramName
Fields histogramName :: Text histogramLabels :: [(Text, Text)] histogramBuckets :: [Double]

Instances

Instances details

Eq HistogramName Source #
Instance details Defined in Tendermint.SDK.BaseApp.Metrics Methods (==) :: HistogramName -> HistogramName -> Bool # (/=) :: HistogramName -> HistogramName -> Bool #
Ord HistogramName Source #
Instance details Defined in Tendermint.SDK.BaseApp.Metrics Methods compare :: HistogramName -> HistogramName -> Ordering # (<) :: HistogramName -> HistogramName -> Bool # (<=) :: HistogramName -> HistogramName -> Bool # (>) :: HistogramName -> HistogramName -> Bool # (>=) :: HistogramName -> HistogramName -> Bool # max :: HistogramName -> HistogramName -> HistogramName # min :: HistogramName -> HistogramName -> HistogramName #
IsString HistogramName Source #
Instance details Defined in Tendermint.SDK.BaseApp.Metrics Methods fromString :: String -> HistogramName #

Transaction

type AnteHandler r = forall msg a. Endo (RoutingTx msg -> Sem r a) Source #

data RoutingTx msg where Source #

Constructors

RoutingTx :: Tx alg msg -> RoutingTx msg

Instances

Instances details

Functor RoutingTx Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods fmap :: (a -> b) -> RoutingTx a -> RoutingTx b # (<$) :: a -> RoutingTx b -> RoutingTx a #
HasPath (RoutingTx msg) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods path :: Lens' (RoutingTx msg) Text Source #

type family RouteTx layout (s :: EffectRow) :: Type Source #

Instances

Instances details

type RouteTx EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx EmptyTxServer r = EmptyTxServer
type RouteTx (a :<\|> b :: Type) s Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (a :<\|> b :: Type) s = RouteTx a s :<\|> RouteTx b s
type RouteTx (path :> sublayout :: Type) s Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (path :> sublayout :: Type) s = RouteTx sublayout s
type RouteTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r a

data RouteContext Source #

Constructors

CheckTx
DeliverTx

Instances

Instances details

Eq RouteContext Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods (==) :: RouteContext -> RouteContext -> Bool # (/=) :: RouteContext -> RouteContext -> Bool #
Show RouteContext Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods showsPrec :: Int -> RouteContext -> ShowS # show :: RouteContext -> String # showList :: [RouteContext] -> ShowS #

data Return a Source #

Instances

Instances details

(Member (Error AppError :: (Type -> Type) -> Type -> Type) r, ValidateMessage msg) => DefaultCheckTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT (TypedMessage msg :~> Return a) r Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #
(HasMessageType msg, HasCodec msg, Members '[Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type), Embed IO] r, HasCodec a) => HasTxRouter (TypedMessage msg :~> Return a :: Type) r scope Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx (TypedMessage msg :~> Return a) s Source # Methods routeTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (TypedMessage msg :~> Return a) (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source # applyAnteHandler :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx (TypedMessage msg :~> Return a) r -> RouteTx (TypedMessage msg :~> Return a) r Source # hoistTxRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteTx (TypedMessage msg :~> Return a) s -> RouteTx (TypedMessage msg :~> Return a) s' Source #
type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r ()
type RouteTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r a

data msg :~> a Source #

Instances

Instances details

(Member (Error AppError :: (Type -> Type) -> Type -> Type) r, ValidateMessage msg) => DefaultCheckTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT (TypedMessage msg :~> Return a) r Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #
(HasMessageType msg, HasCodec msg, Members '[Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type), Embed IO] r, HasCodec a) => HasTxRouter (TypedMessage msg :~> Return a :: Type) r scope Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx (TypedMessage msg :~> Return a) s Source # Methods routeTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (TypedMessage msg :~> Return a) (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source # applyAnteHandler :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx (TypedMessage msg :~> Return a) r -> RouteTx (TypedMessage msg :~> Return a) r Source # hoistTxRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteTx (TypedMessage msg :~> Return a) s -> RouteTx (TypedMessage msg :~> Return a) s' Source #
type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r ()
type RouteTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r a

data TypedMessage msg Source #

Instances

Instances details

(Member (Error AppError :: (Type -> Type) -> Type -> Type) r, ValidateMessage msg) => DefaultCheckTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT (TypedMessage msg :~> Return a) r Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #
(HasMessageType msg, HasCodec msg, Members '[Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type), Embed IO] r, HasCodec a) => HasTxRouter (TypedMessage msg :~> Return a :: Type) r scope Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx (TypedMessage msg :~> Return a) s Source # Methods routeTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (TypedMessage msg :~> Return a) (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source # applyAnteHandler :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx (TypedMessage msg :~> Return a) r -> RouteTx (TypedMessage msg :~> Return a) r Source # hoistTxRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteTx (TypedMessage msg :~> Return a) s -> RouteTx (TypedMessage msg :~> Return a) s' Source #
type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r ()
type RouteTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r a

type TxEffs = [Output Event, GasMeter, WriteStore, ReadStore, Error AppError] Source #

data EmptyTxServer Source #

Constructors

EmptyTxServer

Instances

Instances details

DefaultCheckTx EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT EmptyTxServer r Source # Methods defaultCheckTx :: Proxy EmptyTxServer -> Proxy r -> DefaultCheckTxT EmptyTxServer r Source #
HasTxRouter EmptyTxServer r scope Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx EmptyTxServer s Source # Methods routeTx :: Proxy EmptyTxServer -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx EmptyTxServer (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source # applyAnteHandler :: Proxy EmptyTxServer -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx EmptyTxServer r -> RouteTx EmptyTxServer r Source # hoistTxRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy EmptyTxServer -> Proxy r -> Proxy scope -> (forall a. Sem s a -> Sem s' a) -> RouteTx EmptyTxServer s -> RouteTx EmptyTxServer s' Source #
type DefaultCheckTxT EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT EmptyTxServer r = EmptyTxServer
type RouteTx EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx EmptyTxServer r = EmptyTxServer

class DefaultCheckTx api (r :: EffectRow) where Source #

Associated Types

type DefaultCheckTxT api r :: Type Source #

Methods

defaultCheckTx :: Proxy api -> Proxy r -> DefaultCheckTxT api r Source #

Instances

Instances details

DefaultCheckTx EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT EmptyTxServer r Source # Methods defaultCheckTx :: Proxy EmptyTxServer -> Proxy r -> DefaultCheckTxT EmptyTxServer r Source #
(DefaultCheckTx a r, DefaultCheckTx b r) => DefaultCheckTx (a :<\|> b :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT (a :<\|> b) r Source # Methods defaultCheckTx :: Proxy (a :<\|> b) -> Proxy r -> DefaultCheckTxT (a :<\|> b) r Source #
DefaultCheckTx rest r => DefaultCheckTx (path :> rest :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT (path :> rest) r Source # Methods defaultCheckTx :: Proxy (path :> rest) -> Proxy r -> DefaultCheckTxT (path :> rest) r Source #
(Member (Error AppError :: (Type -> Type) -> Type -> Type) r, ValidateMessage msg) => DefaultCheckTx (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT (TypedMessage msg :~> Return a) r Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #

type family VoidReturn (api :: Type) :: Type where ... Source #

Equations

VoidReturn (a :<\|> b) = VoidReturn a :<\|> VoidReturn b
VoidReturn (path :> a) = path :> VoidReturn a
VoidReturn (TypedMessage msg :~> Return a) = TypedMessage msg :~> Return ()

Query

type QueryEffs = '[ReadStore, Error AppError] Source #

class QueryData a where Source #

This class is used to parse the 'data' field of the query request message. | The default method assumes that the 'data' is simply the key for the | value being queried.

Minimal complete definition

Nothing

Methods

fromQueryData :: Base64String -> Either String a Source #

default fromQueryData :: RawKey a => Base64String -> Either String a Source #

toQueryData :: a -> Base64String Source #

default toQueryData :: RawKey a => a -> Base64String Source #

Instances

Instances details

QueryData Word64 Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Word64 Source # toQueryData :: Word64 -> Base64String Source #
QueryData () Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String () Source # toQueryData :: () -> Base64String Source #
QueryData Text Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Text Source # toQueryData :: Text -> Base64String Source #
QueryData Address Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Address Source # toQueryData :: Address -> Base64String Source #
QueryData PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods fromQueryData :: Base64String -> Either String PubKey_ Source # toQueryData :: PubKey_ -> Base64String Source #

type family RouteQ layout r :: Type Source #

A routeQ handler.

Instances

Instances details

type RouteQ EmptyQueryServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ EmptyQueryServer r = EmptyQueryServer
type RouteQ (Leaf a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (Leaf a :: Type) r = Sem r (QueryResult a)
type RouteQ (a :<\|> b :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (a :<\|> b :: Type) r = RouteQ a r :<\|> RouteQ b r
type RouteQ (StoreLeaf (Var a) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store type RouteQ (StoreLeaf (Var a) :: Type) r = RouteQ (QA () :> Leaf a) r
type RouteQ (StoreLeaf (Map k v) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store type RouteQ (StoreLeaf (Map k v) :: Type) r = RouteQ (QA k :> Leaf v) r
type RouteQ (StoreLeaf (Array a) :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store type RouteQ (StoreLeaf (Array a) :: Type) r = RouteQ (QA Word64 :> Leaf a) r
type RouteQ (QA a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (QA a :> sublayout :: Type) r = QueryArgs a -> RouteQ sublayout r
type RouteQ (Capture' mods capture a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (Capture' mods capture a :> sublayout :: Type) r = a -> RouteQ sublayout r
type RouteQ (QueryParam' mods sym a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (QueryParam' mods sym a :> sublayout :: Type) r = RequestArgument mods a -> RouteQ sublayout r
type RouteQ (path :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ (path :> sublayout :: Type) r = RouteQ sublayout r

data QueryResult a Source #

Constructors

QueryResult
Fields queryResultData :: a queryResultIndex :: Int64 queryResultKey :: Base64String queryResultProof :: Maybe Proof queryResultHeight :: Int64

Instances

Instances details

Functor QueryResult Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fmap :: (a -> b) -> QueryResult a -> QueryResult b # (<$) :: a -> QueryResult b -> QueryResult a #
Eq a => Eq (QueryResult a) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods (==) :: QueryResult a -> QueryResult a -> Bool # (/=) :: QueryResult a -> QueryResult a -> Bool #
Show a => Show (QueryResult a) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods showsPrec :: Int -> QueryResult a -> ShowS # show :: QueryResult a -> String # showList :: [QueryResult a] -> ShowS #

storeQueryHandler :: StoreQueryHandler ns h => ns -> h Source #

data EmptyQueryServer Source #

Constructors

EmptyQueryServer

Instances

Instances details

HasQueryRouter EmptyQueryServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ EmptyQueryServer r Source # Methods routeQ :: Proxy EmptyQueryServer -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ EmptyQueryServer (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy EmptyQueryServer -> Proxy r -> (forall a. Sem s a -> Sem s' a) -> RouteQ EmptyQueryServer s -> RouteQ EmptyQueryServer s' Source #
type RouteQ EmptyQueryServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ EmptyQueryServer r = EmptyQueryServer

data RouterError Source #

Constructors

ResourceNotFound

Instances

Instances details

Show RouterError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Router.Types Methods showsPrec :: Int -> RouterError -> ShowS # show :: RouterError -> String # showList :: [RouterError] -> ShowS #
IsAppError RouterError Source #
Instance details Defined in Tendermint.SDK.BaseApp.Router.Types Methods makeAppError :: RouterError -> AppError Source #

Block

type BlockEffs = TxEffs Source #

data EndBlockResult Source #

Constructors

EndBlockResult [ValidatorUpdate] (Maybe ConsensusParams)

Instances

Instances details

HasCodec EndBlockResult Source #
Instance details Defined in Tendermint.SDK.BaseApp.Block Methods encode :: EndBlockResult -> ByteString Source # decode :: ByteString -> Either Text EndBlockResult Source #

defaultBeginBlocker :: BeginBlock -> Sem r () Source #

defaultEndBlocker :: EndBlock -> Sem r EndBlockResult Source #