🔎 fun-land/accessor

Accessor is a library for doing immutable updates and querying on nested data structures in a way that is composable and powerful. This is similar to lens and traversal libraries like partial.lenses, monacle-ts, and shades. This library aims to allow easy typed composition of optics without the bewildering functional programming jargon that usually comes with them.

🔧 Installation

  npm install -S @fun-land/accessor

🧠 Prerequisites

• This library and its examples uses currying, arrow functions, and generics extensively so it'll help if you're familiar with those concepts.
• TypeScript - While usage without TypeScript will work, you lose a lot of the benefit of this library without types. If you're looking for an optics library for use without TS check out partial.lenses.

📚 Examples

import { Acc } from "@fun-land/accessor";

Simple property query

Acc<{ a: number }>().prop("a").get({ a: 1 }); // => 1

While you can inline an interface for your Accessors you probably want to define your interfaces separately:

// Sample interface
interface User {
  name: string;
  id: number;
  cool?: boolean;
  connections: number[];
}

// Sample User
const bob: User = {
  name: "bob",
  id: 1,
  connections: [1, 2]
};

Immutably modify data with .set():

Acc<User>().prop("id").set(3)(bob);
// => { name: "bob", id: 3, connections: [1, 2] }

Drill down to child properties:

interface Friend {
  user: User;
}

const myFriendBob: Friend = { user: bob };

Acc<Friend>().prop("user").prop("id").get(myFriendBob);
// => 1

This is equivalent to accessing myFriendBob.user.id.

Storing and reusing the Foci:

const friendNameFoci = Acc<Friend>().prop("user").prop("name");
friendNameFoci.set("Robert")(myFriendBob); 
// => { user: { name: "Robert", id: 1, connections: [1, 2] } }

Modifying the targeted value:

const incrementedIdBob = Acc<User>().prop("id").mod(id => id + 1)(bob);
// => { name: "bob", id: 2, connections: [1, 2] }

Focusing a specific element of an array:

Acc<Friend>().prop("user").prop("connections").at(1).get(myFriendBob); 
// => 2

Targeting all items within a nested array:

Acc<Friend>().prop("user").prop("connections").all().query(myFriendBob);
// => [1, 2]

Setting a value deep within nested structures:

interface Friends {
  friends: Friend[];
}

const shari: User = { name: "Shari", id: 0, connections: [3, 4] };
const myFriendShari: Friend = { user: shari };
const friendsList: Friends = { friends: [myFriendBob, myFriendShari] };

Acc<Friends>().prop("friends").all().prop("user").prop("cool").set(true)(friendsList);
// This sets the "cool" field to true for all users within the friends list.

Use focus to pass any of the functional accessors. Here filter allows us to focus items in an array that satisfy the passed callback:

import {Acc, filter} from '@fun-land/accessor';

const isOdd = (a: number): boolean => a % 2 === 1;
// saving the complex Foci as a variable
const oddConnections = Acc<Friends>()
  .prop("friends")
  .all()
  .prop("user")
  .prop("connections")
  .focus(filter(isOdd));

oddConnections.query(friendsList) // => [1, 3]

oddConnections.set(NaN)(friendsList); /* =>
  {friends: [
    {user: {name: "bob", id: 1, connections: [NaN, 2]}},
    {user: {name: "Shari", id: 0, connections: [NaN, 4]}}
  ]} */

API

Accessors

Accessors are the core of this library and have the interface:

// S is the type of the data structure that will be operated on, A is the type of some value(s) within
export interface Accessor<S, A> {
  // get an array of result(s) from the data structure
  query(struct: S): A[];
  // modify item(s) within the data structure using the passed function
  mod(fn: (x: A) => A): (struct: S) => S;
}

Since accessor-ts only provides Accessors for arrays and objects you may want to create your own if you use other data structures like Set, Map or immutable.js

prop

: <Obj>() => <Key extends keyof Obj>(k: Key) => Accessor<Obj, Obj[Key]>;

Create Accessor that points to a property of an object

Example:

prop<User>()("name").query(bob); // => ['bob']

index

: <A>(i: number) => Accessor<A[], A>;

Create Accessor that points to an index of an array

Example:

index(1).query([1, 2, 3]); // => [2]

set

: <S, A>(acc: Accessor<S, A>) => (x: A) => (s: S) => S

Immutably assign using an Accessor

Example:

set(prop<User>()("name"))("Robert")(bob); // => {name: 'Robert', ...}

get

: <S, A>(acc: Accessor<S, A>) => (s: S): A | undefined =>

Extract the first value of an accessor. When query would return [] this returns undefined.

Example:

type Foo = { a: number; items: boolean[] };
const foo = { a: 1, items: [] };

get(prop<Foo>()("a"))(foo); // -> 1

get(index(0))([]); // -> undefined

comp

: <A, B, C>(acc1: Accessor<A, B>, acc2: Accessor<B, C>) => Accessor<A, C>

Compose 2 or more Accessors (overloaded up to 8)

Examples:

comp(prop<User>()("address"), prop<Address>()("city")).query(bob); // => ['Seattle']

all

: <A>() => Accessor<A[], A>

Create Accessor focused on all items in an array. query unwraps them, mod changes each item.

Examples:

const makeAllFriendsCool = (user: User) => set(comp(prop<User>()('friends'), all<User>(), prop<User>()('isCool'))(true).query(user)
// BTW you can make functions point-free if you like:
const getFriends = comp(prop<User>()('friends'), all<User>()).query
// is the same as
const getFriends = (user: User) => comp(prop<User>()('friends'), all<User>()).query(user)

filter

: <A>(pred: (x: A) => boolean) => Accessor<A[], A>

Create Accessor that targets items in an array that match the passed predicate. query returns the matched items, mod modifies matched items.

Example:

const getCoolFriends = (user: User) =>
  comp(
    prop<User>()("friends"),
    filter<User>((friend) => friend.isCool)
  ).query(user);

viewed

: <X, Y>(toView: (x: X) => Y, fromView: (y: Y) => X) => Accessor<X, Y>

Create an accessor that let's you operate on the data as if it's a different encoding. I.e an isomorphism.

Example:

type Coord = [number, number]
type Point = {x: number; y: number}

const coordToPoint: Accessor<Coord, Point> = viewed(
  ([x, y]: Coord): Point => ({x,y}),
  ({x, y}: Point): Coord => [x, y]
);

const coords: Coord[] = [[1,2], [3,4]];
const getPoints = Acc<Coord[]>().all().focus(asPoint).prop("x").query
getPoints(coords) // => [{ x: 1, y: 2 }, { x: 3, y: 4 },]

before

: <A>(i: number) => Accessor<A[], A>

Create Accessor that targets items in an array before the passed index

Example:

const getFirstTenFriends = comp(prop<User>()("friends"), before(10)).query;

after

: <A>(i: number) => Accessor<A[], A>

Create Accessor that targets items in an array after the passed index

Example:

const getMoreFriends = comp(prop<User>()("friends"), after(9)).query;

sub

: <SSub, S extends SSub = never>(keys: Array<keyof SSub>) => Accessor<S, SSub>

Create an accessor that targets a subset of properties of an object.

Example:

interface Entity {
  name: string;
  id: number;
}
const entityAcc = sub<Entity, User>(["name", "id"]);

entityAcc.query(bob); // => [{name: 'bob', id: 1}]

unit

: <A>(): Accessor<A, A>

Accessor that doesn't drill down.

Example:

comp(prop<User>()("name"), unit<string>()).query(bob); // => ['bob']

optional

: <A>(): Accessor<A, NotUndefined<A>>

Accessor that drills through optional properties.

Example:

const maybeUserName = comp(optional<User | undefined>(), prop<User>()('name'))
maybeUserName.query(bob); // => ['bob']
maybeUserName.query(undefined); // => []
maybeUserName.mod(() => 'Robert')(bob); // => (bob but with name set to "Robert")
maybeUserName.set(() => 'Robert')(undefined); // => undefined

readOnly

: <A>(): Accessor<A, A>

Like unit but mod does nothing

Example:

readOnly<number>().query(1); // -> 1

readOnly<number>().mod((a) => a + 1); // -> 2

type Foo = { a: number };
const f = (isHappy: boolean): number | Foo =>
  (isHappy ? prop<Foo>()("a") : unit).query({ a: 1 });
f(true); // -> 1
f(false); // -> {a: 1}

Utilities

Bonus functions which are not directly related to accessors but are useful when using them or doing functional programming in-general.

flow

: <A, B, C>(f: (x: A) => B, g: (y: B) => C) => (x: A) => C;

Compose two functions left to right.

K

<A>(a: A) =>
  (_b: unknown) =>
    A;

Constant combinator. Returns a function that ignores its argument and returns the original one.

empty

: <A>() => A[]

Returns an empty array.

flatmap

: <T, U>(f: (x: T) => U[]) => (xs: T[]) => U[]

Apply an array returning function to each item in an array and return an unnested array.

removeAt

: (index: number) => <T>(xs: T[]) => T[]

Removes item at passed index from array.

prepend

: <A>(x: A) => (xs: A[]): A[]

Prepend an item to an array.

append

: <A>(x: A) => (xs: A[]): A[]

Append an item to the end of an array

head

: <A>(xs: A[]) => A | undefined;

Return the first item in an array

tail

: <A>(xs: A[]) => A[]

Return a copy of the array excluding the first item.

not

: (a: boolean) => boolean;

Logically negate the argument.

mergeInto

: <State>(part: Partial<State>) => (s: State) => State;

Merge a partial object into the full one. Useful for updating a subset of properties of an object.

Fluent API (new)

Acc

<S>() => Foci<S, S>;
<S, A>(acc: Accessor<S, A>) => Foci<S, A>;

Create a Foci either from nothing or an accessor. This allows you to build up a Foci by chaining.

const bobsName = Acc<User>().prop("name").get();
const bobsFirstConnection = Acc(prop<User>()("connections")).at(0).get();
const makeMyFriendsCool = Acc<Friends>()
  .prop("friends")
  .all()
  .prop("user")
  .prop("cool")
  .set(true)(allMyFriends);

Foci<S,A>.mod

(f: (x: A) => A) => (struct: S) => S;

Transform value(s) focused with passed function.

Foci<S,A>.set

(a: A) => (struct: S) => S;

Replace value(s) focused.

Foci<S,A>.get

(struct: S) => A | undefined;

Extract first value focused.

Foci<S,A>.query

(struct: S) => A[]

Extract all values focused.

Foci<S,A>.prop

<K extends keyof A>(k: K) => Foci<S, A[K]>

Focus child property.

Foci<S,A>.focus

<B>(acc: Accessor<A, B>) => Foci<S, B>

Focus using passed accessor.

Foci<S,A>.at

<B extends ArrayItemType<A>>(idx: number) => Foci<S, B>

If A is an array this focuses item in the array at passed index.

Foci<S,A>.all

<B extends ArrayItemType<A>>() => Foci<S, B>

If A is an array this focuses all items in the array.

Foci<S,NotUndefined>.optional

<B extends ArrayItemType<A>>() => Foci<S, B>

Focuses on the property as long as it's not undefined.

Weaknesses

• Performance of this library hasn't been evaluated or optimized yet.

Comparisons to other libries

• shades: Shades' usage is more terse, and doesn't require binding the types of its optics to interfaces. Shades' types are harder to understand and leverage, especially since its source isn't in TypeScript. Accessor-ts only has one type so users don't have to understand the differences between Lenses, Isomorphisms, and Traversals. Shades has a massive generated type file that is impossible to grok and slows down the TS compiler on medium to large projects (in my experience).
• monacle-ts: Accessor-ts' usage is simpler as there is only one composition operator. monacle-ts has way more concepts to learn and use. monacle-ts has dependencies on fp-ts which is difficult to learn and leverage. monacle-ts is more expressive, mature, and powerful.