Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Account.Data.Account

Description

Synopsis

data Account p = Account {
- name :: AccountName
- status :: AccountStatus
- privileges :: p
}
type AccountP = Account [Privilege]

Documentation

data Account p Source #

A basic user account, consisting of a name, activation status, and an arbitrary privilege type.

Constructors

Account
Fields name :: AccountName status :: AccountStatus privileges :: p

Instances

Instances details

FromJSON p => FromJSON (Account p) Source #
Instance details Defined in Polysemy.Account.Data.Account Methods parseJSON :: Value -> Parser (Account p) # parseJSONList :: Value -> Parser [Account p] #
ToJSON p => ToJSON (Account p) Source #
Instance details Defined in Polysemy.Account.Data.Account Methods toJSON :: Account p -> Value # toEncoding :: Account p -> Encoding # toJSONList :: [Account p] -> Value # toEncodingList :: [Account p] -> Encoding #
Generic (Account p) Source #
Instance details Defined in Polysemy.Account.Data.Account Associated Types type Rep (Account p) :: Type -> Type # Methods from :: Account p -> Rep (Account p) x # to :: Rep (Account p) x -> Account p #
Show p => Show (Account p) Source #
Instance details Defined in Polysemy.Account.Data.Account Methods showsPrec :: Int -> Account p -> ShowS # show :: Account p -> String # showList :: [Account p] -> ShowS #
Eq p => Eq (Account p) Source #
Instance details Defined in Polysemy.Account.Data.Account Methods (==) :: Account p -> Account p -> Bool # (/=) :: Account p -> Account p -> Bool #
type Rep (Account p) Source #
Instance details Defined in Polysemy.Account.Data.Account type Rep (Account p) = D1 ('MetaData "Account" "Polysemy.Account.Data.Account" "polysemy-account-0.2.0.0-JBrIF35CBfcBfeWmsi0YZS" 'False) (C1 ('MetaCons "Account" 'PrefixI 'True) (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 AccountP = Account [Privilege] Source #

Convenience alias for using the default privilege type with Account.