Skip to content

Make ABI types fully specified #222

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jasonpaulos merged 23 commits into from
Mar 18, 2022
Merged

Make ABI types fully specified #222

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
1413560
Convert Type and Tuple to indexable types
jasonpaulos Mar 2, 2022
bfd8edf
Convert and combine uint types
jasonpaulos Mar 2, 2022
8dda099
Fix type and unit tests
jasonpaulos Mar 2, 2022
fa98193
Convert Bool
jasonpaulos Mar 3, 2022
3f77019
Fix Tuple getitem
jasonpaulos Mar 3, 2022
a880b19
Convert arrays and array tests
jasonpaulos Mar 3, 2022
7c33354
Fix tuple tests
jasonpaulos Mar 3, 2022
843beab
[WIP] satisfy mypy
jasonpaulos Mar 5, 2022
4fe7dbf
Refactor ABI types
jasonpaulos Mar 14, 2022
26306b4
Update docs, add Tuple4 and Tuple5, and change type_spec method name
jasonpaulos Mar 14, 2022
aab0850
No longer test on Python 3.6 and 3.7
jasonpaulos Mar 14, 2022
ab45fc5
No longer test on Python 3.6 and 3.7
jasonpaulos Mar 14, 2022
b20563d
Remove accidentally included file
jasonpaulos Mar 14, 2022
1bb852f
Add another literal test case
jasonpaulos Mar 14, 2022
04aeafe
Debugging through CI
jasonpaulos Mar 14, 2022
4ea84f1
blacken
jasonpaulos Mar 14, 2022
3985207
Remove problematic test case
jasonpaulos Mar 14, 2022
f0ccc57
Minor test coverage improvements
jasonpaulos Mar 15, 2022
71a1040
Unit test to make sure type_spec_from_annotation always works on all …
jasonpaulos Mar 17, 2022
16f05aa
Partially address feedback
jasonpaulos Mar 17, 2022
985b5bc
Make uint8 != byte and use typing.Final in a few constructors
jasonpaulos Mar 17, 2022
9a34ebf
Undo custom set methods
jasonpaulos Mar 17, 2022
dc7cea8
Fix typo
jasonpaulos Mar 18, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ jobs:
container: python:${{ matrix.python }}-slim
strategy:
matrix:
python: ['3.6', '3.7', '3.8', '3.9', '3.10']
python: ['3.8', '3.9', '3.10']
steps:
- run: python3 --version
- name: Check out code
Expand Down
1 change: 1 addition & 0 deletions pyteal/__init__.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -170,5 +170,6 @@ __all__ = [
"UnaryExpr",
"While",
"WideRatio",
"abi",
"compileTeal",
]
60 changes: 54 additions & 6 deletions pyteal/ast/abi/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,20 +1,68 @@
from .type import Type, ComputedType
from .bool import Bool
from .uint import Uint, Byte, Uint8, Uint16, Uint32, Uint64
from .tuple import Tuple
from .array import StaticArray, DynamicArray
from .type import TypeSpec, BaseType, ComputedType
from .bool import BoolTypeSpec, Bool
from .uint import (
UintTypeSpec,
Uint,
ByteTypeSpec,
Byte,
Uint8TypeSpec,
Uint8,
Uint16TypeSpec,
Uint16,
Uint32TypeSpec,
Uint32,
Uint64TypeSpec,
Uint64,
)
from .tuple import (
TupleTypeSpec,
Tuple,
TupleElement,
Tuple0,
Tuple1,
Tuple2,
Tuple3,
Tuple4,
Tuple5,
)
from .array_base import ArrayTypeSpec, Array, ArrayElement
from .array_static import StaticArrayTypeSpec, StaticArray
from .array_dynamic import DynamicArrayTypeSpec, DynamicArray
from .util import type_spec_from_annotation

__all__ = [
"Type",
"TypeSpec",
"BaseType",
"ComputedType",
"BoolTypeSpec",
"Bool",
"UintTypeSpec",
"Uint",
"ByteTypeSpec",
"Byte",
"Uint8TypeSpec",
"Uint8",
"Uint16TypeSpec",
"Uint16",
"Uint32TypeSpec",
"Uint32",
"Uint64TypeSpec",
"Uint64",
"TupleTypeSpec",
"Tuple",
"TupleElement",
"Tuple0",
"Tuple1",
"Tuple2",
"Tuple3",
"Tuple4",
"Tuple5",
"ArrayTypeSpec",
"Array",
"ArrayElement",
"StaticArrayTypeSpec",
"StaticArray",
"DynamicArrayTypeSpec",
"DynamicArray",
"type_spec_from_annotation",
]
Loading