Safe Haskell | None |
---|

functions to help making lists for consumption on the R side

- listToRecN :: ListToRecN __ (n :: HNat) x r => Proxy n -> [x] -> Record r
- type ListToRecN __ n x r = (HReplicate n (StateT [x] Identity x), HSequence (StateT [x] Identity) (HReplicateR n (StateT [x] Identity x)) __, HMapCxt NoLabel (HList __) (HList r) __ r)
- data NoLabel = NoLabel

# Documentation

listToRecN :: ListToRecN __ (n :: HNat) x r => Proxy n -> [x] -> Record rSource

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`

type ListToRecN __ n x r = (HReplicate n (StateT [x] Identity x), HSequence (StateT [x] Identity) (HReplicateR n (StateT [x] Identity x)) __, HMapCxt NoLabel (HList __) (HList r) __ r)Source