Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.Modules.Auth

Synopsis

type Auth = Module AuthName EmptyTxServer EmptyTxServer Api AuthEffs '[]
authModule :: Members (ModuleEffs Auth) r => Auth r
data Accounts m a where
- CreateAccount :: Address -> Accounts m Account
- UpdateAccount :: Address -> (Account -> Account) -> Accounts m ()
- GetAccount :: Address -> Accounts m (Maybe Account)
type AuthEffs = '[Accounts, Error AuthError]
createAccount :: forall r. MemberWithError Accounts r => Address -> Sem r Account
updateAccount :: forall r. MemberWithError Accounts r => Address -> (Account -> Account) -> Sem r ()
getAccount :: forall r. MemberWithError Accounts r => Address -> Sem r (Maybe Account)
eval :: Members [ReadStore, WriteStore, Error AppError] r => Sem (Accounts ': (Error AuthError ': r)) a -> Sem r a
type Api = "accounts" :> StoreLeaf (Map Address Account)
querier :: Members QueryEffs r => RouteQ Api r
data Account = Account {
- accountCoins :: [Coin]
- accountNonce :: Word64
}
data Coin = Coin {
- coinId :: CoinId
- coinAmount :: Amount
}
newtype Amount = Amount {
- unAmount :: Word64
}
newtype CoinId = CoinId {
- unCoinId :: Text
}
data AuthError
- = AccountAlreadyExists Address
- | AccountNotFound Address
type AuthName = "auth"
coinAesonOptions :: Options
newtype Address = Address HexString

Documentation

type Auth = Module AuthName EmptyTxServer EmptyTxServer Api AuthEffs '[] Source #

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

data Accounts m a where Source #

Constructors

CreateAccount :: Address -> Accounts m Account
UpdateAccount :: Address -> (Account -> Account) -> Accounts m ()
GetAccount :: Address -> Accounts m (Maybe Account)

Instances

Instances details

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"

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

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
Fields accountCoins :: [Coin] accountNonce :: Word64

Instances

Instances details

Show Account Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods showsPrec :: Int -> Account -> ShowS # show :: Account -> String # showList :: [Account] -> ShowS #
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 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 #
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-6BthCXrKFfHAhK2oYxZQI4" '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
Fields coinId :: CoinId coinAmount :: Amount

Instances

Instances details

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 Methods _Wrapped' :: Iso' Coin (Unwrapped Coin)
HasCodec Coin Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods encode :: Coin -> ByteString Source # decode :: ByteString -> Either Text Coin Source #
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-6BthCXrKFfHAhK2oYxZQI4" '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 unAmount :: Word64

Instances

Instances details

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 Methods (+) :: Amount -> Amount -> Amount # (-) :: Amount -> Amount -> Amount # (*) :: Amount -> Amount -> Amount # negate :: Amount -> Amount # abs :: Amount -> Amount # signum :: Amount -> Amount # fromInteger :: Integer -> Amount #
Ord Amount Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods compare :: Amount -> Amount -> Ordering # (<) :: Amount -> Amount -> Bool # (<=) :: Amount -> Amount -> Bool # (>) :: Amount -> Amount -> Bool # (>=) :: Amount -> Amount -> Bool # max :: Amount -> Amount -> Amount # min :: Amount -> Amount -> Amount #
Show Amount Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods showsPrec :: Int -> Amount -> ShowS # show :: Amount -> String # showList :: [Amount] -> ShowS #
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 Methods _Wrapped' :: Iso' Amount (Unwrapped Amount)
HasCodec Amount Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods encode :: Amount -> ByteString Source # decode :: ByteString -> Either Text Amount Source #
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-6BthCXrKFfHAhK2oYxZQI4" '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 unCoinId :: Text

Instances

Instances details

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 Methods showsPrec :: Int -> CoinId -> ShowS # show :: CoinId -> String # showList :: [CoinId] -> ShowS #
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 Methods _Wrapped' :: Iso' CoinId (Unwrapped CoinId)
HasCodec CoinId Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods encode :: CoinId -> ByteString Source # decode :: ByteString -> Either Text CoinId Source #
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 Methods toUrlPiece :: CoinId -> Text toEncodedUrlPiece :: CoinId -> Builder toHeader :: CoinId -> ByteString toQueryParam :: CoinId -> Text
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-6BthCXrKFfHAhK2oYxZQI4" '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

data AuthError Source #

Constructors

AccountAlreadyExists Address
AccountNotFound Address

Instances

Instances details

IsAppError AuthError Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Methods makeAppError :: AuthError -> AppError Source #

type AuthName = "auth" Source #

coinAesonOptions :: Options Source #

newtype Address Source #

Used as a unique identifier for an account.

Constructors

Address HexString

Instances

Instances details

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 Methods compare :: Address -> Address -> Ordering # (<) :: Address -> Address -> Bool # (<=) :: Address -> Address -> Bool # (>) :: Address -> Address -> Bool # (>=) :: Address -> Address -> Bool # max :: Address -> Address -> Address # min :: Address -> Address -> Address #
Show Address Source #
Instance details Defined in Tendermint.SDK.Types.Address Methods showsPrec :: Int -> Address -> ShowS # show :: Address -> String # showList :: [Address] -> ShowS #
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 Methods encode :: Address -> ByteString Source # decode :: ByteString -> Either Text Address Source #
HasDefault Address Source #
Instance details Defined in Tendermint.SDK.Types.Address Methods def :: Address isDefault :: Address -> Bool
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 Methods parseUrlPiece :: Text -> Either Text Address parseHeader :: ByteString -> Either Text Address parseQueryParam :: Text -> Either Text Address
ToHttpApiData Address Source #
Instance details Defined in Tendermint.SDK.Types.Address Methods toUrlPiece :: Address -> Text toEncodedUrlPiece :: Address -> Builder toHeader :: Address -> ByteString toQueryParam :: Address -> Text
RawKey Address Source #
Instance details Defined in Tendermint.SDK.BaseApp.Store.RawStore Methods rawKey :: Iso' Address ByteString Source #
QueryData Address Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Address Source # toQueryData :: Address -> Base64String Source #
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-6BthCXrKFfHAhK2oYxZQI4" 'True) (C1 ('MetaCons "Address" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString)))