hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Store.Map

Documentation

data Map (k :: *) (v :: *) Source #

Instances
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) :: Type Source #

Methods

prefix :: Proxy k -> Proxy (Map k v) -> ByteString 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 :: Type 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 :: 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 #

type Value k (Map k v :: Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.Map

type Value k (Map k v :: Type) = v
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

makeMap :: IsKey key ns => Value key ns ~ Map k v => key -> Store ns -> Value key ns Source #

insert :: Member WriteStore r => RawKey k => HasCodec v => k -> v -> Map k v -> Sem r () Source #

lookup :: Members [Error AppError, ReadStore] r => RawKey k => HasCodec v => k -> Map k v -> Sem r (Maybe v) Source #

delete :: Member WriteStore r => RawKey k => k -> Map k v -> Sem r () Source #

update :: Members [Error AppError, ReadStore, WriteStore] r => RawKey k => HasCodec v => (v -> Maybe v) -> k -> Map k v -> Sem r () Source #