Data.Vector.SEXP.Base

Description

Synopsis

type family ElemRep s (a :: SEXPTYPE) where ...
type E s (a :: SEXPTYPE) b = ElemRep s a ~ b
type VECTOR s (ty :: SEXPTYPE) a = (Storable a, IsVector ty, SingI ty)
type SVECTOR (ty :: SEXPTYPE) a = (Storable a, IsVector ty, SingI ty, ElemRep V ty ~ a)

Documentation

type family ElemRep s (a :: SEXPTYPE) where ... Source #

Function from R types to the types of the representations of each element in the vector.

Equations

ElemRep s 'Char = Word8
ElemRep s 'Logical = Logical
ElemRep s 'Int = Int32
ElemRep s 'Real = Double
ElemRep s 'Complex = Complex Double
ElemRep s 'String = SEXP s 'Char
ElemRep s 'Vector = SomeSEXP s
ElemRep s 'Expr = SomeSEXP s
ElemRep s 'Raw = Word8

type E s (a :: SEXPTYPE) b = ElemRep s a ~ b Source #

ElemRep in the form of a relation, for convenience.

Constraint synonym for all operations on vectors.

Constraint synonym for all operations on vectors.