git.iko.soy/rowtype-yoga/purescript-native
on 9ed0974 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
403 lines 5.7 kB history raw
1-- | Various constants which refer to things in the Prelude
2module Language.PureScript.Constants where
4import Prelude.Compat
5import Data.Text (Text)
6import Language.PureScript.Names
8-- Operators
10($) :: Text
11($) = "$"
13apply :: Text
14apply = "apply"
16(#) :: Text
17(#) = "#"
19applyFlipped :: Text
20applyFlipped = "applyFlipped"
22(<>) :: Text
23(<>) = "<>"
25(++) :: Text
26(++) = "++"
28append :: Text
29append = "append"
31(>>=) :: Text
32(>>=) = ">>="
34bind :: Text
35bind = "bind"
37(+) :: Text
38(+) = "+"
40add :: Text
41add = "add"
43(-) :: Text
44(-) = "-"
46sub :: Text
47sub = "sub"
49(*) :: Text
50(*) = "*"
52mul :: Text
53mul = "mul"
55(/) :: Text
56(/) = "/"
58div :: Text
59div = "div"
61(%) :: Text
62(%) = "%"
64mod :: Text
65mod = "mod"
67(<) :: Text
68(<) = "<"
70lessThan :: Text
71lessThan = "lessThan"
73(>) :: Text
74(>) = ">"
76greaterThan :: Text
77greaterThan = "greaterThan"
79(<=) :: Text
80(<=) = "<="
82lessThanOrEq :: Text
83lessThanOrEq = "lessThanOrEq"
85(>=) :: Text
86(>=) = ">="
88greaterThanOrEq :: Text
89greaterThanOrEq = "greaterThanOrEq"
91(==) :: Text
92(==) = "=="
94eq :: Text
95eq = "eq"
97(/=) :: Text
98(/=) = "/="
100notEq :: Text
101notEq = "notEq"
103compare :: Text
104compare = "compare"
106(&&) :: Text
107(&&) = "&&"
109conj :: Text
110conj = "conj"
112(||) :: Text
113(||) = "||"
115disj :: Text
116disj = "disj"
118unsafeIndex :: Text
119unsafeIndex = "unsafeIndex"
121or :: Text
122or = "or"
124and :: Text
125and = "and"
127xor :: Text
128xor = "xor"
130(<<<) :: Text
131(<<<) = "<<<"
133compose :: Text
134compose = "compose"
136(>>>) :: Text
137(>>>) = ">>>"
139composeFlipped :: Text
140composeFlipped = "composeFlipped"
142-- Functions
144negate :: Text
145negate = "negate"
147not :: Text
148not = "not"
150shl :: Text
151shl = "shl"
153shr :: Text
154shr = "shr"
156zshr :: Text
157zshr = "zshr"
159complement :: Text
160complement = "complement"
162-- Prelude Values
164zero :: Text
165zero = "zero"
167one :: Text
168one = "one"
170bottom :: Text
171bottom = "bottom"
173top :: Text
174top = "top"
176return :: Text
177return = "return"
179pure' :: Text
180pure' = "pure"
182returnEscaped :: Text
183returnEscaped = "$return"
185untilE :: Text
186untilE = "untilE"
188whileE :: Text
189whileE = "whileE"
191runST :: Text
192runST = "runST"
194stRefValue :: Text
195stRefValue = "value"
197newSTRef :: Text
198newSTRef = "newSTRef"
200readSTRef :: Text
201readSTRef = "readSTRef"
203writeSTRef :: Text
204writeSTRef = "writeSTRef"
206modifySTRef :: Text
207modifySTRef = "modifySTRef"
209mkFn :: Text
210mkFn = "mkFn"
212runFn :: Text
213runFn = "runFn"
215unit :: Text
216unit = "unit"
218-- Prim values
220undefined :: Text
221undefined = "undefined"
223-- Type Class Dictionary Names
225monadEffDictionary :: Text
226monadEffDictionary = "monadEff"
228applicativeEffDictionary :: Text
229applicativeEffDictionary = "applicativeEff"
231bindEffDictionary :: Text
232bindEffDictionary = "bindEff"
234semiringNumber :: Text
235semiringNumber = "semiringNumber"
237semiringInt :: Text
238semiringInt = "semiringInt"
240ringNumber :: Text
241ringNumber = "ringNumber"
243ringInt :: Text
244ringInt = "ringInt"
246moduloSemiringNumber :: Text
247moduloSemiringNumber = "moduloSemiringNumber"
249moduloSemiringInt :: Text
250moduloSemiringInt = "moduloSemiringInt"
252euclideanRingNumber :: Text
253euclideanRingNumber = "euclideanRingNumber"
255euclideanRingInt :: Text
256euclideanRingInt = "euclideanRingInt"
258ordBoolean :: Text
259ordBoolean = "ordBoolean"
261ordNumber :: Text
262ordNumber = "ordNumber"
264ordInt :: Text
265ordInt = "ordInt"
267ordString :: Text
268ordString = "ordString"
270ordChar :: Text
271ordChar = "ordChar"
273eqNumber :: Text
274eqNumber = "eqNumber"
276eqInt :: Text
277eqInt = "eqInt"
279eqString :: Text
280eqString = "eqString"
282eqChar :: Text
283eqChar = "eqChar"
285eqBoolean :: Text
286eqBoolean = "eqBoolean"
288boundedBoolean :: Text
289boundedBoolean = "boundedBoolean"
291booleanAlgebraBoolean :: Text
292booleanAlgebraBoolean = "booleanAlgebraBoolean"
294heytingAlgebraBoolean :: Text
295heytingAlgebraBoolean = "heytingAlgebraBoolean"
297semigroupString :: Text
298semigroupString = "semigroupString"
300semigroupoidFn :: Text
301semigroupoidFn = "semigroupoidFn"
303-- Generic Deriving
305generic :: Text
306generic = "Generic"
308toSpine :: Text
309toSpine = "toSpine"
311fromSpine :: Text
312fromSpine = "fromSpine"
314toSignature :: Text
315toSignature = "toSignature"
317-- IsSymbol class
319pattern IsSymbol :: Qualified (ProperName 'ClassName)
320pattern IsSymbol = Qualified (Just (ModuleName [ProperName "Data", ProperName "Symbol"])) (ProperName "IsSymbol")
322-- Main module
324main :: Text
325main = "main"
327-- Prim
329partial :: Text
330partial = "Partial"
332pattern Partial :: Qualified (ProperName 'ClassName)
333pattern Partial = Qualified (Just (ModuleName [ProperName "Prim"])) (ProperName "Partial")
335pattern Fail :: Qualified (ProperName 'ClassName)
336pattern Fail = Qualified (Just (ModuleName [ProperName "Prim"])) (ProperName "Fail")
338-- Code Generation
340__superclass_ :: Text
341__superclass_ = "__superclass_"
343__unused :: Text
344__unused = "__unused"
346-- Modules
348prim :: Text
349prim = "Prim"
351prelude :: Text
352prelude = "Prelude"
354dataArray :: Text
355dataArray = "Data_Array"
357eff :: Text
358eff = "Control_Monad_Eff"
360st :: Text
361st = "Control_Monad_ST"
363controlApplicative :: Text
364controlApplicative = "Control_Applicative"
366controlSemigroupoid :: Text
367controlSemigroupoid = "Control_Semigroupoid"
369controlBind :: Text
370controlBind = "Control_Bind"
372dataBounded :: Text
373dataBounded = "Data_Bounded"
375dataSemigroup :: Text
376dataSemigroup = "Data_Semigroup"
378dataHeytingAlgebra :: Text
379dataHeytingAlgebra = "Data_HeytingAlgebra"
381dataEq :: Text
382dataEq = "Data_Eq"
384dataOrd :: Text
385dataOrd = "Data_Ord"
387dataSemiring :: Text
388dataSemiring = "Data_Semiring"
390dataRing :: Text
391dataRing = "Data_Ring"
393dataEuclideanRing :: Text
394dataEuclideanRing = "Data_EuclideanRing"
396dataFunction :: Text
397dataFunction = "Data_Function"
399dataFunctionUncurried :: Text
400dataFunctionUncurried = "Data_Function_Uncurried"
402dataIntBits :: Text
403dataIntBits = "Data_Int_Bits"