| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tendermint.SDK.BaseApp.Query.Store
Documentation
Instances
| (Queryable a, KnownSymbol (Name a)) => HasQueryRouter (StoreLeaf a :: Type) r Source # | |
| type RouteQ (StoreLeaf a :: Type) r Source # | |
Defined in Tendermint.SDK.BaseApp.Query.Store | |
class StoreQueryHandler a (ns :: Symbol) h where Source #
Methods
storeQueryHandler :: Proxy a -> StoreKey ns -> h Source #
Instances
| (IsKey k ns, a ~ Value k ns, HasCodec a, Members ((RawStore :: (Type -> Type) -> Type -> Type) ': ((Error AppError :: (Type -> Type) -> Type -> Type) ': ([] :: [(Type -> Type) -> Type -> Type]))) r) => StoreQueryHandler (a :: Type) ns (QueryArgs k -> Sem r (QueryResult a)) Source # | |
Defined in Tendermint.SDK.BaseApp.Query.Store Methods storeQueryHandler :: Proxy a -> StoreKey ns -> QueryArgs k -> Sem r (QueryResult a) Source # | |
class StoreQueryHandlers (kvs :: [*]) (ns :: Symbol) r where Source #
Methods
storeQueryHandlers :: Proxy kvs -> StoreKey ns -> Proxy r -> RouteQ (QueryApi kvs) r Source #
Instances
| (IsKey k ns, a ~ Value k ns, HasCodec a, StoreQueryHandlers ((k', a') ': as) ns r, Members ((RawStore :: (Type -> Type) -> Type -> Type) ': ((Error AppError :: (Type -> Type) -> Type -> Type) ': ([] :: [(Type -> Type) -> Type -> Type]))) r) => StoreQueryHandlers ((k, a) ': ((k', a') ': as)) ns r Source # | |
| (IsKey k ns, a ~ Value k ns, HasCodec a, Members ((RawStore :: (Type -> Type) -> Type -> Type) ': ((Error AppError :: (Type -> Type) -> Type -> Type) ': ([] :: [(Type -> Type) -> Type -> Type]))) r) => StoreQueryHandlers ((k, a) ': ([] :: [Type])) ns r Source # | |