| Copyright | (c) CNRS 2017-Present |
|---|---|
| License | AGPL + CECILL v3 |
| Maintainer | team@gargantext.org |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Gargantext.Core.Types.Individu
Description
Individu defintions
Documentation
Instances
| ToJSON User # | |
Defined in Gargantext.Core.Types.Individu | |
| Generic User # | |
| Show User # | |
| Eq User # | |
| type Rep User # | |
Defined in Gargantext.Core.Types.Individu type Rep User = D1 ('MetaData "User" "Gargantext.Core.Types.Individu" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "UserDBId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UserId)) :+: (C1 ('MetaCons "UserName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "RootId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NodeId)))) | |
renderUser :: User -> Text #
type HashPassword = PasswordHash Argon2 #
newtype GargPassword #
Constructors
| GargPassword Text |
Instances
toGargPassword :: Text -> GargPassword #
type UsernameMaster = Username #
type UsernameSimple = Username #
Constructors
| NewUser | |
Fields
| |
arbitraryUsername :: [Username] #
toUserHash :: MonadIO m => NewUser GargPassword -> m (NewUser HashPassword) #
arbitraryUsersHash :: MonadIO m => m [NewUser HashPassword] #