vinyl-vectors-0.2.0: Vectors for vinyl vectors

Safe HaskellNone
LanguageHaskell2010

Data.Vector.Vinyl.Default.Empty.Monomorphic.Internal

Synopsis

Documentation

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

Constructors

MV :: !Int -> !(Rec (MVectorVal s) rs) -> MVector s (Rec Identity rs) 

Instances

data Vector :: * -> * where Source

Constructors

V :: !Int -> !(Rec VectorVal rs) -> Vector (Rec Identity rs)