git.iko.soy/rowtype-yoga/purescript-native
on 5ce8345 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Names.hs
69 lines 1.7 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 deriving (Eq, Ord, Data, Typeable)
35instance Show Ident where
36 show (Ident s) = s
37 show (Op op) = '(':op ++ ")"
39-- |
40-- Proper names, i.e. capitalized names for e.g. module names, type//data constructors.
41--
42newtype ProperName = ProperName { runProperName :: String } deriving (Eq, Ord, Data, Typeable)
44instance Show ProperName where
45 show = runProperName
47-- |
48-- Module names
49--
50data ModuleName = ModuleName ProperName deriving (Eq, Ord, Data, Typeable)
52instance Show ModuleName where
53 show (ModuleName name) = show name
55-- |
56-- A qualified name, i.e. a name with an optional module name
57--
58data Qualified a = Qualified (Maybe ModuleName) a deriving (Eq, Ord, Data, Typeable)
60instance (Show a) => Show (Qualified a) where
61 show (Qualified Nothing a) = show a
62 show (Qualified (Just (ModuleName name)) a) = show name ++ "." ++ show a
64-- |
65-- Provide a default module name, if a name is unqualified
66--
67qualify :: ModuleName -> Qualified a -> (ModuleName, a)
68qualify m (Qualified Nothing a) = (m, a)
69qualify _ (Qualified (Just m) a) = (m, a)