Dynamic prefix selection#164

Open

dmcclean wants to merge 14 commits intobjornbm:masterfrom

dmcclean:dynamic-prefix

Commits on Jul 14, 2016

Commits on Jul 15, 2016

Relaxed type of appropriatePrefix to allow its use in more complicated scenarios.
dmcclean
committed

Commits on Jul 18, 2016

Changed handling when value is smaller than the smallest unit to be consistent with what happens when it is larger than the largest unit.
dmcclean
committed

Commits on Jul 26, 2016

Commits on Aug 7, 2016

Changed Prefix so that emptyPrefix can be a Prefix.
dmcclean
committed
Implemented PrefixSets to allow more choice in dynamic prefix selection.
dmcclean
committed
Added filtering of PrefixSets. Added explicit Typeable instance for old versions of GHC.
dmcclean
committed

Commits on Aug 30, 2016

Merge branch 'master' into dynamic-prefix
dmcclean
committed

Commits on Oct 7, 2016