Sqel.Names.Set

Documentation

type family SetSel s sel where ...

Equations

SetSel ('DdK _ p t s) sel = 'DdK sel p t s

type family SetName s name where ...

Equations

SetName ('DdK ('SelIndex pre _) p t s) n = 'DdK ('SelIndex pre n) p t s

SetName s n = SetSel s ('SelSymbol n)

type family SetNames error s0 names where ...

Equations

SetNames _ '[] '[] = '[]

SetNames error (s ': ss) (n ': names) = SetName s n ': SetNames error ss names

SetNames error _ _ = TypeError error

type family SetNamesFor desc a ss names where ...

Equations

SetNamesFor desc a ss names = SetNames (CountMismatch desc a (Length @@ ss) (Length @@ names)) ss names

type family SetTypeName s name where ...

Equations

SetTypeName ('DdK sel p t ('Comp _ c i sub)) n = 'DdK sel p t ('Comp ('TSel 'DefaultPrefix n) c i sub)

SetTypeName ('DdK _ _ t 'Prim) _ = NoPrimType t

SetTypeName s _ = TypeError ("SetTypeName: " <> s)

type family SetTypeSel s sel where ...

Equations

SetTypeSel ('DdK sel p t ('Comp _ c i sub)) new = 'DdK sel p t ('Comp new c i sub)

SetTypeSel ('DdK _ _ t 'Prim) _ = NoPrimType t

SetTypeSel s sel = TypeError ("SetTypeSel:" % (sel % s))