Safe Haskell | None |
---|
Data.Vinyl.Witnesses
Documentation
Methods
implicitly :: pSource
An inductive list membership proposition.
type IElem x xs = Implicit (Elem x xs)Source
A constraint for implicit resolution of list membership proofs.
vinyl-0.3: Extensible Records
Safe Haskell | None |
---|
Data.Vinyl.Witnesses
Methods
implicitly :: pSource
An inductive list membership proposition.
type IElem x xs = Implicit (Elem x xs)Source
A constraint for implicit resolution of list membership proofs.