Record.ExtraSrghma.Values.Array

class RLToAV :: RowList Type -> Row Type -> Type -> Constraintclass (HomogeneousRowList rowList fieldType) <= RLToAV (rowList :: RowList Type) (row :: Row Type) (fieldType :: Type) | rowList -> row fieldType where

Members

• rlToAV :: Record row -> Array fieldType

Instances

• (Homogeneous row fieldType) => RLToAV Nil row fieldType
• (IsSymbol name, HomogeneousRowList trash fieldType, Cons name fieldType tailRow row, RowToList row trash, RLToAV tailRowList row fieldType) => RLToAV (Cons name fieldType tailRowList) row fieldType

recordToAV :: forall @row rowList fieldType. RowToList row rowList => RLToAV rowList row fieldType => Homogeneous row fieldType => Record row -> Array fieldType