Data.Vector.Vinyl.Default.Types

Documentation

newtype MVectorVal s t

Constructors

MVectorVal

Fields

getMVectorVal :: Mutable (DefaultVector t) s t

newtype VectorVal t

Constructors

VectorVal

Fields

getVectorVal :: DefaultVector t t

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)

newtype DefaultBoxed a

Constructors

DefaultBoxed

Fields

getDefaultBoxed :: a

Instances

HasDefaultVector (DefaultBoxed a)

type DefaultVector (DefaultBoxed a) = Vector