2015-08-10 22:48:35 +08:00
|
|
|
"""
|
|
|
|
|
Values representing ARTIQ types, to be used in function type
|
|
|
|
|
annotations.
|
|
|
|
|
"""
|
|
|
|
|
|
|
|
|
|
from artiq.compiler import types, builtins
|
|
|
|
|
|
|
|
|
|
__all__ = ["TNone", "TBool", "TInt32", "TInt64", "TFloat",
|
2016-10-06 18:55:33 +08:00
|
|
|
"TStr", "TTuple", "TList", "TRange32", "TRange64", "TVar"]
|
2015-08-10 22:48:35 +08:00
|
|
|
|
|
|
|
|
TNone = builtins.TNone()
|
|
|
|
|
TBool = builtins.TBool()
|
|
|
|
|
TInt32 = builtins.TInt(types.TValue(32))
|
|
|
|
|
TInt64 = builtins.TInt(types.TValue(64))
|
|
|
|
|
TFloat = builtins.TFloat()
|
|
|
|
|
TStr = builtins.TStr()
|
2016-10-06 18:55:33 +08:00
|
|
|
TTuple = types.TTuple
|
2015-08-10 22:48:35 +08:00
|
|
|
TList = builtins.TList
|
|
|
|
|
TRange32 = builtins.TRange(builtins.TInt(types.TValue(32)))
|
|
|
|
|
TRange64 = builtins.TRange(builtins.TInt(types.TValue(64)))
|
2015-11-26 10:23:59 +08:00
|
|
|
TVar = types.TVar
|
