Data.Vector.Vinyl.Default.Internal

Documentation

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

Constructors

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

Instances

(MVector MVector (Rec * Identity rs), HasDefaultVector r) => MVector MVector (Rec * Identity ((:) * r rs))

MVector MVector (Rec * Identity ([] *))

newtype MVectorVal s t

Constructors

MVectorVal

Fields

getMVectorVal :: Mutable (DefaultVector t) s t

data Vector :: * -> * where

Constructors

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

Instances

(Vector Vector (Rec * Identity rs), HasDefaultVector r) => Vector Vector (Rec * Identity ((:) * r rs))

Vector Vector (Rec * Identity ([] *))

type Mutable Vector = MVector

class (MVector (Mutable (DefaultVector t)) t, Vector (DefaultVector t) t) => HasDefaultVector t

The most efficient vector type for each column data type.

Associated Types

type DefaultVector t :: * -> *

Instances

HasDefaultVector Bool

HasDefaultVector Char

HasDefaultVector Double

HasDefaultVector Float

HasDefaultVector Int

HasDefaultVector Text

HasDefaultVector Text

Vector Vector (Rec * Identity rs) => HasDefaultVector (Rec * Identity rs)