export.py 文件源码

def _export(deck: db.Deck, handle: IO[Any]) -> None:
    json.dump(
        {
            'name': deck.name,
            'description': deck.description,
            'tags':
            [{
                'name': tag.name,
                'color': tag.color,
            } for tag in deck.tags],
            'cards':
            [{
                'id': card.num,
                'question': card.question,
                'answers': card.answers,
                'active': card.is_active,
                'activation_date': card.activation_date,
                'tags': [tag.name for tag in card.tags],
                'user_answers':
                [{
                    'date': answer.date,
                    'correct': answer.is_correct,
                } for answer in card.user_answers],
            } for card in deck.cards],
        },
        handle,
        default=_json_serializer,
        separators=(',', ':'),
        check_circular=False)