one-liner 0.2 → 0.2.1

raw patch · 3 files changed

+9/−5 lines, 3 files

Files

• one-liner.cabal +1/−1
• src/Generics/OneLiner/ADT.hs +4/−2
• src/Generics/OneLiner/ADT1.hs +4/−2

@@ -1,5 +1,5 @@ Name:                 one-liner-Version:              0.2+Version:              0.2.1 Synopsis:             Constraint-based generics Description:          Write short and concise generic instances of type classes. Homepage:             https://github.com/sjoerdvisscher/one-liner

@@ -21,10 +21,12 @@ -- instance `ADT` (T a) where --   `ctorIndex` A{} = 0 --   `ctorIndex` B{} = 1+--   `ctorInfo` _ 0 = `ctor` \"A\"+--   `ctorInfo` _ 1 = `ctor` \"B\" --   type `Constraints` (T a) c = (c Int, c a, c (T a)) --   `buildsRecA` `For` sub rec = ---     [ (`ctor` \"A\", A `<$>` sub (`FieldInfo` (\\(A i _) -> i)) `<*>` sub (`FieldInfo` (\\(A _ a) -> a)))---     , (`ctor` \"B\", B `<$>` sub (`FieldInfo` (\\(B a _) -> a)) `<*>` rec (`FieldInfo` (\\(B _ t) -> t)))+--     [ A `<$>` sub (`FieldInfo` (\\(A i _) -> i)) `<*>` sub (`FieldInfo` (\\(A _ a) -> a))+--     , B `<$>` sub (`FieldInfo` (\\(B a _) -> a)) `<*>` rec (`FieldInfo` (\\(B _ t) -> t)) --     ] -- @ --

@@ -22,10 +22,12 @@ -- instance `ADT1` T where --   `ctorIndex` A{} = 0 --   `ctorIndex` B{} = 1+--   `ctorInfo` _ 0 = `ctor` \"A\"+--   `ctorInfo` _ 1 = `ctor` \"B\" --   type `Constraints` T c = (c [], c T) --   `buildsRecA` `For` par sub rec = ---     [ (`ctor` \"A\", A `<$>` sub (`component` (\\(A l) -> l))---     , (`ctor` \"B\", B `<$>` par (`param` (\\(B a _) -> a)) `<*>` rec (`component` (\\(B _ t) -> t)))+--     [ A `<$>` sub (`component` (\\(A l) -> l)+--     , B `<$>` par (`param` (\\(B a _) -> a)) `<*>` rec (`component` (\\(B _ t) -> t)) --     ] -- @ -----------------------------------------------------------------------------