ЗП
как вариант конечно хранить Row отдельно от рекорда
type RowsX r = (x :: String | r)
type RowsY r = (y :: String | r)
type X = Record (RowsX ())
type Y = Record (RowsX + RowsY + ())
Size: a a a
2018 August 23
ЗП
2018 August 24
AK
@xgrommx спасибо, `ExcepT` сделала мою жизнь проще, понятнее и чуточку прекраснее
AK
А как в мапе мапнуть ключи? То есть
Map k v -> (k -> k') -> Map k' v и при этом значения как бы остаются?VY
fromFoldableWith?)
VY
тк Map это Foldable, или нет, с телеоына
VY
не соображу как еще
ЗП
А как в мапе мапнуть ключи? То есть
Map k v -> (k -> k') -> Map k' v и при этом значения как бы остаются?fromFoldable <<< map (lmap modifyKey) <<< toUnfoldableVY
ну или пересобрать да
ЗП
изоморфизмы же
ЗП
или для линз сделать
iso и уже юзать такЗП
скорее всего еще и тип надо указать
logShow $ Map.fromFoldable <<< map (lmap show) <<< (Map.toUnfoldable :: forall k v. Map.Map k v → Array (Tuple k v)) $ myMap
ЗП
А как в мапе мапнуть ключи? То есть
Map k v -> (k -> k') -> Map k' v и при этом значения как бы остаются?линзами конечно тот еще ад)
AK
линзами конечно тот еще ад)
Не, линзами не буду, а `lmap` то что надо, спасибо!
ЗП
Не, линзами не буду, а `lmap` то что надо, спасибо!
isoMap :: forall k k' v. Ord k => Ord k' => L.Iso (Map.Map k v) (Map.Map k' v) (Array (Tuple k v)) (Array (Tuple k' v))
isoMap = L.iso Map.toUnfoldable Map.fromFoldable
newMap = L.over (isoMap <<< L.traversed <<< L._1) show oldMap
к
А как в мапе мапнуть ключи? То есть
Map k v -> (k -> k') -> Map k' v и при этом значения как бы остаются?а что делать, если ключи одинаковые будут?
AK
а что делать, если ключи одинаковые будут?
В последних версиях это Set
к
ну типа:
mapKey :: (k -> k') -> Map k v -> Map k' v
mapKey (const ())
AK
Надо делать из Set’а Set видимо