Data.Type.Product.Env

data Env k v ps

type family Member (x :: k) (ps :: [(k, v)]) :: Bool where ...

member'

type family Lookup (x :: k) (ps :: [(k, v)]) :: Maybe v where ...

lookup'

type family Insert (x :: k) (a :: v) (ps :: [(k, v)]) :: [(k, v)] where ...

insert'

type family Delete (x :: k) (ps :: [(k, v)]) :: [(k, v)] where ...

delete'

type family Difference (ps :: [(k, v)]) (qs :: [(k, w)]) :: [(k, v)] where ...

difference'

(.\\)

type family Union (ps :: [(k, v)]) (qs :: [(k, v)]) :: [(k, v)] where ...

union'

type family Intersection (ps :: [(k, v)]) (qs :: [(k, w)]) :: [(k, v)] where ...

intersection'

ixList