git.iko.soy/rowtype-yoga/purescript-native
on 6e46a60 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Names.hs
74 lines 1.8 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
22-- |
23-- Names for value identifiers
24--
25data Ident
26 -- |
27 -- An alphanumeric identifier
28 --
29 = Ident String
30 -- |
31 -- A symbolic name for an infix operator
32 --
33 | Op String
34 -- |
35 -- An escaped name
36 --
37 | Escaped String deriving (Eq, Ord, Data, Typeable)
39instance Show Ident where
40 show (Ident s) = s
41 show (Op op) = '(':op ++ ")"
42 show (Escaped s) = s
44-- |
45-- Proper names, i.e. capitalized names for e.g. module names, type//data constructors.
46--
47newtype ProperName = ProperName { runProperName :: String } deriving (Eq, Ord, Data, Typeable)
49instance Show ProperName where
50 show = runProperName
52-- |
53-- Module names
54--
55data ModuleName = ModuleName { runModuleName :: ProperName } deriving (Eq, Ord, Data, Typeable)
57instance Show ModuleName where
58 show (ModuleName name) = show name
60-- |
61-- A qualified name, i.e. a name with an optional module name
62--
63data Qualified a = Qualified (Maybe ModuleName) a deriving (Eq, Ord, Data, Typeable)
65instance (Show a) => Show (Qualified a) where
66 show (Qualified Nothing a) = show a
67 show (Qualified (Just (ModuleName name)) a) = show name ++ "." ++ show a
69-- |
70-- Provide a default module name, if a name is unqualified
71--
72qualify :: ModuleName -> Qualified a -> (ModuleName, a)
73qualify m (Qualified Nothing a) = (m, a)
74qualify _ (Qualified (Just m) a) = (m, a)