-- |

{-# LANGUAGE DeriveDataTypeable, DeriveFunctor #-}

module Language.PureScript.Names where

import Data.List

import Data.Data

-- |

data Ident

-- |

-- An alphanumeric identifier

--

= Ident String

-- |

-- A symbolic name for an infix operator

--

| Op String deriving (Eq, Ord, Data, Typeable)

runIdent :: Ident -> String

runIdent (Ident i) = i

runIdent (Op op) = op

instance Show Ident where

show (Ident s) = s

show (Op op) = '(':op ++ ")"

-- |

newtype ProperName = ProperName { runProperName :: String } deriving (Eq, Ord, Data, Typeable)

instance Show ProperName where

show = runProperName

-- |

data ModuleName = ModuleName [ProperName] deriving (Eq, Ord, Data, Typeable)

runModuleName :: ModuleName -> String

runModuleName (ModuleName pns) = intercalate "." (runProperName `map` pns)

moduleNameFromString :: String -> ModuleName

moduleNameFromString = ModuleName . splitProperNames

where

splitProperNames s = case dropWhile (== '.') s of

"" -> []

s' -> ProperName w : splitProperNames s''

where (w, s'') = break (== '.') s'

instance Show ModuleName where

show = runModuleName

-- |

data Qualified a = Qualified (Maybe ModuleName) a deriving (Eq, Ord, Data, Typeable, Functor)

instance (Show a) => Show (Qualified a) where

show (Qualified Nothing a) = show a

show (Qualified (Just 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)