git.iko.soy/rowtype-yoga/purescript-native
on 144dd6f help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
412 lines 5.8 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")
338typ :: Text
339typ = "Type"
341effect :: Text
342effect = "Effect"
344symbol :: Text
345symbol = "Symbol"
347-- Code Generation
349__superclass_ :: Text
350__superclass_ = "__superclass_"
352__unused :: Text
353__unused = "__unused"
355-- Modules
357prim :: Text
358prim = "Prim"
360prelude :: Text
361prelude = "Prelude"
363dataArray :: Text
364dataArray = "Data_Array"
366eff :: Text
367eff = "Control_Monad_Eff"
369st :: Text
370st = "Control_Monad_ST"
372controlApplicative :: Text
373controlApplicative = "Control_Applicative"
375controlSemigroupoid :: Text
376controlSemigroupoid = "Control_Semigroupoid"
378controlBind :: Text
379controlBind = "Control_Bind"
381dataBounded :: Text
382dataBounded = "Data_Bounded"
384dataSemigroup :: Text
385dataSemigroup = "Data_Semigroup"
387dataHeytingAlgebra :: Text
388dataHeytingAlgebra = "Data_HeytingAlgebra"
390dataEq :: Text
391dataEq = "Data_Eq"
393dataOrd :: Text
394dataOrd = "Data_Ord"
396dataSemiring :: Text
397dataSemiring = "Data_Semiring"
399dataRing :: Text
400dataRing = "Data_Ring"
402dataEuclideanRing :: Text
403dataEuclideanRing = "Data_EuclideanRing"
405dataFunction :: Text
406dataFunction = "Data_Function"
408dataFunctionUncurried :: Text
409dataFunctionUncurried = "Data_Function_Uncurried"
411dataIntBits :: Text
412dataIntBits = "Data_Int_Bits"