Total Complexity | 0 |
Total Lines | 27 |
Duplicated Lines | 0 % |
Changes | 0 |
1 | from __future__ import annotations |
||
2 | |||
3 | from structured_data import adt |
||
4 | |||
5 | |||
6 | @adt.adt |
||
7 | class Basic: |
||
8 | |||
9 | Left: adt.Ctor[int] |
||
10 | Right: adt.Ctor[str] |
||
11 | |||
12 | left_type = (int,) |
||
13 | right_type = (str,) |
||
14 | |||
15 | |||
16 | @adt.adt |
||
17 | class Tupled: |
||
18 | |||
19 | Left: adt.Ctor[int, int] |
||
20 | Right: adt.Ctor[str, str] |
||
21 | |||
22 | left_type = (int, int) |
||
23 | right_type = (str, str) |
||
24 | |||
25 | |||
26 | TEST_CLASSES = [Basic, Tupled] |
||
27 |