quasar.qscript.qsu.QScriptUniform
This is a non-free (as in monad) variant of Map. We need it in ReadLP so that graph compaction is defined, which is required because compaction utilizes an SMap[QSU[Symbol], Symbol], which isn't valid when the QSUs inside the keys are libre.
SMap[QSU[Symbol], Symbol]
QSU
This is a non-free (as in monad) variant of Map. We need it in ReadLP so that graph compaction is defined, which is required because compaction utilizes an
SMap[QSU[Symbol], Symbol]
, which isn't valid when theQSU
s inside the keys are libre.