Literal Int32 'Int Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: Int32 -> IO (SEXP V 'Int) Source # fromSEXP :: SEXP s 'Int -> Int32 Source #
Literal Logical 'Logical Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: Logical -> IO (SEXP V 'Logical0) Source # fromSEXP :: SEXP s 'Logical0 -> Logical Source #
Literal Text 'String Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: Text -> IO (SEXP V 'String) Source # fromSEXP :: SEXP s 'String -> Text Source #
Literal String 'String Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: String0 -> IO (SEXP V 'String) Source # fromSEXP :: SEXP s 'String -> String0 Source #
Literal Double 'Real Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: Double -> IO (SEXP V 'Real) Source # fromSEXP :: SEXP s 'Real -> Double Source #
Literal (Complex Double) 'Complex Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: Complex0 Double -> IO (SEXP V 'Complex) Source # fromSEXP :: SEXP s 'Complex -> Complex0 Double Source #
Literal (SomeSEXP s) 'Any Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: SomeSEXP s -> IO (SEXP V 'Any) Source # fromSEXP :: SEXP s0 'Any -> SomeSEXP s Source #
Literal [Complex Double] 'Complex Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: [Complex0 Double] -> IO (SEXP V 'Complex) Source # fromSEXP :: SEXP s 'Complex -> [Complex0 Double] Source #
Literal [Int32] 'Int Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: [Int32] -> IO (SEXP V 'Int) Source # fromSEXP :: SEXP s 'Int -> [Int32] Source #
Literal [Logical] 'Logical Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: [Logical] -> IO (SEXP V 'Logical0) Source # fromSEXP :: SEXP s 'Logical0 -> [Logical] Source #
Literal [String] 'String Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: [String0] -> IO (SEXP V 'String) Source # fromSEXP :: SEXP s 'String -> [String0] Source #
Literal [Double] 'Real Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: [Double] -> IO (SEXP V 'Real) Source # fromSEXP :: SEXP s 'Real -> [Double] Source #
SVECTOR ty a => Literal (Vector ty a) ty Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: Vector ty a -> IO (SEXP V ty) Source # fromSEXP :: SEXP s ty -> Vector ty a Source #
SingI a => Literal (SEXP s a) a Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: SEXP s a -> IO (SEXP V a) Source # fromSEXP :: SEXP s0 a -> SEXP s a Source #
(NFData a, Literal a b) => Literal (R s a) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: R s a -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> R s a Source #
(NFData b, Literal a a0, Literal b b0) => Literal (a -> R s b) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a -> R s b) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a -> R s b Source #
(NFData c, Literal a a0, Literal b b0, Literal c c0) => Literal (a -> b -> R s c) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a -> b -> R s c) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a -> b -> R s c Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a1 i4) => Literal (a2 -> a3 -> a4 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a1 i5) => Literal (a2 -> a3 -> a4 -> a5 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a1 i6) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a7 i6, Literal a1 i7) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a7 i6, Literal a8 i7, Literal a1 i8) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a7 i6, Literal a8 i7, Literal a9 i8, Literal a1 i9) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a7 i6, Literal a8 i7, Literal a9 i8, Literal a10 i9, Literal a1 i10) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a7 i6, Literal a8 i7, Literal a9 i8, Literal a10 i9, Literal a11 i10, Literal a1 i11) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a7 i6, Literal a8 i7, Literal a9 i8, Literal a10 i9, Literal a11 i10, Literal a12 i11, Literal a1 i12) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> R s a1 Source #
(NFData a1, Literal a2 i1, Literal a3 i2, Literal a4 i3, Literal a5 i4, Literal a6 i5, Literal a7 i6, Literal a8 i7, Literal a9 i8, Literal a10 i9, Literal a11 i10, Literal a12 i11, Literal a13 i12, Literal a1 i13) => Literal (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> a13 -> R s a1) 'ExtPtr Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: (a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> a13 -> R s a1) -> IO (SEXP V 'ExtPtr) Source # fromSEXP :: SEXP s0 'ExtPtr -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> a13 -> R s a1 Source #
VECTOR V ty a => Literal (MVector V ty a) ty Source #
Instance details Defined in Language.R.Literal Methods mkSEXPIO :: MVector V ty a -> IO (SEXP V ty) Source # fromSEXP :: SEXP s ty -> MVector V ty a Source #

toPairList :: MonadR m => [(String, SomeSEXP (Region m))] -> m (SomeSEXP (Region m)) Source #

Create a pairlist from an association list. Result is either a pairlist or nilValue if the input is the null list. These are two distinct forms. Hence why the type of this function is not more precise.

fromPairList :: SomeSEXP s -> [(String, SomeSEXP s)] Source #

Create an association list from a pairlist. R Pairlists are nil-terminated chains of nested cons cells, as in LISP.

Derived helpers

fromSomeSEXP :: forall s a form. Literal a form => SomeSEXP s -> a Source #

Like fromSEXP, but with no static type satefy. Performs a dynamic (i.e. at runtime) check instead.

mkSEXP :: (Literal a b, MonadR m) => a -> m (SEXP (Region m) b) Source #

Create a SEXP value and protect it in current region

dynSEXP :: forall a s ty. Literal a ty => SomeSEXP s -> a Source #

Like fromSomeSEXP, but behaves like the as.* family of functions in R, by performing a best effort conversion to the target form (e.g. rounds reals to integers, etc) for atomic types.

mkSEXPVector :: (Storable (ElemRep s a), IsVector a) => SSEXPTYPE a -> [IO (ElemRep s a)] -> SEXP s a Source #

mkSEXPVectorIO :: (Storable (ElemRep s a), IsVector a) => SSEXPTYPE a -> [IO (ElemRep s a)] -> IO (SEXP s a) Source #

mkProtectedSEXPVector :: IsVector b => SSEXPTYPE b -> [SEXP s a] -> SEXP s b Source #

mkProtectedSEXPVectorIO :: IsVector b => SSEXPTYPE b -> [SEXP s a] -> IO (SEXP s b) Source #

Internal

funToSEXP :: HFunWrap a b => (b -> IO (FunPtr b)) -> a -> IO (SEXP s 'ExtPtr) Source #