Add Lowered Name

ollef · ollef · commit 76ad198eda91 · 2024-05-30T21:17:21.000+02:00
diff --git a/src/Name.hs b/src/Name.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE DeriveAnyClass #-}
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
@@ -43,6 +44,12 @@ data QualifiedConstructor = QualifiedConstructor
 data Lifted = Lifted !Qualified !Int
   deriving (Eq, Ord, Show, Generic)
 
+data Lowered = Lowered !Lifted !LoweredKind
+  deriving (Eq, Ord, Show, Generic)
+
+data LoweredKind = Original | Init | Inited
+  deriving (Eq, Ord, Show, Generic, Hashable)
+
 unqualifyConstructor :: QualifiedConstructor -> Constructor
 unqualifyConstructor (QualifiedConstructor _ c) = c
 
@@ -114,3 +121,17 @@ instance Hashable Lifted where
 
   hash (Lifted m n) =
     hash m `hashWithSalt` n
+
+instance Pretty Lowered where
+  pretty (Lowered name loweredKind) =
+    case loweredKind of
+      Original -> pretty name
+      Init -> pretty name <> "$init"
+      Inited -> pretty name <> "$inited"
+
+instance Hashable Lowered where
+  hashWithSalt =
+    defaultHashWithSalt
+
+  hash (Lowered m n) =
+    hash m `hashWithSalt` n
