Rename Dim -> Dimension.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / Show.hs

diff --git a/symantic-lib/Language/Symantic/Lib/Show.hs b/symantic-lib/Language/Symantic/Lib/Show.hs
index 5ccda7bfc41c83ce7125d3588ccae284f153ad0f..08a7539bf7ff08eb9872798800b58e25b95e0410 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Show.hs
+++ b/symantic-lib/Language/Symantic/Lib/Show.hs
@@ -45,13 +45,15 @@ instance (Sym_Show r1, Sym_Show r2) => Sym_Show (Dup r1 r2) where
 instance (Sym_Show term, Sym_Lambda term) => Sym_Show (BetaT term)
 
 -- Typing
+instance NameTyOf Show where
+       nameTyOf _c = ["Show"] `Mod` "Show"
 instance FixityOf Show
 instance ClassInstancesFor Show
 instance TypeInstancesFor Show
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Show
-instance (Source src, Inj_Sym ss Show) => ModuleFor src ss Show where
+instance (Source src, SymInj ss Show) => ModuleFor src ss Show where
        moduleFor = ["Show"] `moduleWhere`
         [ "showsPrec" := teShow_showsPrec
         , "show"      := teShow_show
@@ -62,7 +64,7 @@ instance (Source src, Inj_Sym ss Show) => ModuleFor src ss Show where
 tyShow :: Source src => Type src vs a -> Type src vs (Show a)
 tyShow a = tyConstLen @(K Show) @Show (lenVars a) `tyApp` a
 
-tyShowS :: Source src => Inj_Len vs => Type src vs ShowS
+tyShowS :: Source src => LenInj vs => Type src vs ShowS
 tyShowS = tyString ~> tyString
 
 -- ** 'Term's