rename: InfoLessC

Author: cstml

lambda-buffers-compiler/src/LambdaBuffers/Compiler/ProtoCompat/InfoLess.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE DefaultSignatures #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
 
 module LambdaBuffers.Compiler.ProtoCompat.InfoLess (
   InfoLess,
@@ -68,85 +69,86 @@ newtype InfoLess a = InfoLess {unsafeInfoLess :: a}
 {- | SourceInfo Less ID.
  A TypeClass that provides id for types with SourceInfo - where SI is defaulted - therefore ignored. Not exported for obvious unsafe reasons.
 -}
-class Eq a => SILId a where
+class Eq a => InfoLessC a where
   silId :: a -> a
-  default silId :: (Generic a, All2 SILId (Code a)) => a -> a
+  default silId :: (Generic a, All2 InfoLessC (Code a)) => a -> a
   silId = gsilId
 
 -- | Make InfoLess Datatype.
-mkInfoLess :: SILId a => a -> InfoLess a
+mkInfoLess :: InfoLessC a => a -> InfoLess a
 mkInfoLess = InfoLess . silId
 
-gsilId :: (Generic a, All2 SILId (Code a)) => a -> a
-gsilId = to . hcmap (Proxy :: Proxy SILId) (mapII silId) . from
+gsilId :: (Generic a, All2 InfoLessC (Code a)) => a -> a
+gsilId = to . hcmap (Proxy :: Proxy InfoLessC) (mapII silId) . from
 
 -- | Work with Info Less.
-withInfoLess :: SILId a => InfoLess a -> (a -> b) -> b
+withInfoLess :: InfoLessC a => InfoLess a -> (a -> b) -> b
 withInfoLess (InfoLess a) f = f . unsafeInfoLess . mkInfoLess $ a
 
 -- | Work with Info Less - functor way.
-withInfoLessF :: forall f {a} {b}. SILId a => InfoLess a -> (a -> f b) -> f b
+withInfoLessF :: forall f {a} {b}. InfoLessC a => InfoLess a -> (a -> f b) -> f b
 withInfoLessF (InfoLess a) f = f . unsafeInfoLess . mkInfoLess $ a
 
-instance SILId a => SILId [a] where
+instance InfoLessC a => InfoLessC [a] where
   silId = fmap silId
 
-instance SILId Int where
+instance InfoLessC Int where
   silId = id
 
-instance SILId Text where
+instance InfoLessC Text where
   silId = id
 
-instance (Ord k, SILId k, SILId v) => SILId (M.Map k v) where
+instance (Ord k, InfoLessC k, InfoLessC v) => InfoLessC (M.Map k v) where
+  silId :: forall k v. (Ord k, InfoLessC k, InfoLessC v) => M.Map k v -> M.Map k v
   silId = M.fromList . fmap (bimap silId silId) . M.toList
 
-instance (Ord a, SILId a) => SILId (S.Set a) where
+instance (Ord a, InfoLessC a) => InfoLessC (S.Set a) where
   silId = S.fromList . fmap silId . S.toList
 
-instance SILId SourceInfo where
+instance InfoLessC SourceInfo where
   silId = const def
 
 instance Default SourceInfo where
   def = defSourceInfo
 
-instance SILId SourcePosition
-instance SILId LBName
-instance SILId TyName
-instance SILId ConstrName
-instance SILId ModuleName
-instance SILId ModuleNamePart
-instance SILId VarName
-instance SILId FieldName
-instance SILId ClassName
-instance SILId Kind
-instance SILId KindType
-instance SILId KindRefType
-instance SILId TyVar
-instance SILId Ty
-instance SILId TyApp
-instance SILId ForeignRef
-instance SILId LocalRef
-instance SILId TyRef
-instance SILId TyDef
-instance SILId TyAbs
-instance SILId TyArg
-instance SILId TyBody
-instance SILId Constructor
-instance SILId Sum
-instance SILId Field
-instance SILId Record
-instance SILId Tuple
-instance SILId Product
-instance SILId ForeignClassRef
-instance SILId LocalClassRef
-instance SILId TyClassRef
-instance SILId ClassDef
-instance SILId InstanceClause
-instance SILId Constraint
-instance SILId Module
-instance SILId InferenceErr
-instance SILId KindCheckErr
-instance SILId CompilerInput
-instance SILId KindCheckError
-instance SILId CompilerError
-instance SILId CompilerResult
+instance InfoLessC SourcePosition
+instance InfoLessC LBName
+instance InfoLessC TyName
+instance InfoLessC ConstrName
+instance InfoLessC ModuleName
+instance InfoLessC ModuleNamePart
+instance InfoLessC VarName
+instance InfoLessC FieldName
+instance InfoLessC ClassName
+instance InfoLessC Kind
+instance InfoLessC KindType
+instance InfoLessC KindRefType
+instance InfoLessC TyVar
+instance InfoLessC Ty
+instance InfoLessC TyApp
+instance InfoLessC ForeignRef
+instance InfoLessC LocalRef
+instance InfoLessC TyRef
+instance InfoLessC TyDef
+instance InfoLessC TyAbs
+instance InfoLessC TyArg
+instance InfoLessC TyBody
+instance InfoLessC Constructor
+instance InfoLessC Sum
+instance InfoLessC Field
+instance InfoLessC Record
+instance InfoLessC Tuple
+instance InfoLessC Product
+instance InfoLessC ForeignClassRef
+instance InfoLessC LocalClassRef
+instance InfoLessC TyClassRef
+instance InfoLessC ClassDef
+instance InfoLessC InstanceClause
+instance InfoLessC Constraint
+instance InfoLessC Module
+instance InfoLessC InferenceErr
+instance InfoLessC KindCheckErr
+instance InfoLessC CompilerInput
+instance InfoLessC KindCheckError
+instance InfoLessC CompilerError
+instance InfoLessC CompilerResult