vinyl-0.1.1.0: Extensible Records
Data.Vinyl.Witnesses
class Implicit p whereSource
Methods
implicitly :: pSource
Instances
type IElem x xs = Implicit (Elem x xs)Source
data Elem whereSource
Constructors
type ISubset xs ys = Implicit (Subset xs ys)Source
data Subset whereSource