WikiMusic.Free.AuthQuery

Documentation

data AuthQuery a

Constructors

FetchUserForAuthCheck Env Text (Either AuthQueryError (Maybe WikiMusicUser) -> a)

FetchUserFromToken Env Text (Either AuthQueryError (Maybe WikiMusicUser) -> a)

FetchMe Env UUID (Either AuthQueryError (Maybe WikiMusicUser) -> a)

FetchUserRoles Env UUID (Either AuthQueryError [UserRole] -> a)

Instances

Functor AuthQuery

Defined in WikiMusic.Free.AuthQuery

Methods

fmap :: (a -> b) -> AuthQuery a -> AuthQuery b

(<$) :: a -> AuthQuery b -> AuthQuery a

Exec AuthQuery

Defined in WikiMusic.Sqlite.AuthQuery

Methods

execAlgebra :: AuthQuery (IO a) -> IO a

fetchUserForAuthCheck :: AuthQuery :<: f => Env -> Text -> Free f (Either AuthQueryError (Maybe WikiMusicUser))

fetchMe :: AuthQuery :<: f => Env -> UUID -> Free f (Either AuthQueryError (Maybe WikiMusicUser))

fetchUserRoles :: AuthQuery :<: f => Env -> UUID -> Free f (Either AuthQueryError [UserRole])

fetchUserFromToken :: AuthQuery :<: f => Env -> Text -> Free f (Either AuthQueryError (Maybe WikiMusicUser))

data AuthQueryError

Constructors

PersistenceError Text

LogicError Text

AuthError Text

Instances

Show AuthQueryError

Defined in WikiMusic.Free.AuthQuery

Methods

showsPrec :: Int -> AuthQueryError -> ShowS

show :: AuthQueryError -> String

showList :: [AuthQueryError] -> ShowS

Eq AuthQueryError

Defined in WikiMusic.Free.AuthQuery

Methods

(==) :: AuthQueryError -> AuthQueryError -> Bool

(/=) :: AuthQueryError -> AuthQueryError -> Bool