total-maps-1.0.0.2: Dense and sparse total maps.

LicenseMIT
MaintainerPaweł Nowak <pawel834@gmail.com>
Stabilityprovisional
PortabilityGHC only
Safe HaskellSafe
LanguageHaskell2010

Data.Total.Subset

Description

Subset relation.

Synopsis

Documentation

type Subset s k = Reifies s (Set k) Source

Subset s k means that s reifies a subset of k.