git.iko.soy/rowtype-yoga/purescript-native
on f56ed2b help sign in
281 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"
118fromNumber :: String
119fromNumber = "fromNumber"
121-- Prelude Values
123zero :: String
124zero = "zero"
126one :: String
127one = "one"
129bottom :: String
130bottom = "bottom"
132top :: String
133top = "top"
135return :: String
136return = "return"
138pure' :: String
139pure' = "pure"
141returnEscaped :: String
142returnEscaped = "$return"
144untilE :: String
145untilE = "untilE"
147whileE :: String
148whileE = "whileE"
150runST :: String
151runST = "runST"
153stRefValue :: String
154stRefValue = "value"
156newSTRef :: String
157newSTRef = "newSTRef"
159readSTRef :: String
160readSTRef = "readSTRef"
162writeSTRef :: String
163writeSTRef = "writeSTRef"
165modifySTRef :: String
166modifySTRef = "modifySTRef"
168mkFn :: String
169mkFn = "mkFn"
171runFn :: String
172runFn = "runFn"
174unit :: String
175unit = "unit"
177-- Prim values
179undefined :: String
180undefined = "undefined"
182-- Type Class Dictionary Names
184monadEffDictionary :: String
185monadEffDictionary = "monadEff"
187applicativeEffDictionary :: String
188applicativeEffDictionary = "applicativeEff"
190bindEffDictionary :: String
191bindEffDictionary = "bindEff"
193semiringNumber :: String
194semiringNumber = "semiringNumber"
196semiringInt :: String
197semiringInt = "semiringInt"
199ringNumber :: String
200ringNumber = "ringNumber"
202ringInt :: String
203ringInt = "ringInt"
205moduloSemiringNumber :: String
206moduloSemiringNumber = "moduloSemiringNumber"
208moduloSemiringInt :: String
209moduloSemiringInt = "moduloSemiringInt"
211ordNumber :: String
212ordNumber = "ordNumber"
214ordInt :: String
215ordInt = "ordInt"
217eqNumber :: String
218eqNumber = "eqNumber"
220eqInt :: String
221eqInt = "eqInt"
223eqString :: String
224eqString = "eqString"
226eqBoolean :: String
227eqBoolean = "eqBoolean"
229boundedBoolean :: String
230boundedBoolean = "boundedBoolean"
232latticeBoolean :: String
233latticeBoolean = "latticeBoolean"
235complementedLatticeBoolean :: String
236complementedLatticeBoolean = "complementedLatticeBoolean"
238semigroupString :: String
239semigroupString = "semigroupString"
241semigroupoidArr :: String
242semigroupoidArr = "semigroupoidArr"
244-- Main module
246main :: String
247main = "main"
249-- Code Generation
251__superclass_ :: String
252__superclass_ = "__superclass_"
254__unused :: String
255__unused = "__unused"
257-- Modules
259prim :: String
260prim = "Prim"
262prelude :: String
263prelude = "Prelude"
265dataArrayUnsafe :: String
266dataArrayUnsafe = "Data_Array_Unsafe"
268eff :: String
269eff = "Control_Monad_Eff"
271st :: String
272st = "Control_Monad_ST"
274dataFunction :: String
275dataFunction = "Data_Function"
277dataInt :: String
278dataInt = "Data_Int"
280dataIntBits :: String
281dataIntBits = "Data_Int_Bits"