Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Account.Data.AuthedAccount

Description

Synopsis

data AuthedAccount i p = AuthedAccount {
- id :: i
- authId :: i
- name :: AccountName
- status :: AccountStatus
- privileges :: p
}
type AuthedAccountP i = AuthedAccount i [Privilege]

Documentation

data AuthedAccount i p Source #

An account an the ID of the password used to authenticate it.

Constructors

AuthedAccount
Fields id :: i authId :: i name :: AccountName status :: AccountStatus privileges :: p

Instances

Instances details

(FromJSON i, FromJSON p) => FromJSON (AuthedAccount i p) Source #
Instance details Defined in Polysemy.Account.Data.AuthedAccount Methods parseJSON :: Value -> Parser (AuthedAccount i p) # parseJSONList :: Value -> Parser [AuthedAccount i p] #
(ToJSON i, ToJSON p) => ToJSON (AuthedAccount i p) Source #
Instance details Defined in Polysemy.Account.Data.AuthedAccount Methods toJSON :: AuthedAccount i p -> Value # toEncoding :: AuthedAccount i p -> Encoding # toJSONList :: [AuthedAccount i p] -> Value # toEncodingList :: [AuthedAccount i p] -> Encoding #
Generic (AuthedAccount i p) Source #
Instance details Defined in Polysemy.Account.Data.AuthedAccount Associated Types type Rep (AuthedAccount i p) :: Type -> Type # Methods from :: AuthedAccount i p -> Rep (AuthedAccount i p) x # to :: Rep (AuthedAccount i p) x -> AuthedAccount i p #
(Show i, Show p) => Show (AuthedAccount i p) Source #
Instance details Defined in Polysemy.Account.Data.AuthedAccount Methods showsPrec :: Int -> AuthedAccount i p -> ShowS # show :: AuthedAccount i p -> String # showList :: [AuthedAccount i p] -> ShowS #
(Eq i, Eq p) => Eq (AuthedAccount i p) Source #
Instance details Defined in Polysemy.Account.Data.AuthedAccount Methods (==) :: AuthedAccount i p -> AuthedAccount i p -> Bool # (/=) :: AuthedAccount i p -> AuthedAccount i p -> Bool #
type Rep (AuthedAccount i p) Source #
Instance details Defined in Polysemy.Account.Data.AuthedAccount type Rep (AuthedAccount i p) = D1 ('MetaData "AuthedAccount" "Polysemy.Account.Data.AuthedAccount" "polysemy-account-0.2.0.0-JBrIF35CBfcBfeWmsi0YZS" 'False) (C1 ('MetaCons "AuthedAccount" 'PrefixI 'True) ((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 i) :: S1 ('MetaSel ('Just "authId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 i)) :: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountName) :: (S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountStatus) :: S1 ('MetaSel ('Just "privileges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p)))))

type AuthedAccountP i = AuthedAccount i [Privilege] Source #

Convenience alias for using the default privilege type with AuthedAccount.