git.iko.soy/rowtype-yoga/purescript-native
on 7d936d3 help sign in
370 lines 5.1 kB history raw
1-- |
2-- Various constants which refer to things in the Prelude
3--
4module Language.PureScript.Constants where
6-- Operators
8($) :: String
9($) = "$"
11apply :: String
12apply = "apply"
14(#) :: String
15(#) = "#"
17applyFlipped :: String
18applyFlipped = "applyFlipped"
20(<>) :: String
21(<>) = "<>"
23(++) :: String
24(++) = "++"
26append :: String
27append = "append"
29(>>=) :: String
30(>>=) = ">>="
32bind :: String
33bind = "bind"
35(+) :: String
36(+) = "+"
38add :: String
39add = "add"
41(-) :: String
42(-) = "-"
44sub :: String
45sub = "sub"
47(*) :: String
48(*) = "*"
50mul :: String
51mul = "mul"
53(/) :: String
54(/) = "/"
56div :: String
57div = "div"
59(%) :: String
60(%) = "%"
62mod :: String
63mod = "mod"
65(<) :: String
66(<) = "<"
68lessThan :: String
69lessThan = "lessThan"
71(>) :: String
72(>) = ">"
74greaterThan :: String
75greaterThan = "greaterThan"
77(<=) :: String
78(<=) = "<="
80lessThanOrEq :: String
81lessThanOrEq = "lessThanOrEq"
83(>=) :: String
84(>=) = ">="
86greaterThanOrEq :: String
87greaterThanOrEq = "greaterThanOrEq"
89(==) :: String
90(==) = "=="
92eq :: String
93eq = "eq"
95(/=) :: String
96(/=) = "/="
98notEq :: String
99notEq = "notEq"
101(&&) :: String
102(&&) = "&&"
104conj :: String
105conj = "conj"
107(||) :: String
108(||) = "||"
110disj :: String
111disj = "disj"
113unsafeIndex :: String
114unsafeIndex = "unsafeIndex"
116(.|.) :: String
117(.|.) = ".|."
119(.&.) :: String
120(.&.) = ".&."
122(.^.) :: String
123(.^.) = ".^."
125(<<<) :: String
126(<<<) = "<<<"
128compose :: String
129compose = "compose"
131(>>>) :: String
132(>>>) = ">>>"
134composeFlipped :: String
135composeFlipped = "composeFlipped"
137-- Functions
139negate :: String
140negate = "negate"
142not :: String
143not = "not"
145shl :: String
146shl = "shl"
148shr :: String
149shr = "shr"
151zshr :: String
152zshr = "zshr"
154complement :: String
155complement = "complement"
157-- Prelude Values
159zero :: String
160zero = "zero"
162one :: String
163one = "one"
165bottom :: String
166bottom = "bottom"
168top :: String
169top = "top"
171return :: String
172return = "return"
174pure' :: String
175pure' = "pure"
177returnEscaped :: String
178returnEscaped = "$return"
180untilE :: String
181untilE = "untilE"
183whileE :: String
184whileE = "whileE"
186runST :: String
187runST = "runST"
189stRefValue :: String
190stRefValue = "value"
192newSTRef :: String
193newSTRef = "newSTRef"
195readSTRef :: String
196readSTRef = "readSTRef"
198writeSTRef :: String
199writeSTRef = "writeSTRef"
201modifySTRef :: String
202modifySTRef = "modifySTRef"
204mkFn :: String
205mkFn = "mkFn"
207runFn :: String
208runFn = "runFn"
210unit :: String
211unit = "unit"
213-- Prim values
215undefined :: String
216undefined = "undefined"
218-- Type Class Dictionary Names
220monadEffDictionary :: String
221monadEffDictionary = "monadEff"
223applicativeEffDictionary :: String
224applicativeEffDictionary = "applicativeEff"
226bindEffDictionary :: String
227bindEffDictionary = "bindEff"
229semiringNumber :: String
230semiringNumber = "semiringNumber"
232semiringInt :: String
233semiringInt = "semiringInt"
235ringNumber :: String
236ringNumber = "ringNumber"
238ringInt :: String
239ringInt = "ringInt"
241moduloSemiringNumber :: String
242moduloSemiringNumber = "moduloSemiringNumber"
244moduloSemiringInt :: String
245moduloSemiringInt = "moduloSemiringInt"
247ordBoolean :: String
248ordBoolean = "ordBoolean"
250ordNumber :: String
251ordNumber = "ordNumber"
253ordInt :: String
254ordInt = "ordInt"
256ordString :: String
257ordString = "ordString"
259ordChar :: String
260ordChar = "ordChar"
262eqNumber :: String
263eqNumber = "eqNumber"
265eqInt :: String
266eqInt = "eqInt"
268eqString :: String
269eqString = "eqString"
271eqChar :: String
272eqChar = "eqChar"
274eqBoolean :: String
275eqBoolean = "eqBoolean"
277boundedBoolean :: String
278boundedBoolean = "boundedBoolean"
280booleanAlgebraBoolean :: String
281booleanAlgebraBoolean = "booleanAlgebraBoolean"
283semigroupString :: String
284semigroupString = "semigroupString"
286semigroupoidFn :: String
287semigroupoidFn = "semigroupoidFn"
289-- Generic Deriving
291generic :: String
292generic = "Generic"
294toSpine :: String
295toSpine = "toSpine"
297fromSpine :: String
298fromSpine = "fromSpine"
300toSignature :: String
301toSignature = "toSignature"
303-- Main module
305main :: String
306main = "main"
308-- Code Generation
310__superclass_ :: String
311__superclass_ = "__superclass_"
313__unused :: String
314__unused = "__unused"
316-- Modules
318prim :: String
319prim = "Prim"
321prelude :: String
322prelude = "Prelude"
324dataArrayUnsafe :: String
325dataArrayUnsafe = "Data_Array_Unsafe"
327eff :: String
328eff = "Control_Monad_Eff"
330st :: String
331st = "Control_Monad_ST"
333controlApplicative :: String
334controlApplicative = "Control_Applicative"
336controlSemigroupoid :: String
337controlSemigroupoid = "Control_Semigroupoid"
339controlBind :: String
340controlBind = "Control_Bind"
342dataBounded :: String
343dataBounded = "Data_Bounded"
345dataSemigroup :: String
346dataSemigroup = "Data_Semigroup"
348dataModuloSemiring :: String
349dataModuloSemiring = "Data_ModuloSemiring"
351dataBooleanAlgebra :: String
352dataBooleanAlgebra = "Data_BooleanAlgebra"
354dataEq :: String
355dataEq = "Data_Eq"
357dataOrd :: String
358dataOrd = "Data_Ord"
360dataSemiring :: String
361dataSemiring = "Data_Semiring"
363dataRing :: String
364dataRing = "Data_Ring"
366dataFunction :: String
367dataFunction = "Data_Function"
369dataIntBits :: String
370dataIntBits = "Data_Int_Bits"