Time: fix polysemy names

This commit is contained in:
Ryan Mulligan 2019-09-26 06:33:16 -07:00
parent 226f72c522
commit 6fc456e106

View File

@ -13,10 +13,10 @@ data Time m a where
makeSem ''Time
runIO :: Member (Lift IO) r => Sem (Time ': r) a -> Sem r a
runIO :: Member (Embed IO) r => Sem (Time ': r) a -> Sem r a
runIO =
interpret $ \case
Now -> sendM getCurrentTime
Now -> embed getCurrentTime
runPure :: UTCTime -> Sem (Time ': r) a -> Sem r a
runPure t =