haskpy.typeclasses.typeclass.Type

Type

class Type

Bases: object

Base class for all typeclasses, type constructors and types

Minimal complete definition for property tests:

sample_type

In HaskPy, typeclasses, type constructors and types are all represented by classes. Typeclasses are abstract base classes. Type constructors and types seemingly similar classes but type constructors just have some implicit type arguments when values are constructed.