Safe Haskell	Safe-Inferred
Language	Haskell2010

Sqel.Names.Rename

Documentation

class RenameSel s0 s1 where Source #

Methods

Instances details

RenameSel s0 'SelAuto Source #
Instance details Defined in Sqel.Names.Rename Methods renameSel :: SelW s0 -> SelW 'SelAuto Source #
RenameSel s0 'SelUnused Source #
Instance details Defined in Sqel.Names.Rename Methods renameSel :: SelW s0 -> SelW 'SelUnused Source #
s0 ~ s1 => RenameSel s0 s1 Source #
Instance details Defined in Sqel.Names.Rename Methods renameSel :: SelW s0 -> SelW s1 Source #
KnownSymbol name => RenameSel s0 ('SelSymbol name) Source #
Instance details Defined in Sqel.Names.Rename Methods renameSel :: SelW s0 -> SelW ('SelSymbol name) Source #

class RenameTSel s0 s1 where Source #

Methods

Instances details

s0 ~ s1 => RenameTSel s0 s1 Source #
Instance details Defined in Sqel.Names.Rename Methods renameTSel :: TSelW s0 -> TSelW s1 Source #
TypeName prefix tpe name => RenameTSel s0 ('TSel prefix tpe) Source #
Instance details Defined in Sqel.Names.Rename Methods renameTSel :: TSelW s0 -> TSelW ('TSel prefix tpe) Source #

class Rename s0 s1 where Source #

Methods

Instances details

Rename ('DdK sel p t ('Comp tsel c 'Merge sub)) ('DdK sel p t ('Comp tsel c 'Merge sub)) Source #
Instance details Defined in Sqel.Names.Rename Methods rename :: Dd ('DdK sel p t ('Comp tsel c 'Merge sub)) -> Dd ('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 #
Instance details Defined in Sqel.Names.Rename Methods rename :: Dd ('DdK sel0 p t ('Comp tsel0 c i sub)) -> Dd ('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 #
Instance details Defined in Sqel.Names.Rename Methods rename :: Dd ('DdK sel0 p t 'Prim) -> Dd ('DdK sel1 p t 'Prim) Source #

class RenameN h s0 s1 where Source #

Methods

renameN :: h Dd s0 -> h Dd s1 Source #

Instances details

(HTrans h h, AllZipN (Prod h) Rename s0 s1) => RenameN (h :: (DdK -> Type) -> k -> Type) (s0 :: k) (s1 :: k) Source #
Instance details Defined in Sqel.Names.Rename Methods renameN :: h Dd s0 -> h Dd s1 Source #

class Rename2 s0 s1 where Source #

Methods

Instances details

(RenameSel sel0 sel1, RenameTSel tsel0 tsel1, RenameN (NP :: (DdK -> Type) -> [DdK] -> Type) s0 s1) => Rename2 ('DdK sel0 p t ('Comp tsel0 c i s0)) ('DdK sel1 p t ('Comp tsel1 c i s1)) Source #
Instance details Defined in Sqel.Names.Rename Methods rename2 :: Dd ('DdK sel0 p t ('Comp tsel0 c i s0)) -> Dd ('DdK sel1 p t ('Comp tsel1 c i s1)) Source #
RenameSel sel0 sel1 => Rename2 ('DdK sel0 p t 'Prim) ('DdK sel1 p t 'Prim) Source #
Instance details Defined in Sqel.Names.Rename Methods rename2 :: Dd ('DdK sel0 p t 'Prim) -> Dd ('DdK sel1 p t 'Prim) Source #