git.iko.soy/rowtype-yoga/purescript-native
on dc8b726 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Names.hs
86 lines 2.1 kB history raw
1-----------------------------------------------------------------------------
2--
3-- Module : Language.PureScript.Names
4-- Copyright : (c) Phil Freeman 2013
5-- License : MIT
6--
7-- Maintainer : Phil Freeman <paf31@cantab.net>
8-- Stability : experimental
9-- Portability :
10--
11-- |
12-- Data types for names
13--
14-----------------------------------------------------------------------------
16{-# LANGUAGE DeriveDataTypeable #-}
18module Language.PureScript.Names where
20import Data.Data
21import Data.Function (on)
23-- |
24-- Names for value identifiers
25--
26data Ident
27 -- |
28 -- An alphanumeric identifier
29 --
30 = Ident String
31 -- |
32 -- A symbolic name for an infix operator
33 --
34 | Op String
35 -- |
36 -- An escaped name
37 --
38 | Escaped String deriving (Data, Typeable)
40instance Show Ident where
41 show (Ident s) = s
42 show (Op op) = '(':op ++ ")"
43 show (Escaped s) = s
45instance Eq Ident where
46 Ident s1 == Ident s2 = s1 == s2
47 Op s1 == Op s2 = s1 == s2
48 Escaped s1 == Escaped s2 = s1 == s2
49 Ident s1 == Escaped s2 = s1 == s2
50 Escaped s1 == Ident s2 = s1 == s2
51 _ == _ = False
53instance Ord Ident where
54 compare = compare `on` show
56-- |
57-- Proper names, i.e. capitalized names for e.g. module names, type//data constructors.
58--
59newtype ProperName = ProperName { runProperName :: String } deriving (Eq, Ord, Data, Typeable)
61instance Show ProperName where
62 show = runProperName
64-- |
65-- Module names
66--
67data ModuleName = ModuleName { runModuleName :: ProperName } deriving (Eq, Ord, Data, Typeable)
69instance Show ModuleName where
70 show (ModuleName name) = show name
72-- |
73-- A qualified name, i.e. a name with an optional module name
74--
75data Qualified a = Qualified (Maybe ModuleName) a deriving (Eq, Ord, Data, Typeable)
77instance (Show a) => Show (Qualified a) where
78 show (Qualified Nothing a) = show a
79 show (Qualified (Just (ModuleName name)) a) = show name ++ "." ++ show a
81-- |
82-- Provide a default module name, if a name is unqualified
83--
84qualify :: ModuleName -> Qualified a -> (ModuleName, a)
85qualify m (Qualified Nothing a) = (m, a)
86qualify _ (Qualified (Just m) a) = (m, a)