hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Store.RawStore

Documentation

data RawStore m a where Source #

Constructors

RawStorePut :: StoreKey ns -> ByteString -> ByteString -> RawStore m () 
RawStoreGet :: StoreKey ns -> ByteString -> RawStore m (Maybe ByteString) 
RawStoreDelete :: StoreKey ns -> ByteString -> RawStore m () 
RawStoreProve :: StoreKey ns -> ByteString -> RawStore m (Maybe ByteString) 
RawStoreRoot :: RawStore m ByteString 
RawStoreBeginTransaction :: RawStore m () 
RawStoreRollback :: RawStore m () 
RawStoreCommit :: RawStore m () 
Instances
type DefiningModule (RawStore :: k -> Type -> Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

type DefiningModule (RawStore :: k -> Type -> Type) = "Tendermint.SDK.BaseApp.Store.RawStore"

class RawKey k where Source #

Methods

rawKey :: Iso' k ByteString Source #

Instances
RawKey Address Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

Methods

rawKey :: Iso' Address ByteString Source #

class RawKey k => IsKey k ns where Source #

Minimal complete definition

Nothing

Associated Types

type Value k ns = a | a -> ns k Source #

Methods

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

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

Instances
IsKey Address AuthModule Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Value Address AuthModule = (a :: Type) Source #

Methods

prefixWith :: Proxy Address -> Proxy AuthModule -> ByteString Source #

newtype StoreKey n Source #

Constructors

StoreKey ByteString 

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

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

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

prove :: forall k ns r. IsKey k ns => Member RawStore r => StoreKey ns -> k -> Sem r (Maybe ByteString) Source #

storeRoot :: Member RawStore r => Sem r ByteString Source #

withTransaction :: forall r a. Members [RawStore, Resource, Error AppError] r => Sem r a -> Sem r a Source #

withSandbox :: forall r a. Members [RawStore, Resource, Error AppError] r => Sem r a -> Sem r a Source #

beginBlock :: Member RawStore r => Sem r () Source #

commitBlock :: Member RawStore r => Sem r () Source #