hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.Modules.Auth

Synopsis

Documentation

authModule :: Members (ModuleEffs Auth) r => Auth r Source #

data Accounts m a where Source #

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"

createAccount :: forall r. MemberWithError Accounts r => Address -> Sem r Account Source #

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

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

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

type Api = "accounts" :> StoreLeaf (Map Address Account) Source #

Query API

querier :: Members QueryEffs r => RouteQ Api r Source #

data Account Source #

Constructors

Account 
Instances
Show Account Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

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

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-JNIgr3XvOPdDNDKoBXpy2h" 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

data Coin Source #

Constructors

Coin 
Instances
Eq Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

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

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

Show Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

showsPrec :: Int -> Coin -> ShowS #

show :: Coin -> String #

showList :: [Coin] -> ShowS #

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)

HasCodec Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

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-JNIgr3XvOPdDNDKoBXpy2h" False) (C1 (MetaCons "Coin" PrefixI True) (S1 (MetaSel (Just "coinId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CoinId) :*: S1 (MetaSel (Just "coinAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Amount)))
type Unwrapped Coin Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Unwrapped Coin = Coin

newtype Amount Source #

Constructors

Amount 

Fields

Instances
Eq Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

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

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

Num Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Ord Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Show Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Generic Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Rep Amount :: Type -> Type #

Methods

from :: Amount -> Rep Amount x #

to :: Rep Amount x -> Amount #

FromJSON Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

parseJSON :: Value -> Parser Amount

parseJSONList :: Value -> Parser [Amount]

ToJSON Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

toJSON :: Amount -> Value

toEncoding :: Amount -> Encoding

toJSONList :: [Amount] -> Value

toEncodingList :: [Amount] -> Encoding

Wrapped Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Unwrapped Amount :: Type

Methods

_Wrapped' :: Iso' Amount (Unwrapped Amount)

HasCodec Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Rep Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Rep Amount = D1 (MetaData "Amount" "Tendermint.SDK.Modules.Auth.Types" "hs-abci-sdk-0.1.0.0-JNIgr3XvOPdDNDKoBXpy2h" True) (C1 (MetaCons "Amount" PrefixI True) (S1 (MetaSel (Just "unAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))
type Unwrapped Amount Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Unwrapped Amount = Amount

newtype CoinId Source #

Constructors

CoinId 

Fields

Instances
Eq CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

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

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

Show CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

IsString CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

fromString :: String -> CoinId #

Generic CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Rep CoinId :: Type -> Type #

Methods

from :: CoinId -> Rep CoinId x #

to :: Rep CoinId x -> CoinId #

FromJSON CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

parseJSON :: Value -> Parser CoinId

parseJSONList :: Value -> Parser [CoinId]

ToJSON CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

toJSON :: CoinId -> Value

toEncoding :: CoinId -> Encoding

toJSONList :: [CoinId] -> Value

toEncodingList :: [CoinId] -> Encoding

Wrapped CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Associated Types

type Unwrapped CoinId :: Type

Methods

_Wrapped' :: Iso' CoinId (Unwrapped CoinId)

HasCodec CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

FromHttpApiData CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

Methods

parseUrlPiece :: Text -> Either Text CoinId

parseHeader :: ByteString -> Either Text CoinId

parseQueryParam :: Text -> Either Text CoinId

ToHttpApiData CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Rep CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Rep CoinId = D1 (MetaData "CoinId" "Tendermint.SDK.Modules.Auth.Types" "hs-abci-sdk-0.1.0.0-JNIgr3XvOPdDNDKoBXpy2h" True) (C1 (MetaCons "CoinId" PrefixI True) (S1 (MetaSel (Just "unCoinId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))
type Unwrapped CoinId Source # 
Instance details

Defined in Tendermint.SDK.Modules.Auth.Types

type Unwrapped CoinId = CoinId

type AuthName = "auth" Source #

newtype Address Source #

Used as a unique identifier for an account.

Constructors

Address HexString 
Instances
Eq Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Methods

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

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

Ord Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Show Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Generic Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Associated Types

type Rep Address :: Type -> Type #

Methods

from :: Address -> Rep Address x #

to :: Rep Address x -> Address #

FromJSON Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

ToJSON Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Methods

toJSON :: Address -> Value

toEncoding :: Address -> Encoding

toJSONList :: [Address] -> Value

toEncodingList :: [Address] -> Encoding

HasCodec Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

HasDefault Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

MessageField Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Methods

encodeMessageField :: FieldNumber -> Address -> MessageBuilder

decodeMessageField :: Parser RawField Address

protoType :: Proxy# Address -> DotProtoField

Primitive Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

Methods

encodePrimitive :: FieldNumber -> Address -> MessageBuilder

decodePrimitive :: Parser RawPrimitive Address

primType :: Proxy# Address -> DotProtoPrimType

FromHttpApiData Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

ToHttpApiData Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

RawKey Address Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Store.RawStore

QueryData Address Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Query.Types

type Rep Address Source # 
Instance details

Defined in Tendermint.SDK.Types.Address

type Rep Address = D1 (MetaData "Address" "Tendermint.SDK.Types.Address" "hs-abci-sdk-0.1.0.0-JNIgr3XvOPdDNDKoBXpy2h" True) (C1 (MetaCons "Address" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HexString)))