git.iko.soy/rowtype-yoga/purescript-native
on 3607996 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Types.hs
145 lines 3.0 kB history raw
1-----------------------------------------------------------------------------
2--
3-- Module : Language.PureScript.Types
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 types
13--
14-----------------------------------------------------------------------------
16{-# LANGUAGE DeriveDataTypeable #-}
18module Language.PureScript.Types where
20import Data.Data
21import Data.Generics (mkT, mkQ, everywhereBut)
23import Control.Monad.Unify
25import Language.PureScript.Names
27-- |
28-- The type of types
29--
30data Type
31 -- |
32 -- A unification variable of type Type
33 --
34 = TUnknown (TypedUnknown Type)
35 -- |
36 -- Javascript numbers
37 --
38 | Number
39 -- |
40 -- Javascript strings
41 --
42 | String
43 -- |
44 -- Javascript booleans
45 --
46 | Boolean
47 -- |
48 -- Javascript array type constructor
49 --
50 | Array
51 -- |
52 -- Records, parameterized by a row of types
53 --
54 | Object Type
55 -- |
56 -- A function, with zero or more arguments
57 --
58 | Function
59 -- |
60 -- A named type variable
61 --
62 | TypeVar String
63 -- |
64 -- A type constructor
65 --
66 | TypeConstructor (Qualified ProperName)
67 -- |
68 -- A type application
69 --
70 | TypeApp Type Type
71 -- |
72 -- A type synonym which is \"saturated\", i.e. fully applied
73 --
74 | SaturatedTypeSynonym (Qualified ProperName) [Type]
75 -- |
76 -- Forall quantifier
77 --
78 | ForAll String Type
79 -- |
80 -- A type with a set of type class constraints
81 --
82 | ConstrainedType [(Qualified ProperName, Type)] Type
83 -- |
84 -- A skolem constant
85 --
86 | Skolem Int
87 -- |
88 -- An empty row
89 --
90 | REmpty
91 -- |
92 -- A non-empty row
93 --
94 | RCons String Type Type deriving (Show, Eq, Data, Typeable)
96-- |
97-- Smart constructor for function types
98--
99function :: Type -> Type -> Type
100function t1 t2 = TypeApp (TypeApp Function t1) t2
102-- |
103-- Convert a row to a list of pairs of labels and types
104--
105rowToList :: Type -> ([(String, Type)], Type)
106rowToList (RCons name ty row) = let (tys, rest) = rowToList row
107 in ((name, ty):tys, rest)
108rowToList r = ([], r)
110-- |
111-- Convert a list of labels and types to a row
112--
113rowFromList :: ([(String, Type)], Type) -> Type
114rowFromList ([], r) = r
115rowFromList ((name, t):ts, r) = RCons name t (rowFromList (ts, r))
117-- |
118-- Check whether a type is a monotype
119--
120isMonoType :: Type -> Bool
121isMonoType (ForAll _ _) = False
122isMonoType ty = True
124-- |
125-- Universally quantify a type
126--
127mkForAll :: [String] -> Type -> Type
128mkForAll = flip . foldl . flip $ ForAll
130-- |
131-- The empty record type
132--
133unit :: Type
134unit = Object REmpty
136-- |
137-- Replace a type variable, taking into account variable shadowing
138--
139replaceTypeVars :: (Data d) => String -> Type -> d -> d
140replaceTypeVars name t = everywhereBut (mkQ False isShadowed) (mkT replaceTypeVar)
141 where
142 replaceTypeVar (TypeVar v) | v == name = t
143 replaceTypeVar other = other
144 isShadowed (ForAll v _) | v == name = True
145 isShadowed _ = False