daviddoji/example-code-2e
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added credits to petbox examples

Browse Source
This commit is contained in:
Luciano Ramalho 2021-05-20 23:13:16 -03:00
parent 14e1758bf7
commit eb8982f924
2 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
15-more-types/petbox/petbox.py
View File

@ -1,3 +1,8 @@
"""
Example adapted from `Atomic Kotlin` by Bruce Eckel & Svetlana Isakova,
chapter `Creating Generics`, section `Variance`.
"""
from typing import TypeVar, Generic, Any from typing import TypeVar, Generic, Any

7
15-more-types/petbox/petbox_demo.py
View File

@ -1,3 +1,8 @@
"""
Example adapted from `Atomic Kotlin` by Bruce Eckel & Svetlana Isakova,
chapter `Creating Generics`, section `Variance`.
"""
from typing import TYPE_CHECKING from typing import TYPE_CHECKING
from petbox import * from petbox import *
@ -11,7 +16,7 @@ cat_box.put(si)
animal = cat_box.get() animal = cat_box.get()
#if TYPE_CHECKING: # if TYPE_CHECKING:
# reveal_type(animal) # Revealed: petbox.Cat* # reveal_type(animal) # Revealed: petbox.Cat*