packages feed

data-fix 0.0.1 → 0.0.2

raw patch · 2 files changed

+7/−3 lines, 2 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.Fix: instance Eq (f (Fix f)) => Eq (Fix f)
- Data.Fix: instance Ord (f (Fix f)) => Ord (Fix f)
- Data.Fix: instance Show (f (Fix f)) => Show (Fix f)
- Data.Fix: unFix :: Fix f -> f (Fix f)
+ Data.Fix: [unFix] :: Fix f -> f (Fix f)
+ Data.Fix: instance Data.Typeable.Internal.Typeable f => Data.Data.Data (Data.Fix.Fix f)
+ Data.Fix: instance GHC.Classes.Eq (f (Data.Fix.Fix f)) => GHC.Classes.Eq (Data.Fix.Fix f)
+ Data.Fix: instance GHC.Classes.Ord (f (Data.Fix.Fix f)) => GHC.Classes.Ord (Data.Fix.Fix f)
+ Data.Fix: instance GHC.Generics.Constructor Data.Fix.C1_0Fix
+ Data.Fix: instance GHC.Generics.Datatype Data.Fix.D1Fix
+ Data.Fix: instance GHC.Generics.Generic (Data.Fix.Fix f)
+ Data.Fix: instance GHC.Generics.Selector Data.Fix.S1_0_0Fix
+ Data.Fix: instance GHC.Show.Show (f (Data.Fix.Fix f)) => GHC.Show.Show (Data.Fix.Fix f)

Files

data-fix.cabal view
@@ -1,5 +1,5 @@ Name:            data-fix-Version:         0.0.1+Version:         0.0.2 Cabal-Version:   >= 1.6 License:         BSD3 License-file:    LICENSE
src/Data/Fix.hs view
@@ -1,7 +1,8 @@ {-# Language          FlexibleContexts,          UndecidableInstances,-        TypeSynonymInstances #-}+        TypeSynonymInstances,+        DeriveGeneric #-} -- | Fix-point type. It allows to define generic recurion schemes. -- -- > Fix f = f (Fix f)@@ -51,11 +52,14 @@     )  where +import GHC.Generics import Control.Applicative+import Data.Data import Data.Traversable  -- | A fix-point type. -newtype Fix f = Fix { unFix :: f (Fix f) }+newtype Fix f = Fix { unFix :: f (Fix f) } deriving (Generic, Typeable)+instance Typeable f => Data (Fix f)  -- standard instances