RlangQQ.MakeRecord

functions to help making lists for consumption on the R side

Documentation

listToRecN :: (HAllTaggedLV (HReplicateR * n (Tagged Symbol "" x)), SameLabels [*] [*] (HReplicateR * n (Tagged Symbol "" x)) (HReplicateR * n (Tagged Symbol "" x)), SameLength' * * (RecordValuesR (HReplicateR * n (Tagged Symbol "" x))) (RecordValuesR (HReplicateR * n (Tagged Symbol "" x))), SameLength' * * (HReplicateR * n (Tagged Symbol "" x)) (HReplicateR * n (Tagged Symbol "" x)), HList2List (RecordValuesR (HReplicateR * n (Tagged Symbol "" x))) x, HMapAux HList TaggedFn (RecordValuesR (HReplicateR * n (Tagged Symbol "" x))) (HReplicateR * n (Tagged Symbol "" x)), RecordValues (HReplicateR * n (Tagged Symbol "" x))) => Proxy HNat n -> [x] -> Record (HReplicateR * n (Tagged Symbol "" x))

convert a haskell list into a record with labels all of type "". The length of the list is decided by the (type of the) first argument which is a HNat

listToRecN :: _ => Proxy (n :: HNat) -> [x] -> Record (HReplicateR n (Tagged "" x))