Skip to content

Commit

Permalink
tdd-refactor: rewrite to use invoke
Browse files Browse the repository at this point in the history
  • Loading branch information
autotaker committed Jan 10, 2021
1 parent ec9b6b4 commit da59dba
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/Auth.hs
@@ -1,8 +1,9 @@
module Auth where

import Control.Method (invoke)
import Control.Monad.Trans.Maybe (MaybeT (MaybeT, runMaybeT))
import Lens.Micro.Platform (Lens', makeLenses)
import RIO (RIO, guard, view, (^.))
import RIO (RIO, guard, (^.))
import User (Password, User, Username, password)

data UserRepository env = UserRepository
Expand All @@ -17,8 +18,7 @@ class HasUserRepository env where

signin :: (HasUserRepository env) => Username -> Password -> RIO env (Maybe User)
signin usernm passwd = runMaybeT $ do
method <- view (userRepositoryL . findByUsername)
user <- MaybeT $ method usernm
user <- MaybeT $ invoke (userRepositoryL . findByUsername) usernm
guard $ (user ^. password) == passwd
pure user

Expand Down

0 comments on commit da59dba

Please sign in to comment.