typelevel-1.2.3: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Map

Documentation

data Map k v Source #

Constructors

Map [(k, v)] 

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

Equations

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