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

Documentation

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

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)))

HasDefaultVector (f r) => MVector MVector (Rec * f ((:) * r ([] *)))

data Vector :: * -> * where

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)))

HasDefaultVector (f r) => Vector Vector (Rec * f ((:) * r ([] *)))

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 Int8

HasDefaultVector Int16

HasDefaultVector Int32

HasDefaultVector Int64

HasDefaultVector Word8

HasDefaultVector Word16

HasDefaultVector Word32

HasDefaultVector Word64

HasDefaultVector ByteString

HasDefaultVector ByteString

HasDefaultVector Text

HasDefaultVector Text

HasDefaultVector [a]

(Default a, HasDefaultVector a) => HasDefaultVector (Maybe a)

HasDefaultVector (DefaultBoxed a)

(Default a, Default b, HasDefaultVector a, HasDefaultVector b) => HasDefaultVector (Either a b)

(HasDefaultVector a, HasDefaultVector b) => HasDefaultVector (a, b)

(HasDefaultVector a, HasDefaultVector b, HasDefaultVector c) => HasDefaultVector (a, b, c)