Formal verification of containers

Henning Thielemann lemming at
Thu Feb 1 14:35:30 UTC 2018

On Thu, 1 Feb 2018, Joachim Breitner wrote:

> I guess there are a view variants:
> Should containers-verified export only the verified subset of the API,
> or all of it? The former is more honest, the latter easier to switch to
> for users.

... then the question: Should containers-verified export Data.Map or 
Data.Map.Verified? If it exports Data.Map but not all other modules of 
'containers', then there would be no way to access all modules of 
'containers'. So maybe containers-verified should export 
Data.Map.Verified. But then you can as well add Data.Map.Verified to 

More information about the Libraries mailing list