Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Query.Store

Documentation

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

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