Data.Type.Map

data Mapping k v

type Union m n

type Unionable s t

union

data Var k

data Map n

type family Combine (a :: v) (b :: v) :: v

class Combinable t t'

type family Cmp (a :: k) (b :: k) :: Ordering

class Nubable t

nub

type family Lookup (m :: [Mapping k v]) (c :: k) :: Maybe v where ...

type family Member (c :: k) (m :: [Mapping k v]) :: Bool where ...

type family (m :: [Mapping k v]) :\ (c :: k) :: [Mapping k v] where ...

class Split s t st

split

class IsMember v t m

lookp

class Updatable v t m n

update

type IsMap s

type AsMap s

asMap

class Submap s t

submap