git.iko.soy/rowtype-yoga/purescript-native
on 88fdcee help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
443 lines 6.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-- Data.Symbol
319pattern DataSymbol :: ModuleName
320pattern DataSymbol = ModuleName [ProperName "Data", ProperName "Symbol"]
322pattern IsSymbol :: Qualified (ProperName 'ClassName)
323pattern IsSymbol = Qualified (Just DataSymbol) (ProperName "IsSymbol")
325-- Type.Data.Symbol
327pattern TypeDataSymbol :: ModuleName
328pattern TypeDataSymbol = ModuleName [ProperName "Type", ProperName "Data", ProperName "Symbol"]
330pattern CompareSymbol :: Qualified (ProperName 'ClassName)
331pattern CompareSymbol = Qualified (Just TypeDataSymbol) (ProperName "CompareSymbol")
333pattern AppendSymbol :: Qualified (ProperName 'ClassName)
334pattern AppendSymbol = Qualified (Just TypeDataSymbol) (ProperName "AppendSymbol")
336-- Type.Data.Ordering
338typeDataOrdering :: ModuleName
339typeDataOrdering = ModuleName [ProperName "Type", ProperName "Data", ProperName "Ordering"]
341orderingLT :: Qualified (ProperName 'TypeName)
342orderingLT = Qualified (Just typeDataOrdering) (ProperName "LT")
344orderingEQ :: Qualified (ProperName 'TypeName)
345orderingEQ = Qualified (Just typeDataOrdering) (ProperName "EQ")
347orderingGT :: Qualified (ProperName 'TypeName)
348orderingGT = Qualified (Just typeDataOrdering) (ProperName "GT")
350-- Main module
352main :: Text
353main = "main"
355-- Prim
357partial :: Text
358partial = "Partial"
360pattern Prim :: ModuleName
361pattern Prim = ModuleName [ProperName "Prim"]
363pattern Partial :: Qualified (ProperName 'ClassName)
364pattern Partial = Qualified (Just Prim) (ProperName "Partial")
366pattern Fail :: Qualified (ProperName 'ClassName)
367pattern Fail = Qualified (Just Prim) (ProperName "Fail")
369typ :: Text
370typ = "Type"
372effect :: Text
373effect = "Effect"
375symbol :: Text
376symbol = "Symbol"
378-- Code Generation
380__superclass_ :: Text
381__superclass_ = "__superclass_"
383__unused :: Text
384__unused = "__unused"
386-- Modules
388prim :: Text
389prim = "Prim"
391prelude :: Text
392prelude = "Prelude"
394dataArray :: Text
395dataArray = "Data_Array"
397eff :: Text
398eff = "Control_Monad_Eff"
400st :: Text
401st = "Control_Monad_ST"
403controlApplicative :: Text
404controlApplicative = "Control_Applicative"
406controlSemigroupoid :: Text
407controlSemigroupoid = "Control_Semigroupoid"
409controlBind :: Text
410controlBind = "Control_Bind"
412dataBounded :: Text
413dataBounded = "Data_Bounded"
415dataSemigroup :: Text
416dataSemigroup = "Data_Semigroup"
418dataHeytingAlgebra :: Text
419dataHeytingAlgebra = "Data_HeytingAlgebra"
421dataEq :: Text
422dataEq = "Data_Eq"
424dataOrd :: Text
425dataOrd = "Data_Ord"
427dataSemiring :: Text
428dataSemiring = "Data_Semiring"
430dataRing :: Text
431dataRing = "Data_Ring"
433dataEuclideanRing :: Text
434dataEuclideanRing = "Data_EuclideanRing"
436dataFunction :: Text
437dataFunction = "Data_Function"
439dataFunctionUncurried :: Text
440dataFunctionUncurried = "Data_Function_Uncurried"
442dataIntBits :: Text
443dataIntBits = "Data_Int_Bits"