src/Language/PureScript/Constants.hs · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

on c9f0839 help sign in

rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs

395 lines 5.7 kB history raw

1-- | Various constants which refer to things in the Prelude

2module Language.PureScript.Constants where

4import Prelude.Compat

6import Language.PureScript.Names

8-- Operators

10($) :: String

11($) = "$"

13apply :: String

14apply = "apply"

16(#) :: String

17(#) = "#"

19applyFlipped :: String

20applyFlipped = "applyFlipped"

22(<>) :: String

23(<>) = "<>"

25(++) :: String

26(++) = "++"

28append :: String

29append = "append"

31(>>=) :: String

32(>>=) = ">>="

34bind :: String

35bind = "bind"

37(+) :: String

38(+) = "+"

40add :: String

41add = "add"

43(-) :: String

44(-) = "-"

46sub :: String

47sub = "sub"

49(*) :: String

50(*) = "*"

52mul :: String

53mul = "mul"

55(/) :: String

56(/) = "/"

58div :: String

59div = "div"

61(%) :: String

62(%) = "%"

64mod :: String

65mod = "mod"

67(<) :: String

68(<) = "<"

70lessThan :: String

71lessThan = "lessThan"

73(>) :: String

74(>) = ">"

76greaterThan :: String

77greaterThan = "greaterThan"

79(<=) :: String

80(<=) = "<="

82lessThanOrEq :: String

83lessThanOrEq = "lessThanOrEq"

85(>=) :: String

86(>=) = ">="

88greaterThanOrEq :: String

89greaterThanOrEq = "greaterThanOrEq"

91(==) :: String

92(==) = "=="

94eq :: String

95eq = "eq"

97(/=) :: String

98(/=) = "/="

100notEq :: String

101notEq = "notEq"

102

103compare :: String

104compare = "compare"

105

106(&&) :: String

107(&&) = "&&"

108

109conj :: String

110conj = "conj"

111

112(||) :: String

113(||) = "||"

114

115disj :: String

116disj = "disj"

117

118unsafeIndex :: String

119unsafeIndex = "unsafeIndex"

120

121(.|.) :: String

122(.|.) = ".|."

123

124(.&.) :: String

125(.&.) = ".&."

126

127(.^.) :: String

128(.^.) = ".^."

129

130(<<<) :: String

131(<<<) = "<<<"

132

133compose :: String

134compose = "compose"

135

136(>>>) :: String

137(>>>) = ">>>"

138

139composeFlipped :: String

140composeFlipped = "composeFlipped"

141

142-- Functions

143

144negate :: String

145negate = "negate"

146

147not :: String

148not = "not"

149

150shl :: String

151shl = "shl"

152

153shr :: String

154shr = "shr"

155

156zshr :: String

157zshr = "zshr"

158

159complement :: String

160complement = "complement"

161

162-- Prelude Values

163

164zero :: String

165zero = "zero"

166

167one :: String

168one = "one"

169

170bottom :: String

171bottom = "bottom"

172

173top :: String

174top = "top"

175

176return :: String

177return = "return"

178

179pure' :: String

180pure' = "pure"

181

182returnEscaped :: String

183returnEscaped = "$return"

184

185untilE :: String

186untilE = "untilE"

187

188whileE :: String

189whileE = "whileE"

190

191runST :: String

192runST = "runST"

193

194stRefValue :: String

195stRefValue = "value"

196

197newSTRef :: String

198newSTRef = "newSTRef"

199

200readSTRef :: String

201readSTRef = "readSTRef"

202

203writeSTRef :: String

204writeSTRef = "writeSTRef"

205

206modifySTRef :: String

207modifySTRef = "modifySTRef"

208

209mkFn :: String

210mkFn = "mkFn"

211

212runFn :: String

213runFn = "runFn"

214

215unit :: String

216unit = "unit"

217

218-- Prim values

219

220undefined :: String

221undefined = "undefined"

222

223-- Type Class Dictionary Names

224

225monadEffDictionary :: String

226monadEffDictionary = "monadEff"

227

228applicativeEffDictionary :: String

229applicativeEffDictionary = "applicativeEff"

230

231bindEffDictionary :: String

232bindEffDictionary = "bindEff"

233

234semiringNumber :: String

235semiringNumber = "semiringNumber"

236

237semiringInt :: String

238semiringInt = "semiringInt"

239

240ringNumber :: String

241ringNumber = "ringNumber"

242

243ringInt :: String

244ringInt = "ringInt"

245

246moduloSemiringNumber :: String

247moduloSemiringNumber = "moduloSemiringNumber"

248

249moduloSemiringInt :: String

250moduloSemiringInt = "moduloSemiringInt"

251

252euclideanRingNumber :: String

253euclideanRingNumber = "euclideanRingNumber"

254

255euclideanRingInt :: String

256euclideanRingInt = "euclideanRingInt"

257

258ordBoolean :: String

259ordBoolean = "ordBoolean"

260

261ordNumber :: String

262ordNumber = "ordNumber"

263

264ordInt :: String

265ordInt = "ordInt"

266

267ordString :: String

268ordString = "ordString"

269

270ordChar :: String

271ordChar = "ordChar"

272

273eqNumber :: String

274eqNumber = "eqNumber"

275

276eqInt :: String

277eqInt = "eqInt"

278

279eqString :: String

280eqString = "eqString"

281

282eqChar :: String

283eqChar = "eqChar"

284

285eqBoolean :: String

286eqBoolean = "eqBoolean"

287

288boundedBoolean :: String

289boundedBoolean = "boundedBoolean"

290

291booleanAlgebraBoolean :: String

292booleanAlgebraBoolean = "booleanAlgebraBoolean"

293

294heytingAlgebraBoolean :: String

295heytingAlgebraBoolean = "heytingAlgebraBoolean"

296

297semigroupString :: String

298semigroupString = "semigroupString"

299

300semigroupoidFn :: String

301semigroupoidFn = "semigroupoidFn"

302

303-- Generic Deriving

304

305generic :: String

306generic = "Generic"

307

308toSpine :: String

309toSpine = "toSpine"

310

311fromSpine :: String

312fromSpine = "fromSpine"

313

314toSignature :: String

315toSignature = "toSignature"

316

317-- Main module

318

319main :: String

320main = "main"

321

322-- Prim

323

324partial :: String

325partial = "Partial"

326

327pattern Partial :: Qualified (ProperName 'ClassName)

328pattern Partial = Qualified (Just (ModuleName [ProperName "Prim"])) (ProperName "Partial")

329

330pattern Fail :: Qualified (ProperName 'ClassName)

331pattern Fail = Qualified (Just (ModuleName [ProperName "Prim"])) (ProperName "Fail")

332

333-- Code Generation

334

335__superclass_ :: String

336__superclass_ = "__superclass_"

337

338__unused :: String

339__unused = "__unused"

340

341-- Modules

342

343prim :: String

344prim = "Prim"

345

346prelude :: String

347prelude = "Prelude"

348

349dataArrayUnsafe :: String

350dataArrayUnsafe = "Data_Array_Unsafe"

351

352eff :: String

353eff = "Control_Monad_Eff"

354

355st :: String

356st = "Control_Monad_ST"

357

358controlApplicative :: String

359controlApplicative = "Control_Applicative"

360

361controlSemigroupoid :: String

362controlSemigroupoid = "Control_Semigroupoid"

363

364controlBind :: String

365controlBind = "Control_Bind"

366

367dataBounded :: String

368dataBounded = "Data_Bounded"

369

370dataSemigroup :: String

371dataSemigroup = "Data_Semigroup"

372

373dataHeytingAlgebra :: String

374dataHeytingAlgebra = "Data_HeytingAlgebra"

375

376dataEq :: String

377dataEq = "Data_Eq"

378

379dataOrd :: String

380dataOrd = "Data_Ord"

381

382dataSemiring :: String

383dataSemiring = "Data_Semiring"

384

385dataRing :: String

386dataRing = "Data_Ring"

387

388dataEuclideanRing :: String

389dataEuclideanRing = "Data_EuclideanRing"

390

391dataFunction :: String

392dataFunction = "Data_Function"

393

394dataIntBits :: String

395dataIntBits = "Data_Int_Bits"