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

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

on 1e6fc9d help sign in

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

403 lines 5.9 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

121or :: String

122or = "or"

123

124and :: String

125and = "and"

126

127xor :: String

128xor = "xor"

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-- IsSymbol class

318

319pattern IsSymbol :: Qualified (ProperName 'ClassName)

320pattern IsSymbol = Qualified (Just (ModuleName [ProperName "Data", ProperName "Symbol"])) (ProperName "IsSymbol")

321

322-- Main module

323

324main :: String

325main = "main"

326

327-- Prim

328

329partial :: String

330partial = "Partial"

331

332pattern Partial :: Qualified (ProperName 'ClassName)

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

334

335pattern Fail :: Qualified (ProperName 'ClassName)

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

337

338-- Code Generation

339

340__superclass_ :: String

341__superclass_ = "__superclass_"

342

343__unused :: String

344__unused = "__unused"

345

346-- Modules

347

348prim :: String

349prim = "Prim"

350

351prelude :: String

352prelude = "Prelude"

353

354dataArray :: String

355dataArray = "Data_Array"

356

357eff :: String

358eff = "Control_Monad_Eff"

359

360st :: String

361st = "Control_Monad_ST"

362

363controlApplicative :: String

364controlApplicative = "Control_Applicative"

365

366controlSemigroupoid :: String

367controlSemigroupoid = "Control_Semigroupoid"

368

369controlBind :: String

370controlBind = "Control_Bind"

371

372dataBounded :: String

373dataBounded = "Data_Bounded"

374

375dataSemigroup :: String

376dataSemigroup = "Data_Semigroup"

377

378dataHeytingAlgebra :: String

379dataHeytingAlgebra = "Data_HeytingAlgebra"

380

381dataEq :: String

382dataEq = "Data_Eq"

383

384dataOrd :: String

385dataOrd = "Data_Ord"

386

387dataSemiring :: String

388dataSemiring = "Data_Semiring"

389

390dataRing :: String

391dataRing = "Data_Ring"

392

393dataEuclideanRing :: String

394dataEuclideanRing = "Data_EuclideanRing"

395

396dataFunction :: String

397dataFunction = "Data_Function"

398

399dataFunctionUncurried :: String

400dataFunctionUncurried = "Data_Function_Uncurried"

401

402dataIntBits :: String

403dataIntBits = "Data_Int_Bits"