git.iko.soy/rowtype-yoga/purescript-native
on a23d2a0 help sign in
278 lines 3.9 kB history raw
1-----------------------------------------------------------------------------
2--
3-- Module : Language.PureScript.Constants
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-- Various constants which refer to things in the Prelude
13--
14-----------------------------------------------------------------------------
16module Language.PureScript.Constants where
18-- Operators
20($) :: String
21($) = "$"
23(#) :: String
24(#) = "#"
26(<>) :: String
27(<>) = "<>"
29(++) :: String
30(++) = "++"
32(>>=) :: String
33(>>=) = ">>="
35(+) :: String
36(+) = "+"
38(-) :: String
39(-) = "-"
41(*) :: String
42(*) = "*"
44(/) :: String
45(/) = "/"
47(%) :: String
48(%) = "%"
50(<) :: String
51(<) = "<"
53(>) :: String
54(>) = ">"
56(<=) :: String
57(<=) = "<="
59(>=) :: String
60(>=) = ">="
62(==) :: String
63(==) = "=="
65(/=) :: String
66(/=) = "/="
68(&&) :: String
69(&&) = "&&"
71(||) :: String
72(||) = "||"
74unsafeIndex :: String
75unsafeIndex = "unsafeIndex"
77(.|.) :: String
78(.|.) = ".|."
80(.&.) :: String
81(.&.) = ".&."
83(.^.) :: String
84(.^.) = ".^."
86(<<<) :: String
87(<<<) = "<<<"
89-- Functions
91negate :: String
92negate = "negate"
94not :: String
95not = "not"
97sup :: String
98sup = "sup"
100inf :: String
101inf = "inf"
103mod :: String
104mod = "mod"
106shl :: String
107shl = "shl"
109shr :: String
110shr = "shr"
112zshr :: String
113zshr = "zshr"
115complement :: String
116complement = "complement"
118-- Prelude Values
120zero :: String
121zero = "zero"
123one :: String
124one = "one"
126bottom :: String
127bottom = "bottom"
129top :: String
130top = "top"
132return :: String
133return = "return"
135pure' :: String
136pure' = "pure"
138returnEscaped :: String
139returnEscaped = "$return"
141untilE :: String
142untilE = "untilE"
144whileE :: String
145whileE = "whileE"
147runST :: String
148runST = "runST"
150stRefValue :: String
151stRefValue = "value"
153newSTRef :: String
154newSTRef = "newSTRef"
156readSTRef :: String
157readSTRef = "readSTRef"
159writeSTRef :: String
160writeSTRef = "writeSTRef"
162modifySTRef :: String
163modifySTRef = "modifySTRef"
165mkFn :: String
166mkFn = "mkFn"
168runFn :: String
169runFn = "runFn"
171unit :: String
172unit = "unit"
174-- Prim values
176undefined :: String
177undefined = "undefined"
179-- Type Class Dictionary Names
181monadEffDictionary :: String
182monadEffDictionary = "monadEff"
184applicativeEffDictionary :: String
185applicativeEffDictionary = "applicativeEff"
187bindEffDictionary :: String
188bindEffDictionary = "bindEff"
190semiringNumber :: String
191semiringNumber = "semiringNumber"
193semiringInt :: String
194semiringInt = "semiringInt"
196ringNumber :: String
197ringNumber = "ringNumber"
199ringInt :: String
200ringInt = "ringInt"
202moduloSemiringNumber :: String
203moduloSemiringNumber = "moduloSemiringNumber"
205moduloSemiringInt :: String
206moduloSemiringInt = "moduloSemiringInt"
208ordNumber :: String
209ordNumber = "ordNumber"
211ordInt :: String
212ordInt = "ordInt"
214eqNumber :: String
215eqNumber = "eqNumber"
217eqInt :: String
218eqInt = "eqInt"
220eqString :: String
221eqString = "eqString"
223eqBoolean :: String
224eqBoolean = "eqBoolean"
226boundedBoolean :: String
227boundedBoolean = "boundedBoolean"
229latticeBoolean :: String
230latticeBoolean = "latticeBoolean"
232complementedLatticeBoolean :: String
233complementedLatticeBoolean = "complementedLatticeBoolean"
235semigroupString :: String
236semigroupString = "semigroupString"
238semigroupoidArr :: String
239semigroupoidArr = "semigroupoidArr"
241-- Main module
243main :: String
244main = "main"
246-- Code Generation
248__superclass_ :: String
249__superclass_ = "__superclass_"
251__unused :: String
252__unused = "__unused"
254-- Modules
256prim :: String
257prim = "Prim"
259prelude :: String
260prelude = "Prelude"
262dataArrayUnsafe :: String
263dataArrayUnsafe = "Data_Array_Unsafe"
265eff :: String
266eff = "Control_Monad_Eff"
268st :: String
269st = "Control_Monad_ST"
271dataFunction :: String
272dataFunction = "Data_Function"
274dataInt :: String
275dataInt = "Data_Int"
277dataIntBits :: String
278dataIntBits = "Data_Int_Bits"