Type.Map

Documentation

data Map k v

Constructors

Map [(k, v)]

type family MapLookup (k :: kk) (m :: Map kk kv) :: kv where ...

Equations

MapLookup k (Map ('(k, v) ': ms)) = v

MapLookup k (Map ('(l, v) ': ms)) = MapLookup k (Map ms)