var CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_IDReturns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
constr
constr_typecopy_only_attributesid_mapstringifyunopunop_typevar CONSTR_ID : ClassVar[int]var CONSTR_IDopshin.tests.test_miscimport os
+import pycardano
import sys
import subprocess
@@ -83,6 +84,7 @@ Module opshin.tests.test_misc
import hypothesis
from hypothesis import given
from hypothesis import strategies as st
+from opshin import IndefiniteList
from parameterized import parameterized
from uplc import ast as uplc, eval as uplc_eval
@@ -96,7 +98,7 @@ Module opshin.tests.test_misc
# these imports are required to eval the result of script context dumps
from ..ledger.api_v2 import *
-from pycardano import RawPlutusData
+from pycardano import RawPlutusData, RawCBOR
from cbor2 import CBORTag
ALL_EXAMPLES = [
@@ -844,11 +846,7 @@ Module opshin.tests.test_misc
x = (
A(x)
if isinstance(x, SomeOutputDatumHash)
- else B(x)
- if y == 1
- else C(0, x)
- if y == 2
- else D(0, 0, x)
+ else B(x) if y == 1 else C(0, x) if y == 2 else D(0, 0, x)
)
ret = eval_uplc(source_code, x)
@@ -2965,7 +2963,7 @@ Module opshin.tests.test_misc
@dataclass
class A(PlutusData):
- CONSTR_ID = 15
+ CONSTR_ID = 0
a: int
b: bytes
d: List[int]
@@ -2993,7 +2991,63 @@ Module opshin.tests.test_misc
"""
res = eval_uplc_value(source_code, Unit())
- self.assertEqual(15, res, "Invalid constr id")var CONSTR_ID : ClassVar[int]var CONSTR_IDvar CONSTR_ID : ClassVar[int]var CONSTR_ID
+def test_id_map_equals_pycardano(self)
+ def test_id_map_equals_pycardano(self):
+ @dataclass
+ class A(PlutusData):
+ CONSTR_ID = 0
+ a: int
+ b: bytes
+ d: List[int]
+
+ @dataclass
+ class C(PlutusData):
+ z: Anything
+
+ @dataclass
+ class B(PlutusData):
+ a: int
+ c: A
+ d: Dict[bytes, C]
+ e: Union[A, C]
+
+ source_code = """
+from dataclasses import dataclass
+from pycardano import Datum as Anything, PlutusData
+from typing import Dict, List, Union
+
+@dataclass
+class Nothing(PlutusData):
+ CONSTR_ID = 0
+
+
+@dataclass
+class A(PlutusData):
+ CONSTR_ID = 0
+ a: int
+ b: bytes
+ d: List[int]
+
+@dataclass
+class C(PlutusData):
+ z: Anything
+
+@dataclass
+class B(PlutusData):
+ a: int
+ c: A
+ d: Dict[bytes, C]
+ e: Union[A, C]
+
+def validator(_: None) -> int:
+ return B(1, A(1, b"", [1, 2]), {b"": C(Nothing())}, C(Nothing())).CONSTR_ID
+ """
+ res = eval_uplc_value(source_code, Unit())
+
+ self.assertEqual(
+ B.CONSTR_ID, res, "Invalid constr id generation (does not match pycardano)"
+ )
def test_if_no_retype_no_plutusdata(self)
test_gift_contract_fail
test_gift_contract_succeedtest_hello_worldtest_id_map_equals_pycardanotest_if_no_retype_no_plutusdatatest_illegal_bindtest_illegal_function_retypeopshin.tests.test_opsopshin.tests.test_ops @given(x=uplc_data)
@example(PlutusByteString(b""))
@example(PlutusConstr(0, [PlutusByteString(b"'")]))
+ @example(
+ PlutusMap({PlutusInteger(1): PlutusMap({}), PlutusInteger(0): PlutusMap({})})
+ )
def test_fmt_any(self, x):
x_cbor = uplc.plutus_cbor_dumps(x)
x_data = pycardano.RawPlutusData(cbor2.loads(x_cbor))
@@ -2098,8 +2107,8 @@ Methods
def validator(x: Anything) -> str:
return f"{x}"
"""
- # UPLC lambdas may only take one argument at a time, so we evaluate by repeatedly applying
- exp = f"{x_data}"
+ # NOTE: this is technically a deviation from the semantics of pycardano but I expect the pycardano semantics to change soon
+ exp = f"RawPlutusData(data={repr(x_data.data)})"
ret = eval_uplc_value(source_code, pycardano.RawCBOR(x_cbor)).decode("utf8")
if "\\'" in ret:
RawPlutusData = pycardano.RawPlutusData
diff --git a/docs/opshin/tests/utils.html b/docs/opshin/tests/utils.html
index d350fb64..e845c7a9 100644
--- a/docs/opshin/tests/utils.html
+++ b/docs/opshin/tests/utils.html
@@ -234,7 +234,7 @@ Ancestors
Class variables
-var CONSTR_ID : ClassVar[int]var CONSTR_ID-
diff --git a/docs/opshin/type_inference.html b/docs/opshin/type_inference.html
index cefc44a1..7ca046bc 100644
--- a/docs/opshin/type_inference.html
+++ b/docs/opshin/type_inference.html
@@ -1045,12 +1045,12 @@ Module opshin.type_inference
class RecordReader(NodeVisitor):
name: str
orig_name: str
- constructor: int
+ constructor: typing.Optional[int]
attributes: typing.List[typing.Tuple[str, Type]]
_type_inferencer: AggressiveTypeInferencer
def __init__(self, type_inferencer: AggressiveTypeInferencer):
- self.constructor = 0
+ self.constructor = None
self.attributes = []
self._type_inferencer = type_inferencer
@@ -1058,6 +1058,12 @@ Module opshin.type_inference
def extract(cls, c: ClassDef, type_inferencer: AggressiveTypeInferencer) -> Record:
f = cls(type_inferencer)
f.visit(c)
+ if f.constructor is None:
+ det_string = RecordType(
+ Record(f.name, f.orig_name, 0, frozenlist(f.attributes))
+ ).id_map(skip_constructor=True)
+ det_hash = sha256(str(det_string).encode("utf8")).hexdigest()
+ f.constructor = int(det_hash, 16) % 2**32
return Record(f.name, f.orig_name, f.constructor, frozenlist(f.attributes))
def visit_AnnAssign(self, node: AnnAssign) -> None:
@@ -3317,12 +3323,12 @@ Methods
class RecordReader(NodeVisitor):
name: str
orig_name: str
- constructor: int
+ constructor: typing.Optional[int]
attributes: typing.List[typing.Tuple[str, Type]]
_type_inferencer: AggressiveTypeInferencer
def __init__(self, type_inferencer: AggressiveTypeInferencer):
- self.constructor = 0
+ self.constructor = None
self.attributes = []
self._type_inferencer = type_inferencer
@@ -3330,6 +3336,12 @@ Methods
def extract(cls, c: ClassDef, type_inferencer: AggressiveTypeInferencer) -> Record:
f = cls(type_inferencer)
f.visit(c)
+ if f.constructor is None:
+ det_string = RecordType(
+ Record(f.name, f.orig_name, 0, frozenlist(f.attributes))
+ ).id_map(skip_constructor=True)
+ det_hash = sha256(str(det_string).encode("utf8")).hexdigest()
+ f.constructor = int(det_hash, 16) % 2**32
return Record(f.name, f.orig_name, f.constructor, frozenlist(f.attributes))
def visit_AnnAssign(self, node: AnnAssign) -> None:
@@ -3403,7 +3415,7 @@ Class variables
-
-var constructor : intvar constructor : Optional[int]-
@@ -3431,6 +3443,12 @@ Static methods
def extract(cls, c: ClassDef, type_inferencer: AggressiveTypeInferencer) -> Record:
f = cls(type_inferencer)
f.visit(c)
+ if f.constructor is None:
+ det_string = RecordType(
+ Record(f.name, f.orig_name, 0, frozenlist(f.attributes))
+ ).id_map(skip_constructor=True)
+ det_hash = sha256(str(det_string).encode("utf8")).hexdigest()
+ f.constructor = int(det_hash, 16) % 2**32
return Record(f.name, f.orig_name, f.constructor, frozenlist(f.attributes))
diff --git a/docs/opshin/types.html b/docs/opshin/types.html
index fd55b6de..548d522a 100644
--- a/docs/opshin/types.html
+++ b/docs/opshin/types.html
@@ -211,6 +211,12 @@ Module opshin.types
f"{type(self).__name__} can not be used with operation {unop.__class__.__name__}"
)
+ def id_map(self, skip_constructor: bool = False) -> str:
+ """
+ Returns a map from the constructor id to a descriptive typestring
+ """
+ raise NotImplementedError(f"Type {type(self).__name__} does not have a id map")
+
@dataclass(frozen=True, unsafe_hash=True)
class Record:
@@ -257,6 +263,9 @@ Module opshin.types
class AnyType(ClassType):
"""The top element in the partial order on types (excluding FunctionTypes, which do not compare to anything)"""
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "any"
+
def attribute_type(self, attr: str) -> Type:
"""The types of the named attributes of this class"""
if attr == "CONSTR_ID":
@@ -517,6 +526,17 @@ Module opshin.types
class RecordType(ClassType):
record: Record
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return (
+ "cons["
+ + self.record.orig_name
+ + "]("
+ + (str(self.record.constructor) if not skip_constructor else "_")
+ + ";"
+ + ",".join(name + ":" + type.id_map() for name, type in self.record.fields)
+ + ")"
+ )
+
def constr_type(self) -> "InstanceType":
return InstanceType(
FunctionType(
@@ -713,6 +733,9 @@ Module opshin.types
def __post_init__(self):
object.__setattr__(self, "typs", frozenlist(self.typs))
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "union<" + ",".join(t.id_map() for t in self.typs) + ">"
+
def attribute_type(self, attr) -> "Type":
if attr == "CONSTR_ID":
return IntegerInstanceType
@@ -986,6 +1009,9 @@ Module opshin.types
def __ge__(self, other):
return isinstance(other, ListType) and self.typ >= other.typ
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "list<" + self.typ.id_map() + ">"
+
def attribute_type(self, attr) -> "Type":
if attr == "index":
return InstanceType(
@@ -1128,6 +1154,9 @@ Module opshin.types
key_typ: Type
value_typ: Type
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "map<" + self.key_typ.id_map() + "," + self.value_typ.id_map() + ">"
+
def attribute_type(self, attr) -> "Type":
if attr == "get":
return InstanceType(
@@ -1453,6 +1482,9 @@ Module opshin.types
class InstanceType(Type):
typ: ClassType
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return self.typ.id_map(skip_constructor=skip_constructor)
+
def constr_type(self) -> FunctionType:
raise TypeInferenceError(f"Can not construct an instance {self}")
@@ -1495,6 +1527,9 @@ Module opshin.types
@dataclass(frozen=True, unsafe_hash=True)
class IntegerType(AtomicType):
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "int"
+
def constr_type(self) -> InstanceType:
return InstanceType(PolymorphicFunctionType(IntImpl()))
@@ -1768,6 +1803,9 @@ Module opshin.types
@dataclass(frozen=True, unsafe_hash=True)
class ByteStringType(AtomicType):
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "bytes"
+
def constr_type(self) -> InstanceType:
return InstanceType(PolymorphicFunctionType(BytesImpl()))
@@ -3024,6 +3062,9 @@ Classes
class AnyType(ClassType):
"""The top element in the partial order on types (excluding FunctionTypes, which do not compare to anything)"""
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "any"
+
def attribute_type(self, attr: str) -> Type:
"""The types of the named attributes of this class"""
if attr == "CONSTR_ID":
@@ -3408,6 +3449,23 @@ Methods
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too).
For anything but record …
+
+def id_map(self, skip_constructor: bool = False) ‑> str
+-
+
+Inherited from:
+ClassType.id_map
+
+Returns a map from the constructor id to a descriptive typestring
+
+
+Expand source code
+
+def id_map(self, skip_constructor: bool = False) -> str:
+ return "any"
+
+
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Methods
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too).
For anything but record …
+
+def id_map(self, skip_constructor: bool = False) ‑> str
+-
+
+Inherited from:
+ClassType.id_map
+
+Returns a map from the constructor id to a descriptive typestring
+
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Methods
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too).
For anything but record …
+
+def id_map(self, skip_constructor: bool = False) ‑> str
+-
+
+Inherited from:
+AtomicType.id_map
+
+Returns a map from the constructor id to a descriptive typestring
+
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Methods
@dataclass(frozen=True, unsafe_hash=True)
class ByteStringType(AtomicType):
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "bytes"
+
def constr_type(self) -> InstanceType:
return InstanceType(PolymorphicFunctionType(BytesImpl()))
@@ -4772,6 +4853,23 @@ Methods
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too).
For anything but record …
+
+def id_map(self, skip_constructor: bool = False) ‑> str
+-
+
+Inherited from:
+AtomicType.id_map
+
+Returns a map from the constructor id to a descriptive typestring
+
+
+Expand source code
+
+def id_map(self, skip_constructor: bool = False) -> str:
+ return "bytes"
+
+
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Methods
return OLambda(["self"], OVar("self"))
+
+def id_map(self, skip_constructor: bool = False) ‑> str
+-
+
+Inherited from:
+Type.id_map
+
+Returns a map from the constructor id to a descriptive typestring
+
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Methods
key_typ: Type
value_typ: Type
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "map<" + self.key_typ.id_map() + "," + self.value_typ.id_map() + ">"
+
def attribute_type(self, attr) -> "Type":
if attr == "get":
return InstanceType(
@@ -5899,6 +6010,23 @@ Methods
return OLambda(["self"], mapped_attrs)
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def id_map(self, skip_constructor: bool = False) -> str:
+ return "map<" + self.key_typ.id_map() + "," + self.value_typ.id_map() + ">"
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+Type.id_map
+
Returns a map from the constructor id to a descriptive typestring
def id_map(self, skip_constructor: bool = False) -> str:
+ return self.typ.id_map(skip_constructor=skip_constructor)
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
@dataclass(frozen=True, unsafe_hash=True)
class IntegerType(AtomicType):
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "int"
+
def constr_type(self) -> InstanceType:
return InstanceType(PolymorphicFunctionType(IntImpl()))
@@ -7309,6 +7480,23 @@ Methods
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too).
For anything but record …
+
+def id_map(self, skip_constructor: bool = False) ‑> str
+-
+
+Inherited from:
+AtomicType.id_map
+
+Returns a map from the constructor id to a descriptive typestring
+
+
+Expand source code
+
+def id_map(self, skip_constructor: bool = False) -> str:
+ return "int"
+
+
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Methods
def __ge__(self, other):
return isinstance(other, ListType) and self.typ >= other.typ
+ def id_map(self, skip_constructor: bool = False) -> str:
+ return "list<" + self.typ.id_map() + ">"
+
def attribute_type(self, attr) -> "Type":
if attr == "index":
return InstanceType(
@@ -7729,6 +7920,23 @@ Methods
return OLambda(["self"], mapped_attrs)
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def id_map(self, skip_constructor: bool = False) -> str:
+ return "list<" + self.typ.id_map() + ">"
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Pluthon function that returns a copy of only the attributes of the object
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+InstanceType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def id_map(self, skip_constructor: bool = False) -> str:
+ return (
+ "cons["
+ + self.record.orig_name
+ + "]("
+ + (str(self.record.constructor) if not skip_constructor else "_")
+ + ";"
+ + ",".join(name + ":" + type.id_map() for name, type in self.record.fields)
+ + ")"
+ )
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+AtomicType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
+def id_map(self, skip_constructor: bool = False) ‑> str
+Returns a map from the constructor id to a descriptive typestring
def id_map(self, skip_constructor: bool = False) -> str:
+ """
+ Returns a map from the constructor id to a descriptive typestring
+ """
+ raise NotImplementedError(f"Type {type(self).__name__} does not have a id map")
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+ClassType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def id_map(self, skip_constructor: bool = False) -> str:
+ return "union<" + ",".join(t.id_map() for t in self.typs) + ">"
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
Returns a copy of this type with only the declared attributes (mapped to builtin values, thus checking atomic types too). For anything but record …
+def id_map(self, skip_constructor: bool = False) ‑> str
+
+Inherited from:
+AtomicType.id_map
+
Returns a map from the constructor id to a descriptive typestring
def stringify(self, recursive: bool = False) ‑> pluthon.pluthon_ast.AST
AnyTypeconstr
constr_typecopy_only_attributesid_mapstringifyunopunop_typeAto
constrconstr_typecopy_only_attributesid_mapstringifyunopunop_typeBoolTyp
constrconstr_typecopy_only_attributesid_mapstringifyunopunop_typeconstr
constr_typecopy_only_attributesid_mapstringifyunopunop_typeClass
constrconstr_typecopy_only_attributesid_mapstringifyunopunop_typeDictTyp
constrconstr_typecopy_only_attributesid_mapkey_typstringifyunopconstr
constr_typecopy_only_attributesid_maprettypstringifyunopconstr
constr_typecopy_only_attributesid_mapstringifyunopunop_typeconstr
constr_typecopy_only_attributesid_mapstringifytypunopI
constrconstr_typecopy_only_attributesid_mapstringifyunopunop_typeListTyp
constrconstr_typecopy_only_attributesid_mapstringifytypunopPairTyp
constrconstr_typecopy_only_attributesid_mapl_typr_typstringifyconstr
constr_typecopy_only_attributesid_mappolymorphic_functionstringifytypconstr
constr_typecopy_only_attributesid_mappolymorphic_functionstringifyunopRec
constrconstr_typecopy_only_attributesid_maprecordstringifyunopStr
constrconstr_typecopy_only_attributesid_mapstringifyunopunop_typeTuple
constrconstr_typecopy_only_attributesid_mapstringifytypsunopType
constrconstr_typecopy_only_attributesid_mapstringifyunopunop_typeUnion
constrconstr_typecopy_only_attributesid_mapstringifytypsunopUnitTyp
constrconstr_typecopy_only_attributesid_mapstringifyunopunop_type