git.iko.soy/rowtype-yoga/purescript-native
on f8da0b9 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Names.hs
98 lines 2.5 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.List
21import Data.Data
22import Data.Function (on)
24-- |
25-- Names for value identifiers
26--
27data Ident
28 -- |
29 -- An alphanumeric identifier
30 --
31 = Ident String
32 -- |
33 -- A symbolic name for an infix operator
34 --
35 | Op String
36 -- |
37 -- An escaped name
38 --
39 | Escaped String deriving (Data, Typeable)
41instance Show Ident where
42 show (Ident s) = s
43 show (Op op) = '(':op ++ ")"
44 show (Escaped s) = s
46instance Eq Ident where
47 Ident s1 == Ident s2 = s1 == s2
48 Op s1 == Op s2 = s1 == s2
49 Escaped s1 == Escaped s2 = s1 == s2
50 Ident s1 == Escaped s2 = s1 == s2
51 Escaped s1 == Ident s2 = s1 == s2
52 _ == _ = False
54instance Ord Ident where
55 compare = compare `on` show
57-- |
58-- Proper names, i.e. capitalized names for e.g. module names, type//data constructors.
59--
60newtype ProperName = ProperName { runProperName :: String } deriving (Eq, Ord, Data, Typeable)
62instance Show ProperName where
63 show = runProperName
65-- |
66-- Module names
67--
68data ModuleName = ModuleName [ProperName] deriving (Eq, Ord, Data, Typeable)
70runModuleName :: ModuleName -> String
71runModuleName (ModuleName pns) = intercalate "." (runProperName `map` pns)
73moduleNameFromString :: String -> ModuleName
74moduleNameFromString = ModuleName . splitProperNames
75 where
76 splitProperNames s = case dropWhile (== '.') s of
77 "" -> []
78 s' -> ProperName w : splitProperNames s''
79 where (w, s'') = break (== '.') s'
81instance Show ModuleName where
82 show = runModuleName
84-- |
85-- A qualified name, i.e. a name with an optional module name
86--
87data Qualified a = Qualified (Maybe ModuleName) a deriving (Eq, Ord, Data, Typeable)
89instance (Show a) => Show (Qualified a) where
90 show (Qualified Nothing a) = show a
91 show (Qualified (Just name) a) = show name ++ "." ++ show a
93-- |
94-- Provide a default module name, if a name is unqualified
95--
96qualify :: ModuleName -> Qualified a -> (ModuleName, a)
97qualify m (Qualified Nothing a) = (m, a)
98qualify _ (Qualified (Just m) a) = (m, a)