Record.__getitem__

2018-11-20 19:48:23 +00:00 · 2018-11-20 19:48:23 +00:00 · 870da87350
parent 1fd763cf56
commit 870da87350
1 changed files with 3 additions and 0 deletions
--- a/implementations/python/preserves/preserves.py
+++ b/implementations/python/preserves/preserves.py
@ -75,6 +75,9 @@ class Record(object):
        for f in self.fields:
            encoder.append(f)

+    def __getitem__(self, index):
+        return self.fields[index]
+
    @staticmethod
    def makeConstructor(labelSymbolText, fieldNames):
        return Record.makeBasicConstructor(Symbol(labelSymbolText), fieldNames)