gargantext-0.0.4.9.5: Search, map, share
Copyright(c) CNRS 2017-Present
LicenseAGPL + CECILL v3
Maintainerteam@gargantext.org
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Gargantext.Database.Query.Table.User

Description

Functions to deal with users, database side.

Synopsis

Documentation

userWithUsername :: Text -> [UserDB] -> Maybe UserDB Source #

Select User with Username

data UserLight Source #

Instances

Instances details
Show UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Generic UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Associated Types

type Rep UserLight :: Type -> Type #

ToJSON UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

FromJSON UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

GQLType UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Associated Types

type KIND UserLight :: DerivingKind #

FromField UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

type Rep UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

type Rep UserLight = D1 ('MetaData "UserLight" "Gargantext.Database.Schema.User" "gargantext-0.0.4.9.5-IFz7nHafad4HfDNkPsR1x8" 'False) (C1 ('MetaCons "UserLight" 'PrefixI 'True) ((S1 ('MetaSel ('Just "userLight_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: 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 Text))))
type KIND UserLight Source # 
Instance details

Defined in Gargantext.Database.Schema.User

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

Constructors

UserDB 

Fields

Instances

Instances details
FromField UserDB Source # 
Instance details

Defined in Gargantext.Database.Schema.User

(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 (UserPoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a9_0 a10_0 a11_0) (UserPoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_1) Source # 
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) (UserPoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_1) #

(Show id, Show pass, Show llogin, Show suser, Show uname, Show fname, Show lname, Show mail, Show staff, Show active, Show djoined) => Show (UserPoly id pass llogin suser uname fname lname mail staff active djoined) Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

showsPrec :: Int -> UserPoly id pass llogin suser uname fname lname mail staff active djoined -> ShowS #

show :: UserPoly id pass llogin suser uname fname lname mail staff active djoined -> String #

showList :: [UserPoly id pass llogin suser uname fname lname mail staff active djoined] -> ShowS #

Generic (UserPoly id pass llogin suser uname fname lname mail staff active djoined) Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Associated Types

type Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined) :: Type -> Type #

Methods

from :: UserPoly id pass llogin suser uname fname lname mail staff active djoined -> Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined) x #

to :: Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined) x -> UserPoly id pass llogin suser uname fname lname mail staff active djoined #

(ToJSON id, ToJSON pass, ToJSON llogin, ToJSON suser, ToJSON uname, ToJSON fname, ToJSON lname, ToJSON mail, ToJSON staff, ToJSON active, ToJSON djoined) => ToJSON (UserPoly id pass llogin suser uname fname lname mail staff active djoined) Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

toJSON :: UserPoly id pass llogin suser uname fname lname mail staff active djoined -> Value #

toEncoding :: UserPoly id pass llogin suser uname fname lname mail staff active djoined -> Encoding #

toJSONList :: [UserPoly id pass llogin suser uname fname lname mail staff active djoined] -> Value #

toEncodingList :: [UserPoly id pass llogin suser uname fname lname mail staff active djoined] -> Encoding #

(FromJSON id, FromJSON pass, FromJSON llogin, FromJSON suser, FromJSON uname, FromJSON fname, FromJSON lname, FromJSON mail, FromJSON staff, FromJSON active, FromJSON djoined) => FromJSON (UserPoly id pass llogin suser uname fname lname mail staff active djoined) Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

parseJSON :: Value -> Parser (UserPoly id pass llogin suser uname fname lname mail staff active djoined) #

parseJSONList :: Value -> Parser [UserPoly id pass llogin suser uname fname lname mail staff active djoined] #

HasSuperUser (UserPoly id pass llogin suser uname fname lname mail staff active djoined) suser Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

superUser :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) suser Source #

HasStaff (UserPoly id pass llogin suser uname fname lname mail staff active djoined) staff Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

staff :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) staff Source #

HasName (UserPoly id pass llogin suser uname fname fname mail staff active djoined) fname Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

name :: Traversal' (UserPoly id pass llogin suser uname fname fname mail staff active djoined) fname Source #

HasLogin (UserPoly id pass llogin suser uname fname lname mail staff active djoined) llogin Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

login :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) llogin Source #

HasJoined (UserPoly id pass llogin suser uname fname lname mail staff active djoined) djoined Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

joined :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) djoined Source #

HasActive (UserPoly id pass llogin suser uname fname lname mail staff active djoined) active Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

active :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) active Source #

type Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined) Source # 
Instance details

Defined in Gargantext.Database.Schema.User

type Rep (UserPoly id pass llogin suser uname fname lname mail staff active djoined) = D1 ('MetaData "UserPoly" "Gargantext.Database.Schema.User" "gargantext-0.0.4.9.5-IFz7nHafad4HfDNkPsR1x8" '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))))))

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 a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_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 (UserPoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a9_0 a10_0 a11_0) (UserPoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1 a9_1 a10_1 a11_1) Source #

class HasActive s a | s -> a where Source #

Methods

active :: Lens' s a Source #

Instances

Instances details
HasActive (UserPoly id pass llogin suser uname fname lname mail staff active djoined) active Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

active :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) active Source #

class HasJoined s a | s -> a where Source #

Methods

joined :: Lens' s a Source #

Instances

Instances details
HasJoined (UserPoly id pass llogin suser uname fname lname mail staff active djoined) djoined Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

joined :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) djoined Source #

class HasLogin s a | s -> a where Source #

Methods

login :: Lens' s a Source #

Instances

Instances details
HasLogin (UserPoly id pass llogin suser uname fname lname mail staff active djoined) llogin Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

login :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) llogin Source #

class HasName s a | s -> a where Source #

Methods

name :: Traversal' s a Source #

Instances

Instances details
HasName (UserPoly id pass llogin suser uname fname fname mail staff active djoined) fname Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

name :: Traversal' (UserPoly id pass llogin suser uname fname fname mail staff active djoined) fname Source #

class HasStaff s a | s -> a where Source #

Methods

staff :: Lens' s a Source #

Instances

Instances details
HasStaff (UserPoly id pass llogin suser uname fname lname mail staff active djoined) staff Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

staff :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) staff Source #

class HasSuperUser s a | s -> a where Source #

Methods

superUser :: Lens' s a Source #

Instances

Instances details
HasSuperUser (UserPoly id pass llogin suser uname fname lname mail staff active djoined) suser Source # 
Instance details

Defined in Gargantext.Database.Schema.User

Methods

superUser :: Lens' (UserPoly id pass llogin suser uname fname lname mail staff active djoined) suser Source #

Orphan instances