git.iko.soy/rowtype-yoga/purescript-native
on 2fd349c help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
233 lines 3.3 kB history raw
1-----------------------------------------------------------------------------
2--
3-- Module : Language.PureScript.Constants
4-- Copyright : (c) Phil Freeman 2013
5-- License : MIT
6--
7-- Maintainer : Phil Freeman <paf31@cantab.net>
8-- Stability : experimental
9-- Portability :
10--
11-- |
12-- Various constants which refer to things in the Prelude
13--
14-----------------------------------------------------------------------------
16module Language.PureScript.Constants where
18-- Prelude Operators
20($) :: String
21($) = "$"
23(#) :: String
24(#) = "#"
26(<>) :: String
27(<>) = "<>"
29(++) :: String
30(++) = "++"
32(>>=) :: String
33(>>=) = ">>="
35(+) :: String
36(+) = "+"
38(-) :: String
39(-) = "-"
41(*) :: String
42(*) = "*"
44(/) :: String
45(/) = "/"
47(%) :: String
48(%) = "%"
50(<) :: String
51(<) = "<"
53(>) :: String
54(>) = ">"
56(<=) :: String
57(<=) = "<="
59(>=) :: String
60(>=) = ">="
62(==) :: String
63(==) = "=="
65(/=) :: String
66(/=) = "/="
68(&&) :: String
69(&&) = "&&"
71(||) :: String
72(||) = "||"
74unsafeIndex :: String
75unsafeIndex = "unsafeIndex"
77-- Prelude Operator Functions
79negate :: String
80negate = "negate"
82not :: String
83not = "not"
85sup :: String
86sup = "sup"
88inf :: String
89inf = "inf"
91-- Prelude Values
93zero :: String
94zero = "zero"
96one :: String
97one = "one"
99bottom :: String
100bottom = "bottom"
102top :: String
103top = "top"
105return :: String
106return = "return"
108pure' :: String
109pure' = "pure"
111returnEscaped :: String
112returnEscaped = "$return"
114untilE :: String
115untilE = "untilE"
117whileE :: String
118whileE = "whileE"
120runST :: String
121runST = "runST"
123stRefValue :: String
124stRefValue = "value"
126newSTRef :: String
127newSTRef = "newSTRef"
129readSTRef :: String
130readSTRef = "readSTRef"
132writeSTRef :: String
133writeSTRef = "writeSTRef"
135modifySTRef :: String
136modifySTRef = "modifySTRef"
138mkFn :: String
139mkFn = "mkFn"
141runFn :: String
142runFn = "runFn"
144unit :: String
145unit = "unit"
147-- Prim values
149undefined :: String
150undefined = "undefined"
152-- Type Class Dictionary Names
154monadEffDictionary :: String
155monadEffDictionary = "monadEff"
157applicativeEffDictionary :: String
158applicativeEffDictionary = "applicativeEff"
160bindEffDictionary :: String
161bindEffDictionary = "bindEff"
163semiringNumber :: String
164semiringNumber = "semiringNumber"
166ringNumber :: String
167ringNumber = "ringNumber"
169moduloSemiringNumber :: String
170moduloSemiringNumber = "moduloSemiringNumber"
172numNumber :: String
173numNumber = "numNumber"
175ordNumber :: String
176ordNumber = "ordNumber"
178eqNumber :: String
179eqNumber = "eqNumber"
181eqString :: String
182eqString = "eqString"
184eqBoolean :: String
185eqBoolean = "eqBoolean"
187boundedBoolean :: String
188boundedBoolean = "boundedBoolean"
190latticeBoolean :: String
191latticeBoolean = "latticeBoolean"
193complementedLatticeBoolean :: String
194complementedLatticeBoolean = "complementedLatticeBoolean"
196semigroupString :: String
197semigroupString = "semigroupString"
199semigroupoidArr :: String
200semigroupoidArr = "semigroupoidArr"
202-- Main module
204main :: String
205main = "main"
207-- Code Generation
209__superclass_ :: String
210__superclass_ = "__superclass_"
212__unused :: String
213__unused = "__unused"
215-- Modules
217prim :: String
218prim = "Prim"
220prelude :: String
221prelude = "Prelude"
223preludeUnsafe :: String
224preludeUnsafe = "Prelude_Unsafe"
226eff :: String
227eff = "Control_Monad_Eff"
229st :: String
230st = "Control_Monad_ST"
232dataFunction :: String
233dataFunction = "Data_Function"