hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Store.RawStore

Contents

Synopsis

Effects

data Scope Source #

Store Effects

Constructors

Consensus 
QueryAndMempool 

data ReadStore m a where Source #

Read and Write Effects

Instances
type DefiningModule (ReadStore :: k -> Type -> Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

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

storeGet :: forall r. MemberWithError ReadStore r => StoreKey -> Sem r (Maybe ByteString) Source #

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

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

data WriteStore m a where Source #

Constructors

StorePut :: StoreKey -> ByteString -> WriteStore m () 
StoreDelete :: StoreKey -> WriteStore m () 
Instances
type DefiningModule (WriteStore :: k -> Type -> Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

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

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

storePut :: forall r. MemberWithError WriteStore r => StoreKey -> ByteString -> Sem r () Source #

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

storeDelete :: forall r. MemberWithError WriteStore r => StoreKey -> Sem r () Source #

data CommitBlock m a where Source #

Consensus Effects

Instances
type DefiningModule (CommitBlock :: k -> Type -> Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

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

commitBlock :: forall r. MemberWithError CommitBlock r => Sem r Base64String Source #

data Transaction m a where Source #

Instances
type DefiningModule (Transaction :: k -> Type -> Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

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

beginTransaction :: forall r. MemberWithError Transaction r => Sem r () Source #

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

withTransaction :: forall r a. Members [Transaction, Resource, Error AppError] r => Sem r a -> Sem r (a, CommitResponse) Source #

commit :: forall r. MemberWithError Transaction r => Sem r CommitResponse Source #

Types

class RawKey k where Source #

Keys

Methods

rawKey :: Iso' k ByteString Source #

Instances
RawKey Word64 Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

RawKey () Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

Methods

rawKey :: Iso' () ByteString Source #

RawKey Text Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

Methods

rawKey :: Iso' Text ByteString Source #

RawKey Address Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

class RawKey k => IsKey k ns where Source #

Minimal complete definition

Nothing

Associated Types

type Value k ns :: * Source #

Methods

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

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

Instances
IsKey () (Var a :: Type) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.Var

Associated Types

type Value () (Var a) :: Type Source #

Methods

prefix :: Proxy () -> Proxy (Var a) -> ByteString Source #

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 #

newtype KeyRoot ns Source #

Store

Constructors

KeyRoot ByteString 
Instances
Eq (KeyRoot ns) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

Methods

(==) :: KeyRoot ns -> KeyRoot ns -> Bool #

(/=) :: KeyRoot ns -> KeyRoot ns -> Bool #

Show (KeyRoot ns) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

Methods

showsPrec :: Int -> KeyRoot ns -> ShowS #

show :: KeyRoot ns -> String #

showList :: [KeyRoot ns] -> ShowS #

data Store ns Source #

nestStore :: Store parentns -> Store childns -> Store childns Source #

makeStoreKey :: forall k ns. IsKey k ns => Store ns -> k -> StoreKey Source #

data Version Source #

Constructors

Genesis 
Version Natural 
Latest 
Instances
Eq Version Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

Methods

(==) :: Version -> Version -> Bool #

(/=) :: Version -> Version -> Bool #

Show Version Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore