Module fmap_view 

A resource wrapping a FMap in a View

This module defines a specialization of Resource for the case where you want:

• A single, authoritative version of a FMap
• Multiple fragments of such a map, that each assert that some key-value is in the map.

These are the Authority and Fragment types respectively.

Structs

Authority

Wrapper around a Resource, that allows to agree on the values of a FMap.

Fragment

Wrapper around a Resource, that allows to agree on the values of a FMap.