git.iko.soy/rowtype-yoga/purescript-native
on ecfaed3 help sign in
rowtype-yoga/purescript-native/pcc/include/purescript.hh
392 lines 13 kB history raw
1///////////////////////////////////////////////////////////////////////////////
2//
3// Module : purescript.hh
4// Copyright : (c) Andy Arvanitis 2015
5// License : MIT
6//
7// Maintainer : Andy Arvanitis <andy.arvanitis@gmail.com>
8// Stability : experimental
9// Portability :
10//
11// Basic types and functions to support purescript-to-C++1x rendering
12//
13///////////////////////////////////////////////////////////////////////////////
14//
15#ifndef PureScript_HH
16#define PureScript_HH
18// Standard includes
20#if defined(DEBUG)
21 #include <cassert>
22#else
23 #define NDEBUG
24 #undef assert
25 #define assert(x)
26#endif
28#include <memory>
29#include <functional>
30#include <string>
31#include <vector>
32#include <unordered_map>
33#include <stdexcept>
34#include "map_key.hh"
36namespace PureScript {
38using string = std::string;
39using runtime_error = std::runtime_error;
40using nullptr_t = std::nullptr_t;
42const bool undefined = false;
44// A variant data class designed to provide some features of dynamic typing.
45//
46class any {
48 public:
49 enum class Type : std::int8_t {
50 Unknown,
51 Integer,
52 Double,
53 Character,
54 Boolean,
55 String,
56 Map,
57 Vector,
58 Function,
59 EffFunction,
60 Thunk,
61 Pointer
62 };
64 mutable Type type = Type::Unknown;
66 struct as_thunk {
67 };
68 static constexpr as_thunk unthunk = as_thunk{};
70 using map = std::unordered_map<map_key_t, const any, map_key_t::hasher, map_key_t::equal>;
71 using vector = std::vector<any>;
72 using fn = std::function<any(const any&)>;
73 using eff_fn = std::function<any()>;
74 using thunk = std::function<const any& (const as_thunk)>;
76 template <typename T>
77 using shared = std::shared_ptr<T>;
79 template <typename T>
80 static constexpr auto make_shared(const T& arg) -> shared<T> {
81 return std::make_shared<T>(arg);
82 }
84 template <typename T>
85 static constexpr auto make_shared(T&& arg) -> shared<T> {
86 return std::make_shared<T>(std::move(arg));
87 }
89 template <typename T, typename U>
90 static constexpr auto static_cast_shared(U arg) -> T* {
91 return static_cast<T*>(arg.get());
92 }
94 private:
95 union {
96 mutable long i;
97 mutable double d;
98 mutable char c;
99 mutable bool b;
100 mutable shared<string> s;
101 mutable shared<map> m;
102 mutable shared<vector> v;
103 mutable shared<fn> f;
104 mutable shared<eff_fn> e;
105 mutable shared<thunk> t;
106 mutable shared<void> p;
107 };
109 public:
111 any(const long val) : type(Type::Integer), i(val) {}
112 any(const int val) : type(Type::Integer), i(val) {}
113 any(const unsigned int val) : type(Type::Integer), i(val) {}
115 any(const double val) : type(Type::Double), d(val) {}
117 any(const char val) : type(Type::Character), c(val) {}
119 any(const bool val) : type(Type::Boolean), b(val) {}
121 any(const string& val) : type(Type::String), s(make_shared<string>(val)) {}
122 any(string&& val) : type(Type::String), s(make_shared<string>(std::move(val))) {}
124 any(const char val[]) : type(Type::String), s(make_shared<string>(val)) {}
126 any(const shared<string>& val) : type(Type::String), s(val) {}
127 any(shared<string>&& val) : type(Type::String), s(std::move(val)) {}
129 any(const map& val) : type(Type::Map), m(make_shared<map>(val)) {}
130 any(map&& val) : type(Type::Map), m(make_shared<map>(std::move(val))) {}
132 any(const shared<map>& val) : type(Type::Map), m(val) {}
133 any(shared<map>&& val) : type(Type::Map), m(std::move(val)) {}
135 any(const vector& val) : type(Type::Vector), v(make_shared<vector>(val)) {}
136 any(vector&& val) : type(Type::Vector), v(make_shared<vector>(std::move(val))) {}
138 any(const shared<vector>& val) : type(Type::Vector), v(val) {}
139 any(shared<vector>&& val) : type(Type::Vector), v(std::move(val)) {}
141 any(const shared<fn>& val) : type(Type::Function), f(val) {}
142 any(shared<fn>&& val) : type(Type::Function), f(std::move(val)) {}
144 template <typename T,
145 typename = typename std::enable_if<!std::is_same<any,T>::value>::type>
146 any(const T& val, typename std::enable_if<std::is_assignable<fn,T>::value>::type* = 0)
147 : type(Type::Function), f(make_shared<fn>(val)) {}
149 // template <typename T>
150 // any(T&& val, typename std::enable_if<std::is_assignable<fn,T>::value>::type* = 0)
151 // : type(Type::Function), f(std::move(val)) {}
153 any(const shared<eff_fn>& val) : type(Type::EffFunction), e(val) {}
154 any(shared<eff_fn>&& val) : type(Type::EffFunction), e(std::move(val)) {}
156 template <typename T>
157 any(const T& val, typename std::enable_if<std::is_assignable<eff_fn,T>::value>::type* = 0)
158 : type(Type::EffFunction), e(make_shared<eff_fn>(val)) {}
160 any(const shared<thunk>& val) : type(Type::Thunk), t(val) {}
161 any(shared<thunk>&& val) : type(Type::Thunk), t(std::move(val)) {}
163 template <typename T>
164 any(const T& val, typename std::enable_if<std::is_assignable<thunk,T>::value>::type* = 0)
165 : type(Type::Thunk), t(make_shared<thunk>(val)) {}
167 template <typename T>
168 any(const T& val, typename std::enable_if<std::is_assignable<shared<void>,T>::value>::type* = 0)
169 : type(Type::Pointer), p(val) {}
171 any(std::nullptr_t) : type(Type::Pointer), p(nullptr) {}
173 template <typename T>
174 any(T&& val, typename std::enable_if<std::is_assignable<shared<void>,T>::value>::type* = 0)
175 : type(Type::Pointer), p(std::move(val)) {}
177 any(const any&);
179 void swap(any&&) const;
181 any(any&& val) {
182 swap(std::move(val));
183 }
185 auto operator=(any val) -> any& {
186 swap(std::move(val));
187 return *this;
188 }
190 any() = delete;
191 ~any();
193 template <typename T>
194 auto cast() const -> typename std::enable_if<std::is_same<T, long>::value, T>::type;
196 template <typename T>
197 auto cast() const -> typename std::enable_if<std::is_same<T, double>::value, T>::type;
199 template <typename T>
200 auto cast() const -> typename std::enable_if<std::is_same<T, char>::value, T>::type;
202 template <typename T>
203 auto cast() const -> typename std::enable_if<std::is_same<T, bool>::value, T>::type;
205 template <typename T>
206 auto cast() const -> typename std::enable_if<std::is_same<T, string>::value, const T&>::type;
208 template <typename T>
209 auto cast() const -> typename std::enable_if<std::is_same<T, const char*>::value, const T>::type;
211 template <typename T>
212 auto cast() const -> typename std::enable_if<std::is_same<T, map>::value, const T&>::type;
214 template <typename T>
215 auto cast() const -> typename std::enable_if<std::is_same<T, vector>::value, const T&>::type;
217 template <typename T>
218 auto cast() const -> typename std::enable_if<std::is_assignable<shared<void>,T>::value, typename T::element_type*>::type {
219 if (type == Type::Pointer) {
220 return static_cast_shared<typename T::element_type>(p);
221 }
222 const any* valuePtr = this;
223 do {
224 assert(valuePtr->type == Type::Thunk);
225 const any& value = (*valuePtr->t)(unthunk);
226 if (value.type == Type::Pointer) {
227 return static_cast_shared<typename T::element_type>(value.p);
228 }
229 valuePtr = &value;
230 } while (valuePtr->type != Type::Unknown);
231 return nullptr;
232 }
234 auto operator()(const any&) const -> any;
236 auto operator()(const as_thunk) const -> const any&;
238 auto operator()() const -> any;
240 operator long() const;
241 operator double() const;
242 operator bool() const;
244 operator const string&() const;
245 operator const map&() const;
246 operator const vector&() const;
248 auto operator[](const map_key_t&) const -> const any&;
249 auto operator[](const vector::size_type) const -> const any&;
250 auto operator[](const any&) const -> const any&;
252 auto extractPointer() const -> const void*;
254 static auto extract_value(const any&) -> const any&;
256 auto operator==(const any&) const -> bool;
257 auto operator==(const long) const -> bool;
258 auto operator==(const double) const -> bool;
259 auto operator==(const char) const -> bool;
260 auto operator==(const bool) const -> bool;
261 auto operator==(const string&) const -> bool;
262 auto operator==(const char * const) const -> bool;
264 auto operator!=(const any&) const -> bool;
265 auto operator!=(const long) const -> bool;
266 auto operator!=(const double) const -> bool;
267 auto operator!=(const char) const -> bool;
268 auto operator!=(const bool) const -> bool;
269 auto operator!=(const string&) const -> bool;
270 auto operator!=(const char * const) const -> bool;
272 auto operator<(const any&) const -> bool;
273 auto operator<(const long) const -> bool;
274 auto operator<(const double) const -> bool;
275 auto operator<(const char) const -> bool;
276 auto operator<(const bool) const -> bool;
277 auto operator<(const string&) const -> bool;
278 auto operator<(const char * const) const -> bool;
280 auto operator<=(const any&) const -> bool;
281 auto operator<=(const long) const -> bool;
282 auto operator<=(const double) const -> bool;
283 auto operator<=(const char) const -> bool;
284 auto operator<=(const bool) const -> bool;
285 auto operator<=(const string&) const -> bool;
286 auto operator<=(const char * const) const -> bool;
288 auto operator>(const any&) const -> bool;
289 auto operator>(const long) const -> bool;
290 auto operator>(const double) const -> bool;
291 auto operator>(const char) const -> bool;
292 auto operator>(const bool) const -> bool;
293 auto operator>(const string&) const -> bool;
294 auto operator>(const char * const) const -> bool;
296 auto operator>=(const any&) const -> bool;
297 auto operator>=(const long) const -> bool;
298 auto operator>=(const double) const -> bool;
299 auto operator>=(const char) const -> bool;
300 auto operator>=(const bool) const -> bool;
301 auto operator>=(const string&) const -> bool;
302 auto operator>=(const char * const) const -> bool;
304 auto operator+(const any&) const -> any;
305 auto operator+(const long) const -> long;
306 auto operator+(const double) const -> double;
307 auto operator+(const char) const -> char;
308 auto operator+(const string&) const -> string;
309 auto operator+(const char * const) const -> string;
311 auto operator-(const any&) const -> any;
312 auto operator-(const long) const -> long;
313 auto operator-(const double) const -> double;
314 auto operator-(const char) const -> char;
316 auto operator*(const any&) const -> any;
317 auto operator*(const long) const -> long;
318 auto operator*(const double) const -> double;
320 auto operator/(const any&) const -> any;
321 auto operator/(const long) const -> long;
322 auto operator/(const double) const -> double;
324 auto operator%(const any&) const -> any;
325 auto operator%(const long) const -> long;
327 auto operator-() const -> any; // unary negate
329 friend auto operator==(const long, const any&) -> bool;
330 friend auto operator!=(const long, const any&) -> bool;
331 friend auto operator< (const long, const any&) -> bool;
332 friend auto operator<=(const long, const any&) -> bool;
333 friend auto operator> (const long, const any&) -> bool;
334 friend auto operator>=(const long, const any&) -> bool;
336 friend auto operator==(const double, const any&) -> bool;
337 friend auto operator!=(const double, const any&) -> bool;
338 friend auto operator< (const double, const any&) -> bool;
339 friend auto operator<=(const double, const any&) -> bool;
340 friend auto operator> (const double, const any&) -> bool;
341 friend auto operator>=(const double, const any&) -> bool;
343 friend auto operator==(const char, const any&) -> bool;
344 friend auto operator!=(const char, const any&) -> bool;
345 friend auto operator< (const char, const any&) -> bool;
346 friend auto operator<=(const char, const any&) -> bool;
347 friend auto operator> (const char, const any&) -> bool;
348 friend auto operator>=(const char, const any&) -> bool;
350 friend auto operator==(const bool, const any&) -> bool;
351 friend auto operator!=(const bool, const any&) -> bool;
352 friend auto operator< (const bool, const any&) -> bool;
353 friend auto operator<=(const bool, const any&) -> bool;
354 friend auto operator> (const bool, const any&) -> bool;
355 friend auto operator>=(const bool, const any&) -> bool;
357 friend auto operator==(const string&, const any&) -> bool;
358 friend auto operator!=(const string&, const any&) -> bool;
359 friend auto operator< (const string&, const any&) -> bool;
360 friend auto operator<=(const string&, const any&) -> bool;
361 friend auto operator> (const string&, const any&) -> bool;
362 friend auto operator>=(const string&, const any&) -> bool;
364 friend auto operator==(const char* const, const any&) -> bool;
365 friend auto operator!=(const char* const, const any&) -> bool;
366 friend auto operator< (const char* const, const any&) -> bool;
367 friend auto operator<=(const char* const, const any&) -> bool;
368 friend auto operator> (const char* const, const any&) -> bool;
369 friend auto operator>=(const char* const, const any&) -> bool;
371 friend auto operator+(const long, const any&) -> long;
372 friend auto operator-(const long, const any&) -> long;
373 friend auto operator*(const long, const any&) -> long;
374 friend auto operator/(const long, const any&) -> long;
375 friend auto operator%(const long, const any&) -> long;
377 friend auto operator+(const double, const any&) -> double;
378 friend auto operator-(const double, const any&) -> double;
379 friend auto operator*(const double, const any&) -> double;
380 friend auto operator/(const double, const any&) -> double;
382 friend auto operator+(const char, const any&) -> char;
383 friend auto operator-(const char, const any&) -> char;
385 friend auto operator+(const string&, const any&) -> string;
386 friend auto operator+(const char* const, const any&) -> string;
388};
390} // namespace PureScript
392#endif // PureScript_HH