Open sjakobi opened 7 years ago
Ok, turns out writing a Size
instance is not all that hard once one has found the Size
combinators in Data.Store.Internal
.
I think these should be more prominent and possibly moved into a non-internal module, maybe something like Data.Store.Size
.
A separate non-internal module makes sense to me!
Also, could this be simplified? Could
Size
have aNum
instance? AMonoFunctor
instance should definitely be possible.