Record.ExtraSrghma.MapValuesWithIndex

mapValuesWithIndex :: forall row xs a b row'. RowToList row xs => MapValuesWithIndex xs row a b () row' => (String -> a -> b) -> Record row -> Record row'

class MapValuesWithIndex (xs :: RowList Type) (row :: Row Type) a b (from :: Row Type) (to :: Row Type) | xs -> row a b from to where

Members

• mapValuesWithIndexBuilder :: Proxy xs -> (String -> a -> b) -> Record row -> Builder (Record from) (Record to)

Instances

• (IsSymbol name, Cons name a trash row, MapValuesWithIndex tail row a b from from', Lacks name from', Cons name b from' to) => MapValuesWithIndex (Cons name a tail) row a b from to
• MapValuesWithIndex Nil row a b () ()