vinyl-0.1.1.0: Extensible Records

Safe HaskellNone

Data.Vinyl.Unicode

Documentation

type (∈) x xs = IElem x xsSource

type (⊆) xs ys = ISubset xs ysSource

type (≅) r1 r2 = r1 :~: r2Source

(≅) :: (Eq a, <: b a, <: a b) => a -> b -> BoolSource