Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family Difference (ps :: [(k, v)]) (qs :: [(k, w)]) :: [(k, v)] where ... Source #
Difference ps Ø = ps | |
Difference ps ('(x, a) :< qs) = Delete x (Difference ps qs) |
difference' :: BoolEquality k => Env k v ps -> Env k w qs -> Env k v (Difference ps qs) Source #
(.\\) :: BoolEquality k => Env k v ps -> Env k w qs -> Env k v (Difference ps qs) Source #
type family Intersection (ps :: [(k, v)]) (qs :: [(k, w)]) :: [(k, v)] where ... Source #
Intersection Ø qs = Ø | |
Intersection ('(x, a) :< ps) qs = If (Member x qs) ('(x, a) :< Intersection ps qs) (Intersection ps qs) |
intersection' :: BoolEquality k => Env k v ps -> Env k w qs -> Env k v (Intersection ps qs) Source #