Safe Haskell | None |
---|
Test.QuickSpec.Utils.TypeMap
Description
A map from types to values.
maps each type TypeMap
fa
to a value of type f a
.
quickspec-0.9.2: Equational laws for free
Safe Haskell | None |
---|
Test.QuickSpec.Utils.TypeMap
Description
A map from types to values.
maps each type TypeMap
fa
to a value of type f a
.