module Language.PureScript.Names where
import Data.Data
import Data.Function (on)
data Ident
= Ident String
| Op String
| Escaped String deriving (Data, Typeable)
instance Show Ident where
show (Ident s) = s
show (Op op) = '(':op ++ ")"
show (Escaped s) = s
instance Eq Ident where
Ident s1 == Ident s2 = s1 == s2
Op s1 == Op s2 = s1 == s2
Escaped s1 == Escaped s2 = s1 == s2
Ident s1 == Escaped s2 = s1 == s2
Escaped s1 == Ident s2 = s1 == s2
_ == _ = False
instance Ord Ident where
compare = compare `on` show
newtype ProperName = ProperName { runProperName :: String } deriving (Eq, Ord, Data, Typeable)
instance Show ProperName where
show = runProperName
data ModuleName = ModuleName { runModuleName :: ProperName } deriving (Eq, Ord, Data, Typeable)
instance Show ModuleName where
show (ModuleName name) = show name
data Qualified a = Qualified (Maybe ModuleName) a deriving (Eq, Ord, Data, Typeable)
instance (Show a) => Show (Qualified a) where
show (Qualified Nothing a) = show a
show (Qualified (Just (ModuleName name)) a) = show name ++ "." ++ show a
qualify :: ModuleName -> Qualified a -> (ModuleName, a)
qualify m (Qualified Nothing a) = (m, a)
qualify _ (Qualified (Just m) a) = (m, a)