Variable drill`Const`

drill: {
    flip: (path: number[]) => <A>(self: Tree<A>) => Option<Tree<A>>;
    <A>(path: number[], self: Tree<A>): Option<Tree<A>>;
    <A>(self: Tree<A>): (path: number[]) => Option<Tree<A>>;
} = ...

Drill down to get the child node at a given index path or none. Negative indexes are handled as in nthChild: as offsets from the end of the forest with -1 being the last child, -2 the child before it, and so on.

An empty path will return the given tree.

Type Declaration

- <A>(path: number[], self: Tree<A>): Option<Tree<A>>
- Type Parameters
  - A
  Parameters
  - path: number[]
  - self: Tree<A>
  Returns Option<Tree<A>>
- <A>(self: Tree<A>): (path: number[]) => Option<Tree<A>>
- Type Parameters
  - A
  Parameters
  - self: Tree<A>
  Returns (path: number[]) => Option<Tree<A>>
flip: (path: number[]) => <A>(self: Tree<A>) => Option<Tree<A>>

Type Param: A

Underlying tree type.

Param: path

a possibly empty array of numeric indexes that form a path from root node to some child node. accepted.

Param: self

node will be taken from the forest of this node.

Returns

An optional tree.

Variable drillConst

Type Declaration

Type Parameters

Parameters

Returns Option<Tree<A>>