Как я могу удалить сфокусированное свойство объекта с линзой Ван Ларховена? - PullRequest
Новая
       60

Как я могу удалить сфокусированное свойство объекта с линзой Ван Ларховена?

3 голосов
/ 16 июня 2019

С моей простой реализацией объектива я могу выполнять обычные операции изменения, установки, получения и удаления: 

// Lens type

const Lens = f => ({runLens: f, [Symbol.toStringTag]: "Lens"});

const objLens = map => k =>
  Lens(f => o =>
    map(x => Object.assign({}, o, {[k]: x})) (f(o[k]))); // object lens

// Id type

const Id = x => ({runId: x, [Symbol.toStringTag]: "Id"});
const idMap = f => tx => Id(f(tx.runId)); // functor

// Const type

const Const = x => ({runConst: x, [Symbol.toStringTag]: "Const"});
const constMap = f => tx => Const(tx.runConst); // functor

// auxiliary function

const _const = x => y => x;

// MAIN

const o = {foo: "abc", bar: 123};

const get = objLens(constMap) ("foo").runLens(x => Const(x)) (o),
  set = objLens(idMap) ("bat").runLens(_const(Id(true))) (o),
  mod = objLens(idMap) ("foo").runLens(s => Id(s.toUpperCase())) (o),
  del = objLens(idMap) ("foo").runLens(_const(Id(null))) (o); //*

console.log("get", get.runConst);
console.log("set", set.runId);
console.log("mod", mod.runId);
console.log("del", del.runId);

Однако delete неудовлетворителен, так как я хочу удалить все свойство, а не просто заменить значение ничем.

Как этого добиться?

* Обратите внимание, что я обычно использовал бы правильный тип Option, чтобы указать отсутствие значений.

Ответы [ 2 ]

2 голосов
/ 18 июня 2019

Вот что я бы сделал: 

// type Lens a b = forall f. Functor f => (b -> f b) -> a -> f a

// newtype Const b a = Const { getConst :: b } deriving Functor
const Const = getConst => ({ getConst, map: _ => Const(getConst) });

// newtype Identity a = Identity { runIdentity :: a } deriving Functor
const Identity = runIdentity => ({ runIdentity, map: f => Identity(f(runIdentity)) });

// remove :: String -> Object -> Object
const remove = key => ({ [key]: _, ...rest }) => rest;

// prop :: String -> Lens Object (Maybe Value)
const prop = key => fun => obj =>
    fun(obj.hasOwnProperty(key) ? { fromJust: obj[key] } : null)
        .map(data => Object.assign(remove(key)(obj), data && { [key]: data.fromJust }));

// get :: Lens a b -> a -> b
const get = lens => data => lens(Const)(data).getConst;

// modify :: Lens a b -> (b -> b) -> a -> a
const modify = lens => fun => data => lens(x => Identity(fun(x)))(data).runIdentity;

// set :: Lens a b -> b -> a -> a
const set = lens => value => modify(lens)(_ => value);

// del :: Lens a (Maybe b) -> a -> a
const del = lens => set(lens)(null);

// foo :: Lens Object (Maybe Value)
const foo = prop("foo");

console.log(get(foo)({ foo: 10, bar: 20 })); // { fromJust: 10 }
console.log(del(foo)({ foo: 10, bar: 20 })); // { bar: 20 }

Как видно, типовой признак свойства линзы, такой как foo, равен Lens Object (Maybe Value). Это имеет смысл, потому что если вы попробуете get(foo)({ bar: 20 }), вы ничего не получите. Функция del работает на любом объективе, который фокусируется на возможном значении, и устанавливает его значение равным нулю (т.е. null).

Кредит берги Берги за , показывающий мне , что можно сопоставить шаблон с вычисленными свойствами.

0 голосов
/ 16 июня 2019

Один из возможных способов - определить специальный тип, который обозначает удаление: 

const Lens = f => ({runLens: f, [Symbol.toStringTag]: "Lens"});

const objLens = map => k =>
  Lens(f => o => map(x => {
    if (x[Symbol.toStringTag] === "Deleter") {
      const p = Object.assign({}, o);
      delete p[k];
      return p;
    }

    else
      return Object.assign({}, o, {[k]: x});
    }) (f(o[k])));

const Id = x => ({runId: x, [Symbol.toStringTag]: "Id"});
const idMap = f => tx => Id(f(tx.runId)); // functor

const _const = x => y => x;

// deletion type

const Deleter =
  ({get runDeleter() {return Deleter}, [Symbol.toStringTag]: "Deleter"});

// MAIN

const o = {foo: "abc", bar: 123};

const del = objLens(idMap) ("foo").runLens(_const(Id(Deleter))) (o);

console.log("del", del.runId);

Однако, _const(Id(Deleter)) не особенно интуитивно понятен, но выглядит хакерским.Надеюсь, есть лучший подход.

...