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

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

on 0e7c936 help sign in

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

393 lines 5.6 kB history raw

1{-# LANGUAGE DataKinds #-}

2{-# LANGUAGE PatternSynonyms #-}

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

5module Language.PureScript.Constants where

7import Language.PureScript.Names

9-- Operators

11($) :: String

12($) = "$"

14apply :: String

15apply = "apply"

17(#) :: String

18(#) = "#"

20applyFlipped :: String

21applyFlipped = "applyFlipped"

23(<>) :: String

24(<>) = "<>"

26(++) :: String

27(++) = "++"

29append :: String

30append = "append"

32(>>=) :: String

33(>>=) = ">>="

35bind :: String

36bind = "bind"

38(+) :: String

39(+) = "+"

41add :: String

42add = "add"

44(-) :: String

45(-) = "-"

47sub :: String

48sub = "sub"

50(*) :: String

51(*) = "*"

53mul :: String

54mul = "mul"

56(/) :: String

57(/) = "/"

59div :: String

60div = "div"

62(%) :: String

63(%) = "%"

65mod :: String

66mod = "mod"

68(<) :: String

69(<) = "<"

71lessThan :: String

72lessThan = "lessThan"

74(>) :: String

75(>) = ">"

77greaterThan :: String

78greaterThan = "greaterThan"

80(<=) :: String

81(<=) = "<="

83lessThanOrEq :: String

84lessThanOrEq = "lessThanOrEq"

86(>=) :: String

87(>=) = ">="

89greaterThanOrEq :: String

90greaterThanOrEq = "greaterThanOrEq"

92(==) :: String

93(==) = "=="

95eq :: String

96eq = "eq"

98(/=) :: String

99(/=) = "/="

100

101notEq :: String

102notEq = "notEq"

103

104compare :: String

105compare = "compare"

106

107(&&) :: String

108(&&) = "&&"

109

110conj :: String

111conj = "conj"

112

113(||) :: String

114(||) = "||"

115

116disj :: String

117disj = "disj"

118

119unsafeIndex :: String

120unsafeIndex = "unsafeIndex"

121

122(.|.) :: String

123(.|.) = ".|."

124

125(.&.) :: String

126(.&.) = ".&."

127

128(.^.) :: String

129(.^.) = ".^."

130

131(<<<) :: String

132(<<<) = "<<<"

133

134compose :: String

135compose = "compose"

136

137(>>>) :: String

138(>>>) = ">>>"

139

140composeFlipped :: String

141composeFlipped = "composeFlipped"

142

143-- Functions

144

145negate :: String

146negate = "negate"

147

148not :: String

149not = "not"

150

151shl :: String

152shl = "shl"

153

154shr :: String

155shr = "shr"

156

157zshr :: String

158zshr = "zshr"

159

160complement :: String

161complement = "complement"

162

163-- Prelude Values

164

165zero :: String

166zero = "zero"

167

168one :: String

169one = "one"

170

171bottom :: String

172bottom = "bottom"

173

174top :: String

175top = "top"

176

177return :: String

178return = "return"

179

180pure' :: String

181pure' = "pure"

182

183returnEscaped :: String

184returnEscaped = "$return"

185

186untilE :: String

187untilE = "untilE"

188

189whileE :: String

190whileE = "whileE"

191

192runST :: String

193runST = "runST"

194

195stRefValue :: String

196stRefValue = "value"

197

198newSTRef :: String

199newSTRef = "newSTRef"

200

201readSTRef :: String

202readSTRef = "readSTRef"

203

204writeSTRef :: String

205writeSTRef = "writeSTRef"

206

207modifySTRef :: String

208modifySTRef = "modifySTRef"

209

210mkFn :: String

211mkFn = "mkFn"

212

213runFn :: String

214runFn = "runFn"

215

216unit :: String

217unit = "unit"

218

219-- Prim values

220

221undefined :: String

222undefined = "undefined"

223

224-- Type Class Dictionary Names

225

226monadEffDictionary :: String

227monadEffDictionary = "monadEff"

228

229applicativeEffDictionary :: String

230applicativeEffDictionary = "applicativeEff"

231

232bindEffDictionary :: String

233bindEffDictionary = "bindEff"

234

235semiringNumber :: String

236semiringNumber = "semiringNumber"

237

238semiringInt :: String

239semiringInt = "semiringInt"

240

241ringNumber :: String

242ringNumber = "ringNumber"

243

244ringInt :: String

245ringInt = "ringInt"

246

247moduloSemiringNumber :: String

248moduloSemiringNumber = "moduloSemiringNumber"

249

250moduloSemiringInt :: String

251moduloSemiringInt = "moduloSemiringInt"

252

253euclideanRingNumber :: String

254euclideanRingNumber = "euclideanRingNumber"

255

256euclideanRingInt :: String

257euclideanRingInt = "euclideanRingInt"

258

259ordBoolean :: String

260ordBoolean = "ordBoolean"

261

262ordNumber :: String

263ordNumber = "ordNumber"

264

265ordInt :: String

266ordInt = "ordInt"

267

268ordString :: String

269ordString = "ordString"

270

271ordChar :: String

272ordChar = "ordChar"

273

274eqNumber :: String

275eqNumber = "eqNumber"

276

277eqInt :: String

278eqInt = "eqInt"

279

280eqString :: String

281eqString = "eqString"

282

283eqChar :: String

284eqChar = "eqChar"

285

286eqBoolean :: String

287eqBoolean = "eqBoolean"

288

289boundedBoolean :: String

290boundedBoolean = "boundedBoolean"

291

292booleanAlgebraBoolean :: String

293booleanAlgebraBoolean = "booleanAlgebraBoolean"

294

295heytingAlgebraBoolean :: String

296heytingAlgebraBoolean = "heytingAlgebraBoolean"

297

298semigroupString :: String

299semigroupString = "semigroupString"

300

301semigroupoidFn :: String

302semigroupoidFn = "semigroupoidFn"

303

304-- Generic Deriving

305

306generic :: String

307generic = "Generic"

308

309toSpine :: String

310toSpine = "toSpine"

311

312fromSpine :: String

313fromSpine = "fromSpine"

314

315toSignature :: String

316toSignature = "toSignature"

317

318-- Main module

319

320main :: String

321main = "main"

322

323-- Prim

324

325partial :: String

326partial = "Partial"

327

328pattern Partial :: Qualified (ProperName 'ClassName)

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

330

331-- Code Generation

332

333__superclass_ :: String

334__superclass_ = "__superclass_"

335

336__unused :: String

337__unused = "__unused"

338

339-- Modules

340

341prim :: String

342prim = "Prim"

343

344prelude :: String

345prelude = "Prelude"

346

347dataArrayUnsafe :: String

348dataArrayUnsafe = "Data_Array_Unsafe"

349

350eff :: String

351eff = "Control_Monad_Eff"

352

353st :: String

354st = "Control_Monad_ST"

355

356controlApplicative :: String

357controlApplicative = "Control_Applicative"

358

359controlSemigroupoid :: String

360controlSemigroupoid = "Control_Semigroupoid"

361

362controlBind :: String

363controlBind = "Control_Bind"

364

365dataBounded :: String

366dataBounded = "Data_Bounded"

367

368dataSemigroup :: String

369dataSemigroup = "Data_Semigroup"

370

371dataHeytingAlgebra :: String

372dataHeytingAlgebra = "Data_HeytingAlgebra"

373

374dataEq :: String

375dataEq = "Data_Eq"

376

377dataOrd :: String

378dataOrd = "Data_Ord"

379

380dataSemiring :: String

381dataSemiring = "Data_Semiring"

382

383dataRing :: String

384dataRing = "Data_Ring"

385

386dataEuclideanRing :: String

387dataEuclideanRing = "Data_EuclideanRing"

388

389dataFunction :: String

390dataFunction = "Data_Function"

391

392dataIntBits :: String

393dataIntBits = "Data_Int_Bits"