Add tar GNUmakefile target.

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

diff --git a/symantic-lib/Language/Symantic/Lib/Maybe.hs b/symantic-lib/Language/Symantic/Lib/Maybe.hs
index 8b562eb4f6aa0db03f15711b4bfb6e5330c939fa..595e6c653723dbc27e432a045b3c4a064da0fd38 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Maybe.hs
+++ b/symantic-lib/Language/Symantic/Lib/Maybe.hs
@@ -45,6 +45,8 @@ instance (Sym_Maybe r1, Sym_Maybe r2) => Sym_Maybe (Dup r1 r2) where
 instance (Sym_Maybe term, Sym_Lambda term) => Sym_Maybe (BetaT term)
 
 -- Typing
+instance NameTyOf Maybe where
+       nameTyOf _c = ["Maybe"] `Mod` "Maybe"
 instance FixityOf Maybe
 instance ClassInstancesFor Maybe where
        proveConstraintFor _ (TyApp _ (TyConst _ _ q) c)
@@ -78,7 +80,7 @@ instance TypeInstancesFor Maybe where
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Maybe
-instance (Source src, Inj_Sym ss Maybe) => ModuleFor src ss Maybe where
+instance (Source src, SymInj ss Maybe) => ModuleFor src ss Maybe where
        moduleFor = ["Maybe"] `moduleWhere`
         [ "Nothing" := teMaybe_Nothing
         , "Just"    := teMaybe_Just
@@ -86,7 +88,7 @@ instance (Source src, Inj_Sym ss Maybe) => ModuleFor src ss Maybe where
         ]
 
 -- ** 'Type's
-tyMaybe :: Source src => Inj_Len vs => Type src vs a -> Type src vs (Maybe a)
+tyMaybe :: Source src => LenInj vs => Type src vs a -> Type src vs (Maybe a)
 tyMaybe = (tyConst @(K Maybe) @Maybe `tyApp`)
 
 -- ** 'Term's