From 870da873509c909a2fade5f0cfc2795ad105d8c9 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 20 Nov 2018 19:48:23 +0000 Subject: [PATCH] Record.__getitem__ --- implementations/python/preserves/preserves.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/implementations/python/preserves/preserves.py b/implementations/python/preserves/preserves.py index f434692..78132b0 100644 --- 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)