free-functors 1.1 → 1.1.1
raw patch · 2 files changed
+2/−2 lines, 2 filesdep ~derive-lifted-instances
Dependency ranges changed: derive-lifted-instances
Files
free-functors.cabal view
@@ -1,5 +1,5 @@ name: free-functors-version: 1.1+version: 1.1.1 synopsis: Free functors, adjoint to functors that forget class constraints. description: A free functor is a left adjoint to a forgetful functor. It used to be the case that the only category that was easy to work with in Haskell was Hask itself, so
src/Data/Functor/Free/Internal.hs view
@@ -32,7 +32,7 @@ freeDeriv :: Name -> Name -> Derivator freeDeriv (pure . ConE -> free) (pure . VarE -> runFree) = idDeriv { res = \e -> [| $free (\ $kPat -> $e) |],- var = \fold v -> [| $(fold (\w -> [| fmap $w |]) [| \f -> $runFree f $kExp |]) $v |]+ var = \fold v -> [| $(fold [| fmap |] [| \f -> $runFree f $kExp |]) $v |] } deriveFreeInstance' :: Name -> Name -> Name -> Name -> Q [Dec]