Update KnownValue in Lorentz and use it in Indigo instead of TypeValue
Clarification and motivation
In Indigo we have the TypeValue a
constraint that is simply Typeable a
and Typeable (ToT a)
.
However we sometimes have to use this with KnownValue a
(or one of the constraints that include it) that already includes Typeable (ToT a)
.
So instead of adding more constraint synonyms to Indigo, we can instead:
- add
Typeable a
to Lorentz'sKnownValue a
- remove
TypeValue a
entirely and useKnownValue a
in its place in Indigo
Additionally TypeValueClass
is not needed and should also be removed in favor of KnownValue
.
Acceptance criteria
- the
KnownValue a
constraint inLorentz.Constraints.Scopes
also includesTypeable a
-
TypeValue
andTypeValueClass
in Indigo no longer exist andKnowValue
is used in place of both