git.iko.soy/rowtype-yoga/purescript-native
on e1ecb6b help sign in
239 lines 3.4 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"
106-- Prelude Values
108zero :: String
109zero = "zero"
111one :: String
112one = "one"
114return :: String
115return = "return"
117pure' :: String
118pure' = "pure"
120returnEscaped :: String
121returnEscaped = "$return"
123untilE :: String
124untilE = "untilE"
126whileE :: String
127whileE = "whileE"
129runST :: String
130runST = "runST"
132stRefValue :: String
133stRefValue = "value"
135newSTRef :: String
136newSTRef = "newSTRef"
138readSTRef :: String
139readSTRef = "readSTRef"
141writeSTRef :: String
142writeSTRef = "writeSTRef"
144modifySTRef :: String
145modifySTRef = "modifySTRef"
147mkFn :: String
148mkFn = "mkFn"
150runFn :: String
151runFn = "runFn"
153unit :: String
154unit = "unit"
156-- Prim values
158undefined :: String
159undefined = "undefined"
161-- Type Class Dictionary Names
163monadEffDictionary :: String
164monadEffDictionary = "monadEff"
166applicativeEffDictionary :: String
167applicativeEffDictionary = "applicativeEff"
169bindEffDictionary :: String
170bindEffDictionary = "bindEff"
172semiringNumber :: String
173semiringNumber = "semiringNumber"
175ringNumber :: String
176ringNumber = "ringNumber"
178moduloSemiringNumber :: String
179moduloSemiringNumber = "moduloSemiringNumber"
181numNumber :: String
182numNumber = "numNumber"
184ordNumber :: String
185ordNumber = "ordNumber"
187eqNumber :: String
188eqNumber = "eqNumber"
190eqString :: String
191eqString = "eqString"
193eqBoolean :: String
194eqBoolean = "eqBoolean"
196bitsNumber :: String
197bitsNumber = "bitsNumber"
199boolLikeBoolean :: String
200boolLikeBoolean = "boolLikeBoolean"
202semigroupString :: String
203semigroupString = "semigroupString"
205semigroupoidArr :: String
206semigroupoidArr = "semigroupoidArr"
208-- Main module
210main :: String
211main = "main"
213-- Code Generation
215__superclass_ :: String
216__superclass_ = "__superclass_"
218__unused :: String
219__unused = "__unused"
221-- Modules
223prim :: String
224prim = "Prim"
226prelude :: String
227prelude = "Prelude"
229preludeUnsafe :: String
230preludeUnsafe = "Prelude_Unsafe"
232eff :: String
233eff = "Control_Monad_Eff"
235st :: String
236st = "Control_Monad_ST"
238dataFunction :: String
239dataFunction = "Data_Function"