Commit | Line | Data |
---|---|---|
a05f7822 JM |
1 | import sys, copy, types as pytypes |
2 | if sys.version_info[0] >= 3: | |
3 | str_types = [str] | |
4 | else: | |
5 | str_types = [str, unicode] | |
6 | ||
31690700 JM |
7 | # General functions |
8 | ||
ea81a808 | 9 | def _equal_Q(a, b): |
31690700 | 10 | ota, otb = type(a), type(b) |
ea81a808 | 11 | if not (ota == otb or (_sequential_Q(a) and _sequential_Q(b))): |
31690700 | 12 | return False; |
ea81a808 | 13 | if _symbol_Q(a): |
31690700 | 14 | return a == b |
ea81a808 | 15 | elif _list_Q(a) or _vector_Q(a): |
31690700 JM |
16 | if len(a) != len(b): return False |
17 | for i in range(len(a)): | |
ea81a808 | 18 | if not _equal_Q(a[i], b[i]): return False |
31690700 | 19 | return True |
ea81a808 | 20 | elif _hash_map_Q(a): |
31690700 JM |
21 | akeys = a.keys() |
22 | akeys.sort() | |
23 | bkeys = b.keys() | |
24 | bkeys.sort() | |
25 | if len(akeys) != len(bkeys): return False | |
26 | for i in range(len(akeys)): | |
27 | if akeys[i] != bkeys[i]: return False | |
28 | if not equal_Q(a[akeys[i]], b[bkeys[i]]): return False | |
29 | return True | |
30 | else: | |
31 | return a == b | |
32 | ||
ea81a808 | 33 | def _sequential_Q(seq): return _list_Q(seq) or _vector_Q(seq) |
31690700 | 34 | |
a05f7822 JM |
35 | def _clone(obj): |
36 | #if type(obj) == type(lambda x:x): | |
37 | if type(obj) == pytypes.FunctionType: | |
38 | if obj.__code__: | |
39 | return pytypes.FunctionType( | |
40 | obj.__code__, obj.__globals__, name = obj.__name__, | |
41 | argdefs = obj.__defaults__, closure = obj.__closure__) | |
42 | else: | |
43 | return pytypes.FunctionType( | |
44 | obj.func_code, obj.func_globals, name = obj.func_name, | |
45 | argdefs = obj.func_defaults, closure = obj.func_closure) | |
46 | else: | |
47 | return copy.copy(obj) | |
48 | ||
49 | ||
ea81a808 JM |
50 | # Scalars |
51 | def _nil_Q(exp): return exp is None | |
52 | def _true_Q(exp): return exp is True | |
53 | def _false_Q(exp): return exp is False | |
a05f7822 | 54 | def _string_Q(exp): return type(exp) in str_types |
31690700 | 55 | |
ea81a808 | 56 | # Symbols |
31690700 | 57 | class Symbol(str): pass |
ea81a808 JM |
58 | def _symbol(str): return Symbol(str) |
59 | def _symbol_Q(exp): return type(exp) == Symbol | |
31690700 | 60 | |
ea81a808 | 61 | # Functions |
a34b0200 | 62 | def _function(Eval, Env, ast, env, params): |
a05f7822 JM |
63 | def fn(*args): |
64 | return Eval(ast, Env(env, params, args)) | |
65 | fn.__meta__ = None | |
66 | fn.__ast__ = ast | |
67 | fn.__gen_env__ = lambda args: Env(env, params, args) | |
68 | return fn | |
ea81a808 | 69 | def _function_Q(f): return type(f) == type(function_Q) |
31690700 JM |
70 | |
71 | # lists | |
72 | class List(list): | |
73 | def __add__(self, rhs): return List(list.__add__(self, rhs)) | |
74 | def __getitem__(self, i): | |
75 | if type(i) == slice: return List(list.__getitem__(self, i)) | |
76 | elif i >= len(self): return None | |
77 | else: return list.__getitem__(self, i) | |
78 | def __getslice__(self, *a): return List(list.__getslice__(self, *a)) | |
ea81a808 JM |
79 | def _list(*vals): return List(vals) |
80 | def _list_Q(exp): return type(exp) == List | |
31690700 JM |
81 | |
82 | ||
83 | # vectors | |
84 | class Vector(list): | |
85 | def __add__(self, rhs): return Vector(list.__add__(self, rhs)) | |
86 | def __getitem__(self, i): | |
87 | if type(i) == slice: return Vector(list.__getitem__(self, i)) | |
88 | elif i >= len(self): return None | |
89 | else: return list.__getitem__(self, i) | |
90 | def __getslice__(self, *a): return Vector(list.__getslice__(self, *a)) | |
ea81a808 JM |
91 | def _vector(*vals): return Vector(vals) |
92 | def _vector_Q(exp): return type(exp) == Vector | |
31690700 | 93 | |
ea81a808 JM |
94 | # Hash maps |
95 | class Hash_Map(dict): pass | |
96 | def _hash_map(*key_vals): | |
97 | hm = Hash_Map() | |
98 | for i in range(0,len(key_vals),2): hm[key_vals[i]] = key_vals[i+1] | |
99 | return hm | |
100 | def _hash_map_Q(exp): return type(exp) == Hash_Map | |
31690700 JM |
101 | |
102 | # atoms | |
103 | class Atom(object): | |
104 | def __init__(self, val): | |
105 | self.val = val | |
ea81a808 JM |
106 | def _atom(val): return Atom(val) |
107 | def _atom_Q(exp): return type(exp) == Atom |