This version adds KnownVal
Instances to IntMap
, Map
and Set
to convert directly from '[a]
or '[ '(key,val) ]
, the ErrorMessage
instance for KnownVal
to show information about types, and
KnownVal
instance for typeable types, which can be used as Show
for the types presented at the kind level.
Thanks again to Skyfold!
Other changes include some cleaning up here and there and removing the doc-tests from some modules and writing the corresponding separate test modules.
To take a look, please head to fcf-containers: Data structures and algorithms for first-class-families or GitHub - gspia/fcf-containers: fcf-containers add tools that can be used with first-class-families