Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Store.Var

Documentation

data Var (a :: Type) Source #

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 #
(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 #
type Value () (Var a :: Type) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.Var type Value () (Var a :: Type) = a
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

makeVar :: IsKey k ns => Value k ns ~ Var a => k -> Store ns -> Value k ns Source #

takeVar :: Members [ReadStore, Error AppError] r => HasCodec a => Var a -> Sem r (Maybe a) Source #

unsafeTakeVar :: Members [ReadStore, Error AppError] r => HasCodec a => Var a -> Sem r a Source #

putVar :: Member WriteStore r => HasCodec a => a -> Var a -> Sem r () Source #

deleteVar :: Member WriteStore r => Var a -> Sem r () Source #