{-# language NoFieldSelectors #-}

-- | Description: Account data type
module Polysemy.Account.Data.Account where

import Polysemy.Account.Data.AccountName (AccountName)
import Polysemy.Account.Data.AccountStatus (AccountStatus)
import Polysemy.Account.Data.Privilege (Privilege)

-- | A basic user account, consisting of a name, activation status, and an arbitrary privilege type.
data Account p =
  Account {
     forall p. Account p -> AccountName
name :: AccountName,
     forall p. Account p -> AccountStatus
status :: AccountStatus,
     forall p. Account p -> p
privileges :: p
  }
  deriving stock (Account p -> Account p -> Bool
forall p. Eq p => Account p -> Account p -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Account p -> Account p -> Bool
$c/= :: forall p. Eq p => Account p -> Account p -> Bool
== :: Account p -> Account p -> Bool
$c== :: forall p. Eq p => Account p -> Account p -> Bool
Eq, Int -> Account p -> ShowS
forall p. Show p => Int -> Account p -> ShowS
forall p. Show p => [Account p] -> ShowS
forall p. Show p => Account p -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Account p] -> ShowS
$cshowList :: forall p. Show p => [Account p] -> ShowS
show :: Account p -> String
$cshow :: forall p. Show p => Account p -> String
showsPrec :: Int -> Account p -> ShowS
$cshowsPrec :: forall p. Show p => Int -> Account p -> ShowS
Show, forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall p x. Rep (Account p) x -> Account p
forall p x. Account p -> Rep (Account p) x
$cto :: forall p x. Rep (Account p) x -> Account p
$cfrom :: forall p x. Account p -> Rep (Account p) x
Generic)

json ''Account

-- | Convenience alias for using the default privilege type with 'Account'.
type AccountP = Account [Privilege]