backend-0.1.0.0

Safe Haskell	None
Language	Haskell2010

UserManagement.User

Synopsis

data User = User {
- userID :: UserID
- userName :: Text
- userEmail :: Text
}
data UserCreate = UserCreate {
- userCreateName :: Text
- userCreateEmail :: Text
- userCreatePWHash :: Text
}
data FullUser = FullUser {
- fullUserID :: UserID
- fullUserName :: Text
- fullUserEmail :: Text
- fullUserIsSuperadmin :: Bool
- fullUserRoles :: [GroupRole]
}
data GroupRole = GroupRole {
- groupID :: GroupID
- groupName :: Text
- role :: Role
}
data UserInfo = UserInfo {
- userInfoID :: UserID
- userInfoName :: Text
- userInfoEmail :: Text
- userInfoRole :: Role
}
data Role
- = Member
- | Admin
type UserID = UUID
roleToText :: Role -> Text
textToRole :: Text -> Maybe Role

Documentation

data User Source #

Constructors

User
Fields userID :: UserID userName :: Text userEmail :: Text

Instances

Instances details

FromJSON User Source #

Instance details

Defined in UserManagement.User

Methods

parseJSON :: Value -> Parser User

parseJSONList :: Value -> Parser [User]

omittedField :: Maybe User

ToJSON User Source #

Instance details

Defined in UserManagement.User

Methods

toJSON :: User -> Value

toEncoding :: User -> Encoding

toJSONList :: [User] -> Value

toEncodingList :: [User] -> Encoding

omitField :: User -> Bool

Generic User Source #

Instance details

Defined in UserManagement.User

Associated Types

type Rep User

Instance details

Defined in UserManagement.User

type Rep User = D1 ('MetaData "User" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "User" 'PrefixI 'True) (S1 ('MetaSel ('Just "userID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserID) :*: (S1 ('MetaSel ('Just "userName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "userEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Methods

from :: User -> Rep User x #

to :: Rep User x -> User #

Show User Source #

Instance details

Defined in UserManagement.User

Methods

showsPrec :: Int -> User -> ShowS #

show :: User -> String #

showList :: [User] -> ShowS #

Eq User Source #

Instance details

Defined in UserManagement.User

Methods

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

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

ToSchema User Source #

Instance details

Defined in UserManagement.User

Methods

declareNamedSchema :: Proxy User -> Declare (Definitions Schema) NamedSchema

type Rep User Source #

Instance details

Defined in UserManagement.User

type Rep User = D1 ('MetaData "User" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "User" 'PrefixI 'True) (S1 ('MetaSel ('Just "userID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserID) :*: (S1 ('MetaSel ('Just "userName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "userEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data UserCreate Source #

Constructors

UserCreate
Fields userCreateName :: Text userCreateEmail :: Text userCreatePWHash :: Text

data FullUser Source #

Constructors

FullUser
Fields fullUserID :: UserID fullUserName :: Text fullUserEmail :: Text fullUserIsSuperadmin :: Bool fullUserRoles :: [GroupRole]

Instances

Instances details

ToJSON FullUser Source #

Instance details

Defined in UserManagement.User

Methods

toJSON :: FullUser -> Value

toEncoding :: FullUser -> Encoding

toJSONList :: [FullUser] -> Value

toEncodingList :: [FullUser] -> Encoding

omitField :: FullUser -> Bool

Generic FullUser Source #

Instance details

Defined in UserManagement.User

Associated Types

type Rep FullUser

Instance details

Defined in UserManagement.User

type Rep FullUser = D1 ('MetaData "FullUser" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "FullUser" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fullUserID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserID) :*: S1 ('MetaSel ('Just "fullUserName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "fullUserEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "fullUserIsSuperadmin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "fullUserRoles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GroupRole])))))

Methods

from :: FullUser -> Rep FullUser x #

to :: Rep FullUser x -> FullUser #

ToSchema FullUser Source #

Instance details

Defined in UserManagement.User

Methods

declareNamedSchema :: Proxy FullUser -> Declare (Definitions Schema) NamedSchema

type Rep FullUser Source #

Instance details

Defined in UserManagement.User

type Rep FullUser = D1 ('MetaData "FullUser" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "FullUser" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fullUserID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserID) :*: S1 ('MetaSel ('Just "fullUserName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "fullUserEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "fullUserIsSuperadmin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "fullUserRoles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GroupRole])))))

data GroupRole Source #

Constructors

GroupRole
Fields groupID :: GroupID groupName :: Text role :: Role

Instances

Instances details

ToJSON GroupRole Source #

Instance details

Defined in UserManagement.User

Methods

toJSON :: GroupRole -> Value

toEncoding :: GroupRole -> Encoding

toJSONList :: [GroupRole] -> Value

toEncodingList :: [GroupRole] -> Encoding

omitField :: GroupRole -> Bool

Generic GroupRole Source #

Instance details

Defined in UserManagement.User

Associated Types

type Rep GroupRole
Instance details Defined in UserManagement.User type Rep GroupRole

Methods

from :: GroupRole -> Rep GroupRole x #

to :: Rep GroupRole x -> GroupRole #

ToSchema GroupRole Source #

Instance details

Defined in UserManagement.User

Methods

declareNamedSchema :: Proxy GroupRole -> Declare (Definitions Schema) NamedSchema

type Rep GroupRole Source #

Instance details

Defined in UserManagement.User

type Rep GroupRole

data UserInfo Source #

used for necessary user info inside a group

Constructors

UserInfo
Fields userInfoID :: UserID userInfoName :: Text userInfoEmail :: Text userInfoRole :: Role

Instances

Instances details

ToJSON UserInfo Source #

Instance details

Defined in UserManagement.User

Methods

toJSON :: UserInfo -> Value

toEncoding :: UserInfo -> Encoding

toJSONList :: [UserInfo] -> Value

toEncodingList :: [UserInfo] -> Encoding

omitField :: UserInfo -> Bool

Generic UserInfo Source #

Instance details

Defined in UserManagement.User

Associated Types

type Rep UserInfo

Instance details

Defined in UserManagement.User

type Rep UserInfo = D1 ('MetaData "UserInfo" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "UserInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "userInfoID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserID) :*: S1 ('MetaSel ('Just "userInfoName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "userInfoEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "userInfoRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Role))))

Methods

from :: UserInfo -> Rep UserInfo x #

to :: Rep UserInfo x -> UserInfo #

Show UserInfo Source #

Instance details

Defined in UserManagement.User

Methods

showsPrec :: Int -> UserInfo -> ShowS #

show :: UserInfo -> String #

showList :: [UserInfo] -> ShowS #

Eq UserInfo Source #

Instance details

Defined in UserManagement.User

Methods

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

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

ToSchema UserInfo Source #

Instance details

Defined in UserManagement.User

Methods

declareNamedSchema :: Proxy UserInfo -> Declare (Definitions Schema) NamedSchema

type Rep UserInfo Source #

Instance details

Defined in UserManagement.User

type Rep UserInfo = D1 ('MetaData "UserInfo" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "UserInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "userInfoID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserID) :*: S1 ('MetaSel ('Just "userInfoName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "userInfoEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "userInfoRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Role))))

data Role Source #

Constructors

Member
Admin

Instances

Instances details

FromJSON Role Source #

Instance details

Defined in UserManagement.User

Methods

parseJSON :: Value -> Parser Role

parseJSONList :: Value -> Parser [Role]

omittedField :: Maybe Role

ToJSON Role Source #

Instance details

Defined in UserManagement.User

Methods

toJSON :: Role -> Value

toEncoding :: Role -> Encoding

toJSONList :: [Role] -> Value

toEncodingList :: [Role] -> Encoding

omitField :: Role -> Bool

Generic Role Source #

Instance details

Defined in UserManagement.User

Associated Types

type Rep Role
Instance details Defined in UserManagement.User type Rep Role = D1 ('MetaData "Role" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "Member" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Admin" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Role -> Rep Role x #

to :: Rep Role x -> Role #

Read Role Source #

Instance details

Defined in UserManagement.User

Methods

readsPrec :: Int -> ReadS Role #

readList :: ReadS [Role] #

readPrec :: ReadPrec Role #

readListPrec :: ReadPrec [Role] #

Show Role Source #

Instance details

Defined in UserManagement.User

Methods

showsPrec :: Int -> Role -> ShowS #

show :: Role -> String #

showList :: [Role] -> ShowS #

Eq Role Source #

Instance details

Defined in UserManagement.User

Methods

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

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

ToSchema Role Source #

Instance details

Defined in UserManagement.User

Methods

declareNamedSchema :: Proxy Role -> Declare (Definitions Schema) NamedSchema

type Rep Role Source #

Instance details

Defined in UserManagement.User

type Rep Role = D1 ('MetaData "Role" "UserManagement.User" "backend-0.1.0.0-2H73EnUlGVcEtlIi2XNQz3" 'False) (C1 ('MetaCons "Member" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Admin" 'PrefixI 'False) (U1 :: Type -> Type))

type UserID = UUID Source #

roleToText :: Role -> Text Source #

textToRole :: Text -> Maybe Role Source #