Record.ExtraSrghma.MapIndex

mapIndex :: forall row rowList a b row'. RowToList row rowList => MapIndex rowList row a b () row' => (String -> b) -> Proxy row -> Record row'

class MapIndex :: forall k. RowList Type -> Row Type -> k -> Type -> Row Type -> Row Type -> Constraintclass MapIndex (rowList :: RowList Type) (row :: Row Type) a b (from :: Row Type) (to :: Row Type) | rowList -> row a b from to where

Members

• mapIndexBuilder :: (String -> b) -> Builder (Record from) (Record to)

Instances

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