git.iko.soy/rowtype-yoga/purescript-native
on 4dd5c10 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Constants.hs
257 lines 3.6 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(.|.) = ".|."
74(.^.) :: String
75(.^.) = ".^."
77(&&) :: String
78(&&) = "&&"
80(||) :: String
81(||) = "||"
83unsafeIndex :: String
84unsafeIndex = "unsafeIndex"
86-- Prelude Operator Functions
88negate :: String
89negate = "negate"
91shl :: String
92shl = "shl"
94shr :: String
95shr = "shr"
97zshr :: String
98zshr = "zshr"
100complement :: String
101complement = "complement"
103not :: String
104not = "not"
106sup :: String
107sup = "sup"
109inf :: String
110inf = "inf"
112-- Prelude Values
114zero :: String
115zero = "zero"
117one :: String
118one = "one"
120bottom :: String
121bottom = "bottom"
123top :: String
124top = "top"
126return :: String
127return = "return"
129pure' :: String
130pure' = "pure"
132returnEscaped :: String
133returnEscaped = "$return"
135untilE :: String
136untilE = "untilE"
138whileE :: String
139whileE = "whileE"
141runST :: String
142runST = "runST"
144stRefValue :: String
145stRefValue = "value"
147newSTRef :: String
148newSTRef = "newSTRef"
150readSTRef :: String
151readSTRef = "readSTRef"
153writeSTRef :: String
154writeSTRef = "writeSTRef"
156modifySTRef :: String
157modifySTRef = "modifySTRef"
159mkFn :: String
160mkFn = "mkFn"
162runFn :: String
163runFn = "runFn"
165unit :: String
166unit = "unit"
168-- Prim values
170undefined :: String
171undefined = "undefined"
173-- Type Class Dictionary Names
175monadEffDictionary :: String
176monadEffDictionary = "monadEff"
178applicativeEffDictionary :: String
179applicativeEffDictionary = "applicativeEff"
181bindEffDictionary :: String
182bindEffDictionary = "bindEff"
184semiringNumber :: String
185semiringNumber = "semiringNumber"
187ringNumber :: String
188ringNumber = "ringNumber"
190moduloSemiringNumber :: String
191moduloSemiringNumber = "moduloSemiringNumber"
193numNumber :: String
194numNumber = "numNumber"
196ordNumber :: String
197ordNumber = "ordNumber"
199eqNumber :: String
200eqNumber = "eqNumber"
202eqString :: String
203eqString = "eqString"
205eqBoolean :: String
206eqBoolean = "eqBoolean"
208bitsNumber :: String
209bitsNumber = "bitsNumber"
211boundedBoolean :: String
212boundedBoolean = "boundedBoolean"
214latticeBoolean :: String
215latticeBoolean = "latticeBoolean"
217complementedLatticeBoolean :: String
218complementedLatticeBoolean = "complementedLatticeBoolean"
220semigroupString :: String
221semigroupString = "semigroupString"
223semigroupoidArr :: String
224semigroupoidArr = "semigroupoidArr"
226-- Main module
228main :: String
229main = "main"
231-- Code Generation
233__superclass_ :: String
234__superclass_ = "__superclass_"
236__unused :: String
237__unused = "__unused"
239-- Modules
241prim :: String
242prim = "Prim"
244prelude :: String
245prelude = "Prelude"
247preludeUnsafe :: String
248preludeUnsafe = "Prelude_Unsafe"
250eff :: String
251eff = "Control_Monad_Eff"
253st :: String
254st = "Control_Monad_ST"
256dataFunction :: String
257dataFunction = "Data_Function"