typelevel-1.0.4: 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 m :: kv Source

Equations

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