git.iko.soy/rowtype-yoga/purescript-native
on 8700e35 help sign in
224 lines 3.1 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
108return :: String
109return = "return"
111pure' :: String
112pure' = "pure"
114returnEscaped :: String
115returnEscaped = "$return"
117untilE :: String
118untilE = "untilE"
120whileE :: String
121whileE = "whileE"
123runST :: String
124runST = "runST"
126stRefValue :: String
127stRefValue = "value"
129newSTRef :: String
130newSTRef = "newSTRef"
132readSTRef :: String
133readSTRef = "readSTRef"
135writeSTRef :: String
136writeSTRef = "writeSTRef"
138modifySTRef :: String
139modifySTRef = "modifySTRef"
141mkFn :: String
142mkFn = "mkFn"
144runFn :: String
145runFn = "runFn"
147unit :: String
148unit = "unit"
150-- Prim values
152undefined :: String
153undefined = "undefined"
155-- Type Class Dictionary Names
157monadEffDictionary :: String
158monadEffDictionary = "monadEff"
160applicativeEffDictionary :: String
161applicativeEffDictionary = "applicativeEff"
163bindEffDictionary :: String
164bindEffDictionary = "bindEff"
166numNumber :: String
167numNumber = "numNumber"
169ordNumber :: String
170ordNumber = "ordNumber"
172eqNumber :: String
173eqNumber = "eqNumber"
175eqString :: String
176eqString = "eqString"
178eqBoolean :: String
179eqBoolean = "eqBoolean"
181bitsNumber :: String
182bitsNumber = "bitsNumber"
184boolLikeBoolean :: String
185boolLikeBoolean = "boolLikeBoolean"
187semigroupString :: String
188semigroupString = "semigroupString"
190semigroupoidArr :: String
191semigroupoidArr = "semigroupoidArr"
193-- Main module
195main :: String
196main = "main"
198-- Code Generation
200__superclass_ :: String
201__superclass_ = "__superclass_"
203__unused :: String
204__unused = "__unused"
206-- Modules
208prim :: String
209prim = "Prim"
211prelude :: String
212prelude = "Prelude"
214preludeUnsafe :: String
215preludeUnsafe = "Prelude_Unsafe"
217eff :: String
218eff = "Control_Monad_Eff"
220st :: String
221st = "Control_Monad_ST"
223dataFunction :: String
224dataFunction = "Data_Function"