total-maps-1.0.0.1: Dense and sparse total maps.
Data.Total.Subset
Description
Subset relation.
Synopsis
type Subset s k = Reifies s (Set k) Source
Subset s k means that s reifies a subset of k.
Subset s k
s
k