git.iko.soy/rowtype-yoga/purescript-native
on 1376700 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Names.hs
111 lines 3.2 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 #-}
17{-# LANGUAGE DeriveFunctor #-}
18{-# LANGUAGE GADTs #-}
20module Language.PureScript.Names where
22import Data.List
23import Data.Data
24import Data.List.Split (splitOn)
25import qualified Data.Aeson as A
26import qualified Data.Text as T
28-- |
29-- Names for value identifiers
30--
31data Ident
32 -- |
33 -- An alphanumeric identifier
34 --
35 = Ident String
36 -- |
37 -- A symbolic name for an infix operator
38 --
39 | Op String deriving (Show, Read, Eq, Ord, Data, Typeable)
41runIdent :: Ident -> String
42runIdent (Ident i) = i
43runIdent (Op op) = op
45showIdent :: Ident -> String
46showIdent (Ident i) = i
47showIdent (Op op) = '(' : op ++ ")"
49-- |
50-- Proper names, i.e. capitalized names for e.g. module names, type//data constructors.
51--
52newtype ProperName = ProperName { runProperName :: String } deriving (Show, Read, Eq, Ord, Data, Typeable)
54-- |
55-- Module names
56--
57data ModuleName = ModuleName [ProperName] deriving (Show, Read, Eq, Ord, Data, Typeable)
59runModuleName :: ModuleName -> String
60runModuleName (ModuleName pns) = intercalate "." (runProperName `map` pns)
62moduleNameFromString :: String -> ModuleName
63moduleNameFromString = ModuleName . splitProperNames
64 where
65 splitProperNames s = case dropWhile (== '.') s of
66 "" -> []
67 s' -> ProperName w : splitProperNames s''
68 where (w, s'') = break (== '.') s'
70-- |
71-- A qualified name, i.e. a name with an optional module name
72--
73data Qualified a = Qualified (Maybe ModuleName) a deriving (Show, Read, Eq, Ord, Data, Typeable, Functor)
75showQualified :: (a -> String) -> Qualified a -> String
76showQualified f (Qualified Nothing a) = f a
77showQualified f (Qualified (Just name) a) = runModuleName name ++ "." ++ f a
79instance (a ~ ProperName) => A.ToJSON (Qualified a) where
80 toJSON = A.toJSON . showQualified runProperName
82instance (a ~ ProperName) => A.FromJSON (Qualified a) where
83 parseJSON =
84 A.withText "Qualified ProperName" $ \str ->
85 return $ case reverse (splitOn "." (T.unpack str)) of
86 [name] -> Qualified Nothing (ProperName name)
87 (name:rest) -> Qualified (Just (reconstructModuleName rest)) (ProperName name)
88 _ -> Qualified Nothing (ProperName "")
89 where
90 reconstructModuleName = moduleNameFromString . intercalate "." . reverse
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)
100-- |
101-- Makes a qualified value from a name and module name.
102--
103mkQualified :: a -> ModuleName -> Qualified a
104mkQualified name mn = Qualified (Just mn) name
106-- |
107-- Checks whether a qualified value is actually qualified with a module reference
108--
109isUnqualified :: Qualified a -> Bool
110isUnqualified (Qualified Nothing _) = True
111isUnqualified _ = False