Function first

first<A>(a): (<B, C, D>(arrow) => Get2<A, Tuple<B, D>, Tuple<C, D>>)
Embeds the arrow as a first path into a new one.
```
     |---------------|
B -->|-->[ arrow ]-->|--> C
     |               |
D -->|-------------->|--> D
     |---------------|
```
Type Parameters
- A
Parameters
- a: Arrow<A>
  The Arrow instance for A.
Returns (<B, C, D>(arrow) => Get2<A, Tuple<B, D>, Tuple<C, D>>)
The arrow appended a secondary path D.
- - <B, C, D>(arrow): Get2<A, Tuple<B, D>, Tuple<C, D>>
  - Type Parameters
    - B
    - C
    - D
    Parameters
    - arrow: Get2<A, B, C>
    Returns Get2<A, Tuple<B, D>, Tuple<C, D>>
- Defined in src/type-class/arrow.ts:56

Generated using TypeDoc