git.iko.soy/schematic
on master help sign in
Add Utils
47ca50eDenis Redozubov
src/Data/Schematic/Utils.hs−3
compare with master
unifiedsplit
@@ -32,6 +32,3 @@ instance Known (Rec Sing '[]) where
32
32
33instance (Known (Sing a), Known (Rec Sing tl)) => Known (Rec Sing (a ': tl)) where
33instance (Known (Sing a), Known (Rec Sing tl)) => Known (Rec Sing (a ': tl)) where
34 known = known :& known
34 known = known :& known
35−
36−data Dict c where
37− Dict :: c => Dict c