Record.Studio.MapUniform

mapUniformRecord :: forall row xs a b row'. RowToList row xs => MapUniformRecord xs row a b () row' => (a -> b) -> Record row -> Record row'

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

Members

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

Instances

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