wikimusic-api-1.2.0.8
Safe HaskellSafe-Inferred
LanguageGHC2021

WikiMusic.Free.UserCommand

Documentation

data UserCommand a Source #

Constructors

MakeResetPasswordLink Env UserEmail (Either UserCommandError Text -> a) 
ChangePasswordByEmail Env UserEmail UserPassword (Either UserCommandError () -> a) 
InvalidateResetTokenByEmail Env UserEmail (Either UserCommandError () -> a) 
InviteUser Env WikiMusicUser UserEmail UserName UserRole (Maybe Text) (Either UserCommandError Text -> a) 
DeleteUser Env WikiMusicUser UserEmail (Either UserCommandError () -> a) 

Instances

Instances details
Functor UserCommand Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

fmap :: (a -> b) -> UserCommand a -> UserCommand b #

(<$) :: a -> UserCommand b -> UserCommand a #

Exec UserCommand Source # 
Instance details

Defined in WikiMusic.Sqlite.UserCommand

Methods

execAlgebra :: UserCommand (IO a) -> IO a #

makeResetPasswordLink :: UserCommand :<: f => Env -> UserEmail -> Free f (Either UserCommandError Text) Source #

changePasswordByEmail :: UserCommand :<: f => Env -> UserEmail -> UserPassword -> Free f (Either UserCommandError ()) Source #

invalidateResetTokenByEmail :: UserCommand :<: f => Env -> UserEmail -> Free f (Either UserCommandError ()) Source #

inviteUser :: UserCommand :<: f => Env -> WikiMusicUser -> UserEmail -> UserName -> UserRole -> Maybe Text -> Free f (Either UserCommandError Text) Source #

deleteUser :: UserCommand :<: f => Env -> WikiMusicUser -> UserEmail -> Free f (Either UserCommandError ()) Source #

data UserCommandError Source #

Constructors

PersistenceError Text 
LogicError Text 
NotificationError Text 

Instances

Instances details
Show UserCommandError Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

showsPrec :: Int -> UserCommandError -> ShowS #

show :: UserCommandError -> String #

showList :: [UserCommandError] -> ShowS #

newtype UserEmail Source #

Constructors

UserEmail 

Fields

Instances

Instances details
Generic UserEmail Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Associated Types

type Rep UserEmail :: Type -> Type #

Methods

from :: UserEmail -> Rep UserEmail x #

to :: Rep UserEmail x -> UserEmail #

Show UserEmail Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

showsPrec :: Int -> UserEmail -> ShowS #

show :: UserEmail -> String #

showList :: [UserEmail] -> ShowS #

Eq UserEmail Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

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

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

(k ~ An_Iso, a ~ Text, b ~ Text) => LabelOptic "value" k UserEmail UserEmail a b Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

labelOptic :: Optic k NoIx UserEmail UserEmail a b #

type Rep UserEmail Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

type Rep UserEmail = D1 ('MetaData "UserEmail" "WikiMusic.Free.UserCommand" "wikimusic-api-1.2.0.8-JHwpuK3L2G3YDoKuoiL6D" 'True) (C1 ('MetaCons "UserEmail" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype UserPassword Source #

Constructors

UserPassword 

Fields

Instances

Instances details
Generic UserPassword Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Associated Types

type Rep UserPassword :: Type -> Type #

Methods

from :: UserPassword -> Rep UserPassword x #

to :: Rep UserPassword x -> UserPassword #

Show UserPassword Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

showsPrec :: Int -> UserPassword -> ShowS #

show :: UserPassword -> String #

showList :: [UserPassword] -> ShowS #

Eq UserPassword Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

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

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

(k ~ An_Iso, a ~ Text, b ~ Text) => LabelOptic "value" k UserPassword UserPassword a b Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

labelOptic :: Optic k NoIx UserPassword UserPassword a b #

type Rep UserPassword Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

type Rep UserPassword = D1 ('MetaData "UserPassword" "WikiMusic.Free.UserCommand" "wikimusic-api-1.2.0.8-JHwpuK3L2G3YDoKuoiL6D" 'True) (C1 ('MetaCons "UserPassword" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype UserName Source #

Constructors

UserName 

Fields

Instances

Instances details
Generic UserName Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Associated Types

type Rep UserName :: Type -> Type #

Methods

from :: UserName -> Rep UserName x #

to :: Rep UserName x -> UserName #

Show UserName Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

showsPrec :: Int -> UserName -> ShowS #

show :: UserName -> String #

showList :: [UserName] -> ShowS #

Eq UserName Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

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

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

(k ~ An_Iso, a ~ Text, b ~ Text) => LabelOptic "value" k UserName UserName a b Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

Methods

labelOptic :: Optic k NoIx UserName UserName a b #

type Rep UserName Source # 
Instance details

Defined in WikiMusic.Free.UserCommand

type Rep UserName = D1 ('MetaData "UserName" "WikiMusic.Free.UserCommand" "wikimusic-api-1.2.0.8-JHwpuK3L2G3YDoKuoiL6D" 'True) (C1 ('MetaCons "UserName" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))