| Copyright | Andrew Martin |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Andrew Martin <andrew.thaddeus@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Vector.Vinyl.Default.NonEmpty.Monomorphic.Implication
Description
This module uses the "constraints" package to prove that if all of the
columns satisfy the HasDefaultVector constraint, then a vector
parameterized over the record has an instance of the generic vector
typeclass.
Documentation
listAllVector :: (rs ~ (a : as)) => Rec proxy rs -> ListAll rs HasDefaultVector :- Vector Vector (Rec Identity rs) Source
listAllMVector :: (rs ~ (a : as)) => Rec proxy rs -> ListAll rs HasDefaultVector :- MVector MVector (Rec Identity rs) Source