Copyright	(c) CNRS 2017-Present
License	AGPL + CECILL v3
Maintainer	team@gargantext.org
Stability	experimental
Portability	POSIX
Safe Haskell	Safe-Inferred
Language	Haskell2010

Gargantext.Database.Schema.User

Description

Functions to deal with users, database side.

Documentation

data UserLight #

Constructors

UserLight
Fields userLight_id :: !UserId userLight_username :: !Text userLight_email :: !Text userLight_password :: !GargPassword userLight_forgot_password_uuid :: !(Maybe Text)

Instances

Instances details

FromJSON UserLight #
Instance details Defined in Gargantext.Database.Schema.User Methods parseJSON :: Value -> Parser UserLight # parseJSONList :: Value -> Parser [UserLight] #
ToJSON UserLight #
Instance details Defined in Gargantext.Database.Schema.User Methods toJSON :: UserLight -> Value # toEncoding :: UserLight -> Encoding # toJSONList :: [UserLight] -> Value # toEncodingList :: [UserLight] -> Encoding #
Generic UserLight #
Instance details Defined in Gargantext.Database.Schema.User Associated Types type Rep UserLight :: Type -> Type # Methods from :: UserLight -> Rep UserLight x # to :: Rep UserLight x -> UserLight #
Show UserLight #
Instance details Defined in Gargantext.Database.Schema.User Methods showsPrec :: Int -> UserLight -> ShowS # show :: UserLight -> String # showList :: [UserLight] -> ShowS #
GQLType UserLight #
Instance details Defined in Gargantext.Database.Schema.User Associated Types type KIND UserLight :: DerivingKind # Methods description :: f UserLight -> Maybe Text # directives :: f UserLight -> DirectiveUsages # getDescriptions :: f UserLight -> Map Text Description # typeOptions :: f UserLight -> GQLTypeOptions -> GQLTypeOptions # getDirectives :: f UserLight -> Map Text (Directives CONST) # defaultValues :: f UserLight -> Map Text (Value CONST) # __type :: f UserLight -> TypeCategory -> TypeData
FromField UserLight #
Instance details Defined in Gargantext.Database.Schema.User Methods fromField :: FieldParser UserLight #
type Rep UserLight #
Instance details Defined in Gargantext.Database.Schema.User type Rep UserLight = D1 ('MetaData "UserLight" "Gargantext.Database.Schema.User" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "UserLight" 'PrefixI 'True) ((S1 ('MetaSel ('Just "userLight_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UserId) :: S1 ('MetaSel ('Just "userLight_username") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "userLight_email") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "userLight_password") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GargPassword) :: S1 ('MetaSel ('Just "userLight_forgot_password_uuid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text))))))
type KIND UserLight #
Instance details Defined in Gargantext.Database.Schema.User type KIND UserLight = TYPE

toUserLight :: UserDB -> UserLight #

data UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid #

Constructors

UserDB
Fields user_id :: !id user_password :: !pass user_lastLogin :: !llogin user_isSuperUser :: !suser user_username :: !uname user_firstName :: !fname user_lastName :: !lname user_email :: !mail user_isStaff :: !staff user_isActive :: !active user_dateJoined :: !djoined user_forgot_password_uuid :: !fpuuid

Instances

Instances details

FromField UserDB #
Instance details Defined in Gargantext.Database.Schema.User Methods fromField :: FieldParser UserDB #
(ProductProfunctor p, Default p a1_0 a1_1, Default p a2_0 a2_1, Default p a3_0 a3_1, Default p a4_0 a4_1, Default p a5_0 a5_1, Default p a6_0 a6_1, Default p a7_0 a7_1, Default p a8_0 a8_1, Default p a9_0 a9_1, Default p a10_0 a10_1, Default p a11_0 a11_1, Default p a12_0 a12_1) => Default p (UserPoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a9_0 a10_0 a11_0 a12_0) (UserPoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_1 a12_1) #
Instance details Defined in Gargantext.Database.Schema.User Methods def :: p (UserPoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a9_0 a10_0 a11_0 a12_0) (UserPoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_1 a12_1) #
(FromJSON id, FromJSON pass, FromJSON llogin, FromJSON suser, FromJSON uname, FromJSON fname, FromJSON lname, FromJSON mail, FromJSON staff, FromJSON active, FromJSON djoined, FromJSON fpuuid) => FromJSON (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) #
Instance details Defined in Gargantext.Database.Schema.User Methods parseJSON :: Value -> Parser (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) # parseJSONList :: Value -> Parser [UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid] #
(ToJSON id, ToJSON pass, ToJSON llogin, ToJSON suser, ToJSON uname, ToJSON fname, ToJSON lname, ToJSON mail, ToJSON staff, ToJSON active, ToJSON djoined, ToJSON fpuuid) => ToJSON (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) #
Instance details Defined in Gargantext.Database.Schema.User Methods toJSON :: UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid -> Value # toEncoding :: UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid -> Encoding # toJSONList :: [UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid] -> Value # toEncodingList :: [UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid] -> Encoding #
Generic (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) #
Instance details Defined in Gargantext.Database.Schema.User Associated Types type Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) :: Type -> Type # Methods from :: UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid -> Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) x # to :: Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) x -> UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid #
(Show id, Show pass, Show llogin, Show suser, Show uname, Show fname, Show lname, Show mail, Show staff, Show active, Show djoined, Show fpuuid) => Show (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) #
Instance details Defined in Gargantext.Database.Schema.User Methods showsPrec :: Int -> UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid -> ShowS # show :: UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid -> String # showList :: [UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid] -> ShowS #
HasActive (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) active #
Instance details Defined in Gargantext.Database.Schema.User Methods active :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) active #
HasJoined (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) djoined #
Instance details Defined in Gargantext.Database.Schema.User Methods joined :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) djoined #
HasLogin (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) llogin #
Instance details Defined in Gargantext.Database.Schema.User Methods login :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) llogin #
HasName (UserPoly id pass llogin suser uname fname fname mail staff active djoined fpuuid) fname #
Instance details Defined in Gargantext.Database.Schema.User Methods name :: Traversal' (UserPoly id pass llogin suser uname fname fname mail staff active djoined fpuuid) fname #
HasStaff (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) staff #
Instance details Defined in Gargantext.Database.Schema.User Methods staff :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) staff #
HasSuperUser (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) suser #
Instance details Defined in Gargantext.Database.Schema.User Methods superUser :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) suser #
type Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) #
Instance details Defined in Gargantext.Database.Schema.User type Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) = D1 ('MetaData "UserPoly" "Gargantext.Database.Schema.User" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "UserDB" 'PrefixI 'True) (((S1 ('MetaSel ('Just "user_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 id) :: (S1 ('MetaSel ('Just "user_password") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 pass) :: S1 ('MetaSel ('Just "user_lastLogin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 llogin))) :: (S1 ('MetaSel ('Just "user_isSuperUser") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 suser) :: (S1 ('MetaSel ('Just "user_username") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 uname) :: S1 ('MetaSel ('Just "user_firstName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 fname)))) :: ((S1 ('MetaSel ('Just "user_lastName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 lname) :: (S1 ('MetaSel ('Just "user_email") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 mail) :: S1 ('MetaSel ('Just "user_isStaff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 staff))) :: (S1 ('MetaSel ('Just "user_isActive") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 active) :: (S1 ('MetaSel ('Just "user_dateJoined") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 djoined) :*: S1 ('MetaSel ('Just "user_forgot_password_uuid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 fpuuid))))))

type UserWrite = UserPoly (Maybe (Column SqlInt4)) (Column SqlText) (Maybe (Column SqlTimestamptz)) (Column SqlBool) (Column SqlText) (Column SqlText) (Column SqlText) (Column SqlText) (Column SqlBool) (Column SqlBool) (Maybe (Column SqlTimestamptz)) (Maybe (Column SqlText)) #

type UserRead = UserPoly (Column SqlInt4) (Column SqlText) (Column SqlTimestamptz) (Column SqlBool) (Column SqlText) (Column SqlText) (Column SqlText) (Column SqlText) (Column SqlBool) (Column SqlBool) (Column SqlTimestamptz) (Column SqlText) #

type UserDB = UserPoly UserId Text (Maybe UTCTime) Bool Text Text Text Text Bool Bool UTCTime (Maybe Text) #

pUserDB :: forall p a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a9_0 a10_0 a11_0 a12_0 a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_1 a12_1. ProductProfunctor p => UserPoly (p a1_0 a1_1) (p a2_0 a2_1) (p a3_0 a3_1) (p a4_0 a4_1) (p a5_0 a5_1) (p a6_0 a6_1) (p a7_0 a7_1) (p a8_0 a8_1) (p a9_0 a9_1) (p a10_0 a10_1) (p a11_0 a11_1) (p a12_0 a12_1) -> p (UserPoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a9_0 a10_0 a11_0 a12_0) (UserPoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_1 a12_1) #

class HasActive s a | s -> a where #

Methods

active :: Lens' s a #

Instances

Instances details

HasActive (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) active #
Instance details Defined in Gargantext.Database.Schema.User Methods active :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) active #

class HasJoined s a | s -> a where #

Methods

joined :: Lens' s a #

Instances

Instances details

HasJoined (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) djoined #
Instance details Defined in Gargantext.Database.Schema.User Methods joined :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) djoined #

class HasLogin s a | s -> a where #

Methods

login :: Lens' s a #

Instances

Instances details

HasLogin (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) llogin #
Instance details Defined in Gargantext.Database.Schema.User Methods login :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) llogin #

class HasName s a | s -> a where #

Methods

name :: Traversal' s a #

Instances

Instances details

HasName (UserPoly id pass llogin suser uname fname fname mail staff active djoined fpuuid) fname #
Instance details Defined in Gargantext.Database.Schema.User Methods name :: Traversal' (UserPoly id pass llogin suser uname fname fname mail staff active djoined fpuuid) fname #

class HasStaff s a | s -> a where #

Methods

staff :: Lens' s a #

Instances

Instances details

HasStaff (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) staff #
Instance details Defined in Gargantext.Database.Schema.User Methods staff :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) staff #

class HasSuperUser s a | s -> a where #

Methods

superUser :: Lens' s a #

Instances

Instances details

HasSuperUser (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) suser #
Instance details Defined in Gargantext.Database.Schema.User Methods superUser :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined fpuuid) suser #

userTable :: Table UserWrite UserRead #