Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class RenameTSel s0 s1 where Source #
renameTSel :: TSelW s0 -> TSelW s1 Source #
Instances
s0 ~ s1 => RenameTSel s0 s1 Source # | |
Defined in Sqel.Names.Rename renameTSel :: TSelW s0 -> TSelW s1 Source # | |
TypeName prefix tpe name => RenameTSel s0 ('TSel prefix tpe) Source # | |
Defined in Sqel.Names.Rename |
class Rename s0 s1 where Source #
Instances
Rename ('DdK sel p t ('Comp tsel c 'Merge sub)) ('DdK sel p t ('Comp tsel c 'Merge sub)) Source # | |
(RenameSel sel0 sel1, RenameTSel tsel0 tsel1) => Rename ('DdK sel0 p t ('Comp tsel0 c i sub)) ('DdK sel1 p t ('Comp tsel1 c i sub)) Source # | |
RenameSel sel0 sel1 => Rename ('DdK sel0 p t 'Prim) ('DdK sel1 p t 'Prim) Source # | |