git.iko.soy/rowtype-yoga/purescript-native
on fca3655 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
446 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"
142map :: Text
143map = "map"
145-- Functions
147negate :: Text
148negate = "negate"
150not :: Text
151not = "not"
153shl :: Text
154shl = "shl"
156shr :: Text
157shr = "shr"
159zshr :: Text
160zshr = "zshr"
162complement :: Text
163complement = "complement"
165-- Prelude Values
167zero :: Text
168zero = "zero"
170one :: Text
171one = "one"
173bottom :: Text
174bottom = "bottom"
176top :: Text
177top = "top"
179return :: Text
180return = "return"
182pure' :: Text
183pure' = "pure"
185returnEscaped :: Text
186returnEscaped = "$return"
188untilE :: Text
189untilE = "untilE"
191whileE :: Text
192whileE = "whileE"
194runST :: Text
195runST = "runST"
197stRefValue :: Text
198stRefValue = "value"
200newSTRef :: Text
201newSTRef = "newSTRef"
203readSTRef :: Text
204readSTRef = "readSTRef"
206writeSTRef :: Text
207writeSTRef = "writeSTRef"
209modifySTRef :: Text
210modifySTRef = "modifySTRef"
212mkFn :: Text
213mkFn = "mkFn"
215runFn :: Text
216runFn = "runFn"
218unit :: Text
219unit = "unit"
221-- Prim values
223undefined :: Text
224undefined = "undefined"
226-- Type Class Dictionary Names
228monadEffDictionary :: Text
229monadEffDictionary = "monadEff"
231applicativeEffDictionary :: Text
232applicativeEffDictionary = "applicativeEff"
234bindEffDictionary :: Text
235bindEffDictionary = "bindEff"
237semiringNumber :: Text
238semiringNumber = "semiringNumber"
240semiringInt :: Text
241semiringInt = "semiringInt"
243ringNumber :: Text
244ringNumber = "ringNumber"
246ringInt :: Text
247ringInt = "ringInt"
249moduloSemiringNumber :: Text
250moduloSemiringNumber = "moduloSemiringNumber"
252moduloSemiringInt :: Text
253moduloSemiringInt = "moduloSemiringInt"
255euclideanRingNumber :: Text
256euclideanRingNumber = "euclideanRingNumber"
258euclideanRingInt :: Text
259euclideanRingInt = "euclideanRingInt"
261ordBoolean :: Text
262ordBoolean = "ordBoolean"
264ordNumber :: Text
265ordNumber = "ordNumber"
267ordInt :: Text
268ordInt = "ordInt"
270ordString :: Text
271ordString = "ordString"
273ordChar :: Text
274ordChar = "ordChar"
276eqNumber :: Text
277eqNumber = "eqNumber"
279eqInt :: Text
280eqInt = "eqInt"
282eqString :: Text
283eqString = "eqString"
285eqChar :: Text
286eqChar = "eqChar"
288eqBoolean :: Text
289eqBoolean = "eqBoolean"
291boundedBoolean :: Text
292boundedBoolean = "boundedBoolean"
294booleanAlgebraBoolean :: Text
295booleanAlgebraBoolean = "booleanAlgebraBoolean"
297heytingAlgebraBoolean :: Text
298heytingAlgebraBoolean = "heytingAlgebraBoolean"
300semigroupString :: Text
301semigroupString = "semigroupString"
303semigroupoidFn :: Text
304semigroupoidFn = "semigroupoidFn"
306-- Generic Deriving
308generic :: Text
309generic = "Generic"
311toSpine :: Text
312toSpine = "toSpine"
314fromSpine :: Text
315fromSpine = "fromSpine"
317toSignature :: Text
318toSignature = "toSignature"
320-- Data.Symbol
322pattern DataSymbol :: ModuleName
323pattern DataSymbol = ModuleName [ProperName "Data", ProperName "Symbol"]
325pattern IsSymbol :: Qualified (ProperName 'ClassName)
326pattern IsSymbol = Qualified (Just DataSymbol) (ProperName "IsSymbol")
328-- Type.Data.Symbol
330pattern TypeDataSymbol :: ModuleName
331pattern TypeDataSymbol = ModuleName [ProperName "Type", ProperName "Data", ProperName "Symbol"]
333pattern CompareSymbol :: Qualified (ProperName 'ClassName)
334pattern CompareSymbol = Qualified (Just TypeDataSymbol) (ProperName "CompareSymbol")
336pattern AppendSymbol :: Qualified (ProperName 'ClassName)
337pattern AppendSymbol = Qualified (Just TypeDataSymbol) (ProperName "AppendSymbol")
339-- Type.Data.Ordering
341typeDataOrdering :: ModuleName
342typeDataOrdering = ModuleName [ProperName "Type", ProperName "Data", ProperName "Ordering"]
344orderingLT :: Qualified (ProperName 'TypeName)
345orderingLT = Qualified (Just typeDataOrdering) (ProperName "LT")
347orderingEQ :: Qualified (ProperName 'TypeName)
348orderingEQ = Qualified (Just typeDataOrdering) (ProperName "EQ")
350orderingGT :: Qualified (ProperName 'TypeName)
351orderingGT = Qualified (Just typeDataOrdering) (ProperName "GT")
353-- Main module
355main :: Text
356main = "main"
358-- Prim
360partial :: Text
361partial = "Partial"
363pattern Prim :: ModuleName
364pattern Prim = ModuleName [ProperName "Prim"]
366pattern Partial :: Qualified (ProperName 'ClassName)
367pattern Partial = Qualified (Just Prim) (ProperName "Partial")
369pattern Fail :: Qualified (ProperName 'ClassName)
370pattern Fail = Qualified (Just Prim) (ProperName "Fail")
372typ :: Text
373typ = "Type"
375effect :: Text
376effect = "Effect"
378symbol :: Text
379symbol = "Symbol"
381-- Code Generation
383__superclass_ :: Text
384__superclass_ = "__superclass_"
386__unused :: Text
387__unused = "__unused"
389-- Modules
391prim :: Text
392prim = "Prim"
394prelude :: Text
395prelude = "Prelude"
397dataArray :: Text
398dataArray = "Data_Array"
400eff :: Text
401eff = "Control_Monad_Eff"
403st :: Text
404st = "Control_Monad_ST"
406controlApplicative :: Text
407controlApplicative = "Control_Applicative"
409controlSemigroupoid :: Text
410controlSemigroupoid = "Control_Semigroupoid"
412controlBind :: Text
413controlBind = "Control_Bind"
415dataBounded :: Text
416dataBounded = "Data_Bounded"
418dataSemigroup :: Text
419dataSemigroup = "Data_Semigroup"
421dataHeytingAlgebra :: Text
422dataHeytingAlgebra = "Data_HeytingAlgebra"
424dataEq :: Text
425dataEq = "Data_Eq"
427dataOrd :: Text
428dataOrd = "Data_Ord"
430dataSemiring :: Text
431dataSemiring = "Data_Semiring"
433dataRing :: Text
434dataRing = "Data_Ring"
436dataEuclideanRing :: Text
437dataEuclideanRing = "Data_EuclideanRing"
439dataFunction :: Text
440dataFunction = "Data_Function"
442dataFunctionUncurried :: Text
443dataFunctionUncurried = "Data_Function_Uncurried"
445dataIntBits :: Text
446dataIntBits = "Data_Int_Bits"