vinyl-vectors-0.2.0: Vectors for vinyl vectors

Safe HaskellNone
LanguageHaskell2010

Data.Vector.Vinyl.Default.NonEmpty.Polymorphic.Internal

Synopsis

Documentation

data MVector :: * -> * -> * where Source

Constructors

MV :: !(Rec (Compose (MVectorVal s) f) rs) -> MVector s (Rec f rs) 

Instances

(MVector MVector (Rec * f ((:) * s rs)), HasDefaultVector (f r)) => MVector MVector (Rec * f ((:) * r ((:) * s rs))) Source 
HasDefaultVector (f r) => MVector MVector (Rec * f ((:) * r ([] *))) Source 

data Vector :: * -> * where Source

Constructors

V :: !(Rec (Compose VectorVal f) rs) -> Vector (Rec f rs) 

Instances

(Vector Vector (Rec * f ((:) * s rs)), HasDefaultVector (f r)) => Vector Vector (Rec * f ((:) * r ((:) * s rs))) Source 
HasDefaultVector (f r) => Vector Vector (Rec * f ((:) * r ([] *))) Source 
type Mutable Vector = MVector Source