hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.Modules.Auth

Documentation

type AuthM r = Module AuthModule EmptyTxServer Api AuthEffs r Source #

authModule :: Members BaseAppEffs r => AuthM r Source #

type AuthEffs = '[Accounts, Error AuthError] Source #

data Account Source #

Constructors

Account 

Fields

Instances
Generic Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Rep Account :: Type -> Type #

Methods

from :: Account -> Rep Account x #

to :: Rep Account x -> Account #

Wrapped Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Unwrapped Account :: Type

Methods

_Wrapped' :: Iso' Account (Unwrapped Account)

HasCodec Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

encode :: Account -> ByteString Source #

decode :: ByteString -> Either Text Account Source #

Queryable Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Name Account :: Symbol Source #

type Rep Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Rep Account = D1 (MetaData "Account" "Tendermint.SDK.Modules.Auth.Types" "hs-abci-sdk-0.1.0.0-LnJwrJSuG58BXGpMSxwJYu" False) (C1 (MetaCons "Account" PrefixI True) (S1 (MetaSel (Just "accountCoins") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Coin]) :*: S1 (MetaSel (Just "accountNonce") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))
type Unwrapped Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Unwrapped Account = Account
type Name Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Name Account = "account"

data Accounts m a where Source #

Constructors

PutAccount :: Address -> Account -> Accounts m () 
GetAccount :: Address -> Accounts m (Maybe Account) 
Instances
type DefiningModule (Accounts :: k -> Type -> Type) Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Keeper

type DefiningModule (Accounts :: k -> Type -> Type) = "Tendermint.SDK.Modules.Auth.Keeper"

getAccount :: forall r. MemberWithError Accounts r => Address -> Sem r (Maybe Account) Source #

putAccount :: forall r. MemberWithError Accounts r => Address -> Account -> Sem r () Source #

createAccount :: Members [Accounts, Error AuthError] r => Address -> Sem r Account Source #

eval :: Members [RawStore, Error AppError] r => Sem (Accounts ': (Error AuthError ': r)) a -> Sem r a Source #

type Api = QueryApi AuthContents Source #

server :: Members [RawStore, Error AppError] r => RouteQ Api r Source #

type AuthModule = "auth" Source #

data Coin Source #

Constructors

Coin 

Fields

Instances
Generic Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Rep Coin :: Type -> Type #

Methods

from :: Coin -> Rep Coin x #

to :: Rep Coin x -> Coin #

Wrapped Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Unwrapped Coin :: Type

Methods

_Wrapped' :: Iso' Coin (Unwrapped Coin)

type Rep Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Rep Coin = D1 (MetaData "Coin" "Tendermint.SDK.Modules.Auth.Types" "hs-abci-sdk-0.1.0.0-LnJwrJSuG58BXGpMSxwJYu" False) (C1 (MetaCons "Coin" PrefixI True) (S1 (MetaSel (Just "coinDenomination") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "coinAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))
type Unwrapped Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Unwrapped Coin = Coin

data Account Source #

Constructors

Account 

Fields

Instances
Generic Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Rep Account :: Type -> Type #

Methods

from :: Account -> Rep Account x #

to :: Rep Account x -> Account #

Wrapped Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Unwrapped Account :: Type

Methods

_Wrapped' :: Iso' Account (Unwrapped Account)

HasCodec Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

encode :: Account -> ByteString Source #

decode :: ByteString -> Either Text Account Source #

Queryable Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Name Account :: Symbol Source #

type Rep Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Rep Account = D1 (MetaData "Account" "Tendermint.SDK.Modules.Auth.Types" "hs-abci-sdk-0.1.0.0-LnJwrJSuG58BXGpMSxwJYu" False) (C1 (MetaCons "Account" PrefixI True) (S1 (MetaSel (Just "accountCoins") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Coin]) :*: S1 (MetaSel (Just "accountNonce") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))
type Unwrapped Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Unwrapped Account = Account
type Name Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Name Account = "account"

data AuthError Source #

Constructors

AccountAlreadExists Address 
Instances
IsAppError AuthError Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

makeAppError :: AuthError -> AppError Source #