git.iko.soy/rel8
on master help sign in
Export fromADT, toADT, fromHKD and toHKD
5b1faf2Shane O'Brien
src/Rel8.hs+2−2
compare with master
unifiedsplit
@@ -106,7 +106,7 @@ module Rel8
106 , some
106 , some
107
107
108 -- ** @ADT@
108 -- ** @ADT@
109− , ADT, ADTable
109+ , ADT, ADTable, fromADT, toADT
110 , ConstructADT, constructADT
110 , ConstructADT, constructADT
111 , DeconstructADT, deconstructADT
111 , DeconstructADT, deconstructADT
112 , InsertADT, insertADT
112 , InsertADT, insertADT
@@ -114,7 +114,7 @@ module Rel8
114 , AggregateADT, aggregateADT
114 , AggregateADT, aggregateADT
115
115
116 -- ** @HKD@
116 -- ** @HKD@
117− , HKD, HKDable
117+ , HKD, HKDable, fromHKD, toHKD
118 , ConstructHKD, constructHKD
118 , ConstructHKD, constructHKD
119 , DeconstructHKD, deconstructHKD
119 , DeconstructHKD, deconstructHKD
120 , InsertHKD, insertHKD
120 , InsertHKD, insertHKD
src/Rel8/Generic/Rel8able/Test.hs+2
@@ -142,6 +142,8 @@ data TableSum f
142data TableProduct f = TableProduct
142data TableProduct f = TableProduct
143 { sum :: HADT f TableSum
143 { sum :: HADT f TableSum
144 , list :: TableList f
144 , list :: TableList f
145+ , foos :: HList f (ADT TableSum f)
146+ , bars :: HList f (HKD HKDSum f)
145 }
147 }
146 deriving stock Generic
148 deriving stock Generic
147 deriving anyclass Rel8able
149 deriving anyclass Rel8able