Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family SetNamesFor desc a ss names where ... Source #
SetNamesFor desc a ss names = SetNames (CountMismatch desc a (Length @@ ss) (Length @@ names)) ss names |
type family SetTypeName s name where ... Source #
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 ... Source #
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)) |