git.iko.soy/rowtype-yoga/purescript-native
on ac2b456 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
382 lines 5.3 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"
101compare :: String
102compare = "compare"
104(&&) :: String
105(&&) = "&&"
107conj :: String
108conj = "conj"
110(||) :: String
111(||) = "||"
113disj :: String
114disj = "disj"
116unsafeIndex :: String
117unsafeIndex = "unsafeIndex"
119(.|.) :: String
120(.|.) = ".|."
122(.&.) :: String
123(.&.) = ".&."
125(.^.) :: String
126(.^.) = ".^."
128(<<<) :: String
129(<<<) = "<<<"
131compose :: String
132compose = "compose"
134(>>>) :: String
135(>>>) = ">>>"
137composeFlipped :: String
138composeFlipped = "composeFlipped"
140-- Functions
142negate :: String
143negate = "negate"
145not :: String
146not = "not"
148shl :: String
149shl = "shl"
151shr :: String
152shr = "shr"
154zshr :: String
155zshr = "zshr"
157complement :: String
158complement = "complement"
160-- Prelude Values
162zero :: String
163zero = "zero"
165one :: String
166one = "one"
168bottom :: String
169bottom = "bottom"
171top :: String
172top = "top"
174return :: String
175return = "return"
177pure' :: String
178pure' = "pure"
180returnEscaped :: String
181returnEscaped = "$return"
183untilE :: String
184untilE = "untilE"
186whileE :: String
187whileE = "whileE"
189runST :: String
190runST = "runST"
192stRefValue :: String
193stRefValue = "value"
195newSTRef :: String
196newSTRef = "newSTRef"
198readSTRef :: String
199readSTRef = "readSTRef"
201writeSTRef :: String
202writeSTRef = "writeSTRef"
204modifySTRef :: String
205modifySTRef = "modifySTRef"
207mkFn :: String
208mkFn = "mkFn"
210runFn :: String
211runFn = "runFn"
213unit :: String
214unit = "unit"
216-- Prim values
218undefined :: String
219undefined = "undefined"
221-- Type Class Dictionary Names
223monadEffDictionary :: String
224monadEffDictionary = "monadEff"
226applicativeEffDictionary :: String
227applicativeEffDictionary = "applicativeEff"
229bindEffDictionary :: String
230bindEffDictionary = "bindEff"
232semiringNumber :: String
233semiringNumber = "semiringNumber"
235semiringInt :: String
236semiringInt = "semiringInt"
238ringNumber :: String
239ringNumber = "ringNumber"
241ringInt :: String
242ringInt = "ringInt"
244moduloSemiringNumber :: String
245moduloSemiringNumber = "moduloSemiringNumber"
247moduloSemiringInt :: String
248moduloSemiringInt = "moduloSemiringInt"
250euclideanRingNumber :: String
251euclideanRingNumber = "euclideanRingNumber"
253euclideanRingInt :: String
254euclideanRingInt = "euclideanRingInt"
256ordBoolean :: String
257ordBoolean = "ordBoolean"
259ordNumber :: String
260ordNumber = "ordNumber"
262ordInt :: String
263ordInt = "ordInt"
265ordString :: String
266ordString = "ordString"
268ordChar :: String
269ordChar = "ordChar"
271eqNumber :: String
272eqNumber = "eqNumber"
274eqInt :: String
275eqInt = "eqInt"
277eqString :: String
278eqString = "eqString"
280eqChar :: String
281eqChar = "eqChar"
283eqBoolean :: String
284eqBoolean = "eqBoolean"
286boundedBoolean :: String
287boundedBoolean = "boundedBoolean"
289booleanAlgebraBoolean :: String
290booleanAlgebraBoolean = "booleanAlgebraBoolean"
292heytingAlgebraBoolean :: String
293heytingAlgebraBoolean = "heytingAlgebraBoolean"
295semigroupString :: String
296semigroupString = "semigroupString"
298semigroupoidFn :: String
299semigroupoidFn = "semigroupoidFn"
301-- Generic Deriving
303generic :: String
304generic = "Generic"
306toSpine :: String
307toSpine = "toSpine"
309fromSpine :: String
310fromSpine = "fromSpine"
312toSignature :: String
313toSignature = "toSignature"
315-- Main module
317main :: String
318main = "main"
320-- Code Generation
322__superclass_ :: String
323__superclass_ = "__superclass_"
325__unused :: String
326__unused = "__unused"
328-- Modules
330prim :: String
331prim = "Prim"
333prelude :: String
334prelude = "Prelude"
336dataArrayUnsafe :: String
337dataArrayUnsafe = "Data_Array_Unsafe"
339eff :: String
340eff = "Control_Monad_Eff"
342st :: String
343st = "Control_Monad_ST"
345controlApplicative :: String
346controlApplicative = "Control_Applicative"
348controlSemigroupoid :: String
349controlSemigroupoid = "Control_Semigroupoid"
351controlBind :: String
352controlBind = "Control_Bind"
354dataBounded :: String
355dataBounded = "Data_Bounded"
357dataSemigroup :: String
358dataSemigroup = "Data_Semigroup"
360dataHeytingAlgebra :: String
361dataHeytingAlgebra = "Data_HeytingAlgebra"
363dataEq :: String
364dataEq = "Data_Eq"
366dataOrd :: String
367dataOrd = "Data_Ord"
369dataSemiring :: String
370dataSemiring = "Data_Semiring"
372dataRing :: String
373dataRing = "Data_Ring"
375dataEuclideanRing :: String
376dataEuclideanRing = "Data_EuclideanRing"
378dataFunction :: String
379dataFunction = "Data_Function"
381dataIntBits :: String
382dataIntBits = "Data_Int_Bits"