objective 0.6 → 0.6.1

raw patch · 2 files changed

+4/−4 lines, 2 files

Files

objective.cabal +1/−1
src/Data/Functor/Request.hs +3/−3

objective.cabal view

@@ -1,5 +1,5 @@ name:                objective
-version:             0.6
+version:             0.6.1
 synopsis:            Extensible objects
 description:         Stateful effect transducer
 homepage:            https://github.com/fumieval/objective

src/Data/Functor/Request.hs view

@@ -26,9 +26,9 @@   pure a = Request mempty (const a)
   Request a c <*> Request b d = Request (mappend a b) (c <*> d)
 
-instance Monoid a => Tower (Request a b) where
-  type Floors (Request a b) = (,) a :> (->) b :> Identity :> Empty
-  toLoft = (\(a, b) -> Request a (const b)) ||> Request mempty ||> pure . runIdentity ||> exhaust
+instance Tower (Request a b) where
+  type Floors (Request a b) = Empty
+  toLoft = exhaust
 
 request :: (Elevate (Request a b) f) => a -> f b
 request a = elevate (Request a id)