git.iko.soy/rowtype-yoga/purescript-native
on ff4866a help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
455 lines 10 kB history raw
1-- | Various constants which refer to things in the Prelude
2module Language.PureScript.Constants where
4import Prelude.Compat
5import Data.String (IsString)
6import Language.PureScript.Names
8-- Operators
10($) :: forall a. (IsString a) => a
11($) = "$"
13apply :: forall a. (IsString a) => a
14apply = "apply"
16(#) :: forall a. (IsString a) => a
17(#) = "#"
19applyFlipped :: forall a. (IsString a) => a
20applyFlipped = "applyFlipped"
22(<>) :: forall a. (IsString a) => a
23(<>) = "<>"
25(++) :: forall a. (IsString a) => a
26(++) = "++"
28append :: forall a. (IsString a) => a
29append = "append"
31(>>=) :: forall a. (IsString a) => a
32(>>=) = ">>="
34bind :: forall a. (IsString a) => a
35bind = "bind"
37(+) :: forall a. (IsString a) => a
38(+) = "+"
40add :: forall a. (IsString a) => a
41add = "add"
43(-) :: forall a. (IsString a) => a
44(-) = "-"
46sub :: forall a. (IsString a) => a
47sub = "sub"
49(*) :: forall a. (IsString a) => a
50(*) = "*"
52mul :: forall a. (IsString a) => a
53mul = "mul"
55(/) :: forall a. (IsString a) => a
56(/) = "/"
58div :: forall a. (IsString a) => a
59div = "div"
61(%) :: forall a. (IsString a) => a
62(%) = "%"
64mod :: forall a. (IsString a) => a
65mod = "mod"
67(<) :: forall a. (IsString a) => a
68(<) = "<"
70lessThan :: forall a. (IsString a) => a
71lessThan = "lessThan"
73(>) :: forall a. (IsString a) => a
74(>) = ">"
76greaterThan :: forall a. (IsString a) => a
77greaterThan = "greaterThan"
79(<=) :: forall a. (IsString a) => a
80(<=) = "<="
82lessThanOrEq :: forall a. (IsString a) => a
83lessThanOrEq = "lessThanOrEq"
85(>=) :: forall a. (IsString a) => a
86(>=) = ">="
88greaterThanOrEq :: forall a. (IsString a) => a
89greaterThanOrEq = "greaterThanOrEq"
91(==) :: forall a. (IsString a) => a
92(==) = "=="
94eq :: forall a. (IsString a) => a
95eq = "eq"
97(/=) :: forall a. (IsString a) => a
98(/=) = "/="
100notEq :: forall a. (IsString a) => a
101notEq = "notEq"
103compare :: forall a. (IsString a) => a
104compare = "compare"
106(&&) :: forall a. (IsString a) => a
107(&&) = "&&"
109conj :: forall a. (IsString a) => a
110conj = "conj"
112(||) :: forall a. (IsString a) => a
113(||) = "||"
115disj :: forall a. (IsString a) => a
116disj = "disj"
118unsafeIndex :: forall a. (IsString a) => a
119unsafeIndex = "unsafeIndex"
121or :: forall a. (IsString a) => a
122or = "or"
124and :: forall a. (IsString a) => a
125and = "and"
127xor :: forall a. (IsString a) => a
128xor = "xor"
130(<<<) :: forall a. (IsString a) => a
131(<<<) = "<<<"
133compose :: forall a. (IsString a) => a
134compose = "compose"
136(>>>) :: forall a. (IsString a) => a
137(>>>) = ">>>"
139composeFlipped :: forall a. (IsString a) => a
140composeFlipped = "composeFlipped"
142map :: forall a. (IsString a) => a
143map = "map"
145-- Functions
147negate :: forall a. (IsString a) => a
148negate = "negate"
150not :: forall a. (IsString a) => a
151not = "not"
153shl :: forall a. (IsString a) => a
154shl = "shl"
156shr :: forall a. (IsString a) => a
157shr = "shr"
159zshr :: forall a. (IsString a) => a
160zshr = "zshr"
162complement :: forall a. (IsString a) => a
163complement = "complement"
165-- Prelude Values
167zero :: forall a. (IsString a) => a
168zero = "zero"
170one :: forall a. (IsString a) => a
171one = "one"
173bottom :: forall a. (IsString a) => a
174bottom = "bottom"
176top :: forall a. (IsString a) => a
177top = "top"
179return :: forall a. (IsString a) => a
180return = "return"
182pure' :: forall a. (IsString a) => a
183pure' = "pure"
185returnEscaped :: forall a. (IsString a) => a
186returnEscaped = "$return"
188untilE :: forall a. (IsString a) => a
189untilE = "untilE"
191whileE :: forall a. (IsString a) => a
192whileE = "whileE"
194runST :: forall a. (IsString a) => a
195runST = "runST"
197stRefValue :: forall a. (IsString a) => a
198stRefValue = "value"
200newSTRef :: forall a. (IsString a) => a
201newSTRef = "newSTRef"
203readSTRef :: forall a. (IsString a) => a
204readSTRef = "readSTRef"
206writeSTRef :: forall a. (IsString a) => a
207writeSTRef = "writeSTRef"
209modifySTRef :: forall a. (IsString a) => a
210modifySTRef = "modifySTRef"
212mkFn :: forall a. (IsString a) => a
213mkFn = "mkFn"
215runFn :: forall a. (IsString a) => a
216runFn = "runFn"
218unit :: forall a. (IsString a) => a
219unit = "unit"
221-- Prim values
223undefined :: forall a. (IsString a) => a
224undefined = "undefined"
226-- Type Class Dictionary Names
228monadEffDictionary :: forall a. (IsString a) => a
229monadEffDictionary = "monadEff"
231applicativeEffDictionary :: forall a. (IsString a) => a
232applicativeEffDictionary = "applicativeEff"
234bindEffDictionary :: forall a. (IsString a) => a
235bindEffDictionary = "bindEff"
237semiringNumber :: forall a. (IsString a) => a
238semiringNumber = "semiringNumber"
240semiringInt :: forall a. (IsString a) => a
241semiringInt = "semiringInt"
243ringNumber :: forall a. (IsString a) => a
244ringNumber = "ringNumber"
246ringInt :: forall a. (IsString a) => a
247ringInt = "ringInt"
249moduloSemiringNumber :: forall a. (IsString a) => a
250moduloSemiringNumber = "moduloSemiringNumber"
252moduloSemiringInt :: forall a. (IsString a) => a
253moduloSemiringInt = "moduloSemiringInt"
255euclideanRingNumber :: forall a. (IsString a) => a
256euclideanRingNumber = "euclideanRingNumber"
258euclideanRingInt :: forall a. (IsString a) => a
259euclideanRingInt = "euclideanRingInt"
261ordBoolean :: forall a. (IsString a) => a
262ordBoolean = "ordBoolean"
264ordNumber :: forall a. (IsString a) => a
265ordNumber = "ordNumber"
267ordInt :: forall a. (IsString a) => a
268ordInt = "ordInt"
270ordString :: forall a. (IsString a) => a
271ordString = "ordString"
273ordChar :: forall a. (IsString a) => a
274ordChar = "ordChar"
276eqNumber :: forall a. (IsString a) => a
277eqNumber = "eqNumber"
279eqInt :: forall a. (IsString a) => a
280eqInt = "eqInt"
282eqString :: forall a. (IsString a) => a
283eqString = "eqString"
285eqChar :: forall a. (IsString a) => a
286eqChar = "eqChar"
288eqBoolean :: forall a. (IsString a) => a
289eqBoolean = "eqBoolean"
291boundedBoolean :: forall a. (IsString a) => a
292boundedBoolean = "boundedBoolean"
294booleanAlgebraBoolean :: forall a. (IsString a) => a
295booleanAlgebraBoolean = "booleanAlgebraBoolean"
297heytingAlgebraBoolean :: forall a. (IsString a) => a
298heytingAlgebraBoolean = "heytingAlgebraBoolean"
300semigroupString :: forall a. (IsString a) => a
301semigroupString = "semigroupString"
303semigroupoidFn :: forall a. (IsString a) => a
304semigroupoidFn = "semigroupoidFn"
306-- Generic Deriving
308generic :: forall a. (IsString a) => a
309generic = "Generic"
311toSpine :: forall a. (IsString a) => a
312toSpine = "toSpine"
314fromSpine :: forall a. (IsString a) => a
315fromSpine = "fromSpine"
317toSignature :: forall a. (IsString a) => a
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 :: forall a. (IsString a) => a
356main = "main"
358-- Prim
360partial :: forall a. (IsString a) => a
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")
372pattern Warn :: Qualified (ProperName 'ClassName)
373pattern Warn = Qualified (Just Prim) (ProperName "Warn")
375typ :: forall a. (IsString a) => a
376typ = "Type"
378effect :: forall a. (IsString a) => a
379effect = "Effect"
381symbol :: forall a. (IsString a) => a
382symbol = "Symbol"
384-- Code Generation
386__superclass_ :: forall a. (IsString a) => a
387__superclass_ = "__superclass_"
389__unused :: forall a. (IsString a) => a
390__unused = "__unused"
392-- Modules
394prim :: forall a. (IsString a) => a
395prim = "Prim"
397prelude :: forall a. (IsString a) => a
398prelude = "Prelude"
400dataArray :: forall a. (IsString a) => a
401dataArray = "Data_Array"
403eff :: forall a. (IsString a) => a
404eff = "Control_Monad_Eff"
406st :: forall a. (IsString a) => a
407st = "Control_Monad_ST"
409controlApplicative :: forall a. (IsString a) => a
410controlApplicative = "Control_Applicative"
412controlSemigroupoid :: forall a. (IsString a) => a
413controlSemigroupoid = "Control_Semigroupoid"
415controlBind :: forall a. (IsString a) => a
416controlBind = "Control_Bind"
418dataBounded :: forall a. (IsString a) => a
419dataBounded = "Data_Bounded"
421dataSemigroup :: forall a. (IsString a) => a
422dataSemigroup = "Data_Semigroup"
424dataHeytingAlgebra :: forall a. (IsString a) => a
425dataHeytingAlgebra = "Data_HeytingAlgebra"
427dataEq :: forall a. (IsString a) => a
428dataEq = "Data_Eq"
430dataOrd :: forall a. (IsString a) => a
431dataOrd = "Data_Ord"
433dataSemiring :: forall a. (IsString a) => a
434dataSemiring = "Data_Semiring"
436dataRing :: forall a. (IsString a) => a
437dataRing = "Data_Ring"
439dataEuclideanRing :: forall a. (IsString a) => a
440dataEuclideanRing = "Data_EuclideanRing"
442dataFunction :: forall a. (IsString a) => a
443dataFunction = "Data_Function"
445dataFunctionUncurried :: forall a. (IsString a) => a
446dataFunctionUncurried = "Data_Function_Uncurried"
448dataIntBits :: forall a. (IsString a) => a
449dataIntBits = "Data_Int_Bits"
451partialUnsafe :: forall a. (IsString a) => a
452partialUnsafe = "Partial_Unsafe"
454unsafePartial :: forall a. (IsString a) => a
455unsafePartial = "unsafePartial"