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)) __, HMap2 NoLabel __ 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)) __, HMap2 NoLabel __ r)Source