Copyright | (c) CNRS 2017-Present |
---|---|
License | AGPL + CECILL v3 |
Maintainer | team@gargantext.org |
Stability | experimental |
Portability | POSIX |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
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 #
Instances
toGargPassword :: Text -> GargPassword #
type UsernameMaster = Username #
type UsernameSimple = Username #
NewUser | |
|
arbitraryUsername :: [Username] #
toUserHash :: MonadIO m => NewUser GargPassword -> m (NewUser HashPassword) #
arbitraryUsersHash :: MonadIO m => m [NewUser HashPassword] #