structural-traversal 0.1.0.0 → 0.1.1.0
raw patch · 2 files changed
+7/−6 lines, 2 filesdep ~base
Dependency ranges changed: base
Files
src/Data/StructuralTraversal/TH.hs view
@@ -14,9 +14,9 @@ deriveStructTrav :: Name -> Q [Dec] deriveStructTrav nm = reify nm >>= (\case TyConI dt -> case dt of - DataD _ tyConName typArgs dataCons _ -> + DataD _ tyConName typArgs _ dataCons _ -> createInstance tyConName typArgs dataCons - NewtypeD _ tyConName typArgs dataCon _ -> + NewtypeD _ tyConName typArgs _ dataCon _ -> createInstance tyConName typArgs [dataCon] _ -> fail "Unsupported data type" _ -> fail "Expected the name of a data type or newtype" @@ -26,7 +26,8 @@ createInstance tyConName typArgs dataCons = do (upClauses, preds) <- unzip <$> mapM (createClause upName) dataCons (downClauses, _) <- unzip <$> mapM (createClause downName) dataCons - return [InstanceD (concat preds) + return [InstanceD Nothing + (concat preds) (AppT (ConT className) (foldl AppT (ConT tyConName) (map getTypVarTyp (init typArgs))))
structural-traversal.cabal view
@@ -1,5 +1,5 @@ name: structural-traversal -version: 0.1.0.0 +version: 0.1.1.0 synopsis: Initial project template from stack description: Please see README.md homepage: http://github.com/nboldi/structural-traversal#readme @@ -21,7 +21,7 @@ , Data.StructuralTraversal.Indexing , Data.StructuralTraversal.Instances , Data.StructuralTraversal.TH - build-depends: base >= 4.7 && < 5 + build-depends: base >= 4.9 && < 5 , template-haskell >= 2.9.0.0 , mtl >= 2.2.1 default-language: Haskell2010 @@ -30,7 +30,7 @@ type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Example.hs - build-depends: base >= 4.7 && < 5 + build-depends: base >= 4.9 && < 5 , HUnit >= 1.2 && < 1.4 , structural-traversal , mtl >= 2.2.1