typelevel-1.0.4: Useful type level operations (type families and related operators).
Type.Map
data Map k v Source
Constructors
type family MapLookup k m :: kv Source
Equations