git.iko.soy/rel8
on master help sign in
Export fromADT, toADT, fromHKD and toHKD
commit5b1faf2efca695445767174dc832290e30c5a702 authorShane O'Brien <shane.obrien@circuithub.com> dateThu 6 May 2021, 00:30 (6 years ago) parentf8b1a55
2 files changed+4−2
compare with master
unifiedsplit
src/Rel8.hs+2−2 src/Rel8/Generic/Rel8able/Test.hs+2
src/Rel8.hs+2−2
@@ -106,7 +106,7 @@ module Rel8
106106 , some
107107
108108 -- ** @ADT@
109− , ADT, ADTable
109+ , ADT, ADTable, fromADT, toADT
110110 , ConstructADT, constructADT
111111 , DeconstructADT, deconstructADT
112112 , InsertADT, insertADT
@@ -114,7 +114,7 @@ module Rel8
114114 , AggregateADT, aggregateADT
115115
116116 -- ** @HKD@
117− , HKD, HKDable
117+ , HKD, HKDable, fromHKD, toHKD
118118 , ConstructHKD, constructHKD
119119 , DeconstructHKD, deconstructHKD
120120 , InsertHKD, insertHKD
src/Rel8/Generic/Rel8able/Test.hs+2
@@ -142,6 +142,8 @@ data TableSum f
142142data TableProduct f = TableProduct
143143 { sum :: HADT f TableSum
144144 , list :: TableList f
145+ , foos :: HList f (ADT TableSum f)
146+ , bars :: HList f (HKD HKDSum f)
145147 }
146148 deriving stock Generic
147149 deriving anyclass Rel8able