Data.Vector.HFixed.Functor.HVecF

Documentation

newtype HVecF xs f

Partially heterogeneous vector which can hold elements of any type.

Constructors

HVecF

Fields

getHVecF :: HVec (Wrap f xs)

Instances

Arity xs => HVectorF (HVecF xs)

(Arity xs, ArityC Eq (Wrap * * f xs)) => Eq (HVecF xs f)

(Arity xs, ArityC Eq (Wrap * * f xs), ArityC Ord (Wrap * * f xs)) => Ord (HVecF xs f)

(Arity xs, ArityC NFData (Wrap * * f xs)) => NFData (HVecF xs f)

(Arity (Wrap * * f xs), Arity xs) => HVector (HVecF xs f)

It's not possible to remove constrain Arity (Wrap f xs) because it's required by superclass and we cannot prove it for all f. witWrapped allow to generate proofs for terms

type ElemsF (HVecF xs) = xs

type Elems (HVecF xs f) = Wrap * * f xs