Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Store.RawStore

Contents

Effects
Types

Synopsis

type StoreEffs = [Tagged 'Consensus ReadStore, Tagged 'QueryAndMempool ReadStore, Tagged 'Consensus WriteStore, Transaction, CommitBlock]
data Scope
- = Consensus
- | QueryAndMempool
data ReadStore m a where
- StoreGet :: StoreKey -> ReadStore m (Maybe ByteString)
- StoreProve :: StoreKey -> ReadStore m (Maybe ByteString)
storeGet :: forall r. MemberWithError ReadStore r => StoreKey -> Sem r (Maybe ByteString)
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))
prove :: forall k ns r. IsKey k ns => Member ReadStore r => Store ns -> k -> Sem r (Maybe ByteString)
data WriteStore m a where
- StorePut :: StoreKey -> ByteString -> WriteStore m ()
- StoreDelete :: StoreKey -> WriteStore m ()
put :: forall k r ns. IsKey k ns => HasCodec (Value k ns) => Member WriteStore r => Store ns -> k -> Value k ns -> Sem r ()
storePut :: forall r. MemberWithError WriteStore r => StoreKey -> ByteString -> Sem r ()
delete :: forall k ns r. IsKey k ns => Member WriteStore r => Store ns -> k -> Sem r ()
storeDelete :: forall r. MemberWithError WriteStore r => StoreKey -> Sem r ()
data CommitBlock m a where
- CommitBlock :: CommitBlock m Base64String
commitBlock :: forall r. MemberWithError CommitBlock r => Sem r Base64String
data Transaction m a where
- BeginTransaction :: Transaction m ()
- Rollback :: Transaction m ()
- Commit :: Transaction m CommitResponse
beginTransaction :: forall r. MemberWithError Transaction r => Sem r ()
withSandbox :: forall r a. Members [Transaction, Resource, Error AppError] r => Sem r a -> Sem r a
withTransaction :: forall r a. Members [Transaction, Resource, Error AppError] r => Sem r a -> Sem r (a, CommitResponse)
commit :: forall r. MemberWithError Transaction r => Sem r CommitResponse
class RawKey k where
- rawKey :: Iso' k ByteString
class RawKey k => IsKey k ns where
- type Value k ns :: Type
- prefix :: Proxy k -> Proxy ns -> ByteString
data StoreKey = StoreKey {
- skPathFromRoot :: [ByteString]
- skKey :: ByteString
}
newtype KeyRoot ns = KeyRoot ByteString
makeKeyBytes :: StoreKey -> ByteString
data CommitResponse = CommitResponse {
- rootHash :: Base64String
- newVersion :: Natural
}
data Store ns
nestStore :: Store parentns -> Store childns -> Store childns
makeStore :: KeyRoot ns -> Store ns
makeStoreKey :: forall k ns. IsKey k ns => Store ns -> k -> StoreKey
data Version
- = Genesis
- | Version Natural
- | Latest

Effects

type StoreEffs = [Tagged 'Consensus ReadStore, Tagged 'QueryAndMempool ReadStore, Tagged 'Consensus WriteStore, Transaction, CommitBlock] Source #

data Scope Source #

Store Effects

Constructors

Consensus
QueryAndMempool

data ReadStore m a where Source #

Read and Write Effects

Constructors

StoreGet :: StoreKey -> ReadStore m (Maybe ByteString)
StoreProve :: StoreKey -> ReadStore m (Maybe ByteString)

Instances

Instances details

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

Instances details

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

Constructors

CommitBlock :: CommitBlock m Base64String

Instances

Instances details

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 #

Constructors

BeginTransaction :: Transaction m ()
Rollback :: Transaction m ()
Commit :: Transaction m CommitResponse

Instances

Instances details

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

Instances details

RawKey Word64 Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods rawKey :: Iso' Word64 ByteString Source #
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 Methods rawKey :: Iso' Address ByteString Source #
RawKey PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods rawKey :: Iso' PubKey_ ByteString Source #

class RawKey k => IsKey k ns where Source #

Minimal complete definition

Nothing

Associated Types

type Value k ns :: Type Source #

Methods

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

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

Instances

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

data StoreKey Source #

Constructors

StoreKey
Fields skPathFromRoot :: [ByteString] skKey :: ByteString

Instances

Instances details

Eq StoreKey Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods (==) :: StoreKey -> StoreKey -> Bool # (/=) :: StoreKey -> StoreKey -> Bool #
Ord StoreKey Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods compare :: StoreKey -> StoreKey -> Ordering # (<) :: StoreKey -> StoreKey -> Bool # (<=) :: StoreKey -> StoreKey -> Bool # (>) :: StoreKey -> StoreKey -> Bool # (>=) :: StoreKey -> StoreKey -> Bool # max :: StoreKey -> StoreKey -> StoreKey # min :: StoreKey -> StoreKey -> StoreKey #
Show StoreKey Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods showsPrec :: Int -> StoreKey -> ShowS # show :: StoreKey -> String # showList :: [StoreKey] -> ShowS #

newtype KeyRoot ns Source #

Store

Constructors

KeyRoot ByteString

Instances

Instances details

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 #

makeKeyBytes :: StoreKey -> ByteString Source #

data CommitResponse Source #

Constructors

CommitResponse
Fields rootHash :: Base64String newVersion :: Natural

Instances

Instances details

Eq CommitResponse Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods (==) :: CommitResponse -> CommitResponse -> Bool # (/=) :: CommitResponse -> CommitResponse -> Bool #
Show CommitResponse Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods showsPrec :: Int -> CommitResponse -> ShowS # show :: CommitResponse -> String # showList :: [CommitResponse] -> ShowS #

data Store ns Source #

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

makeStore :: KeyRoot ns -> Store ns Source #

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

data Version Source #

Constructors

Genesis
Version Natural
Latest

Instances

Instances details

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 Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #