Data.Vector.Vinyl.Default.NonEmpty.Polymorphic.Implication

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 f rs -> RecAll f rs HasDefaultVector :- Vector Vector (Rec f rs)

listAllMVector :: (rs ~ (a : as)) => Rec f rs -> RecAll f rs HasDefaultVector :- MVector MVector (Rec f rs)

listAllMVector' :: (rs ~ (a : as)) => proxy1 f -> Rec proxy2 rs -> RecAll f rs HasDefaultVector :- MVector MVector (Rec f rs)