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 |
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 :: Rec proxy rs -> ListAll rs HasDefaultVector :- Vector Vector (Rec Identity rs) Source
listAllMVector :: Rec proxy rs -> ListAll rs HasDefaultVector :- MVector MVector (Rec Identity rs) Source