regular 0.2 → 0.2.1
raw patch · 4 files changed
+10/−9 lines, 4 files
Files
- ChangeLog +4/−0
- regular.cabal +1/−1
- src/Generics/Regular/Base.hs +2/−2
- src/Generics/Regular/Functions.hs +3/−6
ChangeLog view
@@ -1,3 +1,7 @@+version 0.2.1:+ - Do not export generic equality by default to avoid clashes with Prelude+ - Turn I and K into newtypes+ version 0.2: - Separated generic functions per modules - Added generic unfold
regular.cabal view
@@ -1,5 +1,5 @@ name: regular-version: 0.2+version: 0.2.1 synopsis: Generic programming library for regular datatypes. description:
src/Generics/Regular/Base.hs view
@@ -46,10 +46,10 @@ ----------------------------------------------------------------------------- -- | Structure type for constant values.-data K a r = K { unK :: a }+newtype K a r = K { unK :: a } -- | Structure type for recursive values.-data I r = I { unI :: r }+newtype I r = I { unI :: r } -- | Structure type for empty constructors. data U r = U
src/Generics/Regular/Functions.hs view
@@ -15,8 +15,9 @@ -- -- Summary: All of the generic functionality for regular dataypes: mapM, -- flatten, zip, equality, value generation, fold and unfold.--- Generic show ("Generics.Regular.Functions.Show") and generic read --- ("Generics.Regular.Functions.Read") are not exported to prevent clashes+-- Generic show ("Generics.Regular.Functions.Show"), generic read +-- ("Generics.Regular.Functions.Read") and generic equality +-- ("Generics.Regular.Functions.Eq") are not exported to prevent clashes -- with @Prelude@. ----------------------------------------------------------------------------- @@ -28,9 +29,6 @@ -- * Crush module Generics.Regular.Functions.Crush, - -- * Equality- module Generics.Regular.Functions.Eq,- -- * Generic folding module Generics.Regular.Functions.Fold, @@ -50,7 +48,6 @@ import Generics.Regular.Functions.ConNames import Generics.Regular.Functions.Crush-import Generics.Regular.Functions.Eq import Generics.Regular.Functions.Fold import Generics.Regular.Functions.GMap import Generics.Regular.Functions.LR