Skip to content

Commit 45071cf

Browse files
github-actions[bot]mikearnaldi
authored andcommitted
Version Packages
1 parent 31f1681 commit 45071cf

38 files changed

+3732
-6
lines changed

.changeset/rude-clocks-fly.md

Lines changed: 0 additions & 5 deletions
This file was deleted.

CHANGELOG.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,11 @@
11
# @fp-ts/core
22

3+
## 0.0.6
4+
5+
### Patch Changes
6+
7+
- [#22](https://github.com/fp-ts/core/pull/22) [`e71d3d57`](https://github.com/fp-ts/core/commit/e71d3d57b0869ab3283a7bb68e76452bc0a2ffba) Thanks [@gcanti](https://github.com/gcanti)! - rename HKT params
8+
39
## 0.0.5
410

511
### Patch Changes

docs/modules/HKT.ts.md

Lines changed: 74 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,74 @@
1+
---
2+
title: HKT.ts
3+
nav_order: 3
4+
parent: Modules
5+
---
6+
7+
## HKT overview
8+
9+
Added in v1.0.0
10+
11+
---
12+
13+
<h2 class="text-delta">Table of contents</h2>
14+
15+
- [utils](#utils)
16+
- [Kind (type alias)](#kind-type-alias)
17+
- [TypeClass (interface)](#typeclass-interface)
18+
- [TypeLambda (interface)](#typelambda-interface)
19+
20+
---
21+
22+
# utils
23+
24+
## Kind (type alias)
25+
26+
**Signature**
27+
28+
```ts
29+
export type Kind<F extends TypeLambda, In, Out2, Out1, Target> = F extends {
30+
readonly type: unknown
31+
}
32+
? (F & {
33+
readonly In: In
34+
readonly Out2: Out2
35+
readonly Out1: Out1
36+
readonly Target: Target
37+
})['type']
38+
: {
39+
readonly F: F
40+
readonly In: (_: In) => void
41+
readonly Out2: () => Out2
42+
readonly Out1: () => Out1
43+
readonly Target: (_: Target) => Target
44+
}
45+
```
46+
47+
Added in v1.0.0
48+
49+
## TypeClass (interface)
50+
51+
**Signature**
52+
53+
```ts
54+
export interface TypeClass<F extends TypeLambda> {
55+
readonly [URI]?: F
56+
}
57+
```
58+
59+
Added in v1.0.0
60+
61+
## TypeLambda (interface)
62+
63+
**Signature**
64+
65+
```ts
66+
export interface TypeLambda {
67+
readonly In: unknown
68+
readonly Out2: unknown
69+
readonly Out1: unknown
70+
readonly Target: unknown
71+
}
72+
```
73+
74+
Added in v1.0.0

docs/modules/data/Either.ts.md

Lines changed: 74 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,74 @@
1+
---
2+
title: data/Either.ts
3+
nav_order: 1
4+
parent: Modules
5+
---
6+
7+
## Either overview
8+
9+
Added in v1.0.0
10+
11+
---
12+
13+
<h2 class="text-delta">Table of contents</h2>
14+
15+
- [models](#models)
16+
- [Either (type alias)](#either-type-alias)
17+
- [Left (interface)](#left-interface)
18+
- [Right (interface)](#right-interface)
19+
- [type lambdas](#type-lambdas)
20+
- [EitherTypeLambda (interface)](#eithertypelambda-interface)
21+
22+
---
23+
24+
# models
25+
26+
## Either (type alias)
27+
28+
**Signature**
29+
30+
```ts
31+
export type Either<E, A> = Left<E> | Right<A>
32+
```
33+
34+
Added in v1.0.0
35+
36+
## Left (interface)
37+
38+
**Signature**
39+
40+
```ts
41+
export interface Left<out E> {
42+
readonly _tag: 'Left'
43+
readonly left: E
44+
}
45+
```
46+
47+
Added in v1.0.0
48+
49+
## Right (interface)
50+
51+
**Signature**
52+
53+
```ts
54+
export interface Right<out A> {
55+
readonly _tag: 'Right'
56+
readonly right: A
57+
}
58+
```
59+
60+
Added in v1.0.0
61+
62+
# type lambdas
63+
64+
## EitherTypeLambda (interface)
65+
66+
**Signature**
67+
68+
```ts
69+
export interface EitherTypeLambda extends TypeLambda {
70+
readonly type: Either<this['Out1'], this['Target']>
71+
}
72+
```
73+
74+
Added in v1.0.0

docs/modules/data/Option.ts.md

Lines changed: 73 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,73 @@
1+
---
2+
title: data/Option.ts
3+
nav_order: 2
4+
parent: Modules
5+
---
6+
7+
## Option overview
8+
9+
Added in v1.0.0
10+
11+
---
12+
13+
<h2 class="text-delta">Table of contents</h2>
14+
15+
- [models](#models)
16+
- [None (interface)](#none-interface)
17+
- [Option (type alias)](#option-type-alias)
18+
- [Some (interface)](#some-interface)
19+
- [type lambdas](#type-lambdas)
20+
- [OptionTypeLambda (interface)](#optiontypelambda-interface)
21+
22+
---
23+
24+
# models
25+
26+
## None (interface)
27+
28+
**Signature**
29+
30+
```ts
31+
export interface None {
32+
readonly _tag: 'None'
33+
}
34+
```
35+
36+
Added in v1.0.0
37+
38+
## Option (type alias)
39+
40+
**Signature**
41+
42+
```ts
43+
export type Option<A> = None | Some<A>
44+
```
45+
46+
Added in v1.0.0
47+
48+
## Some (interface)
49+
50+
**Signature**
51+
52+
```ts
53+
export interface Some<out A> {
54+
readonly _tag: 'Some'
55+
readonly value: A
56+
}
57+
```
58+
59+
Added in v1.0.0
60+
61+
# type lambdas
62+
63+
## OptionTypeLambda (interface)
64+
65+
**Signature**
66+
67+
```ts
68+
export interface OptionTypeLambda extends TypeLambda {
69+
readonly type: Option<this['Target']>
70+
}
71+
```
72+
73+
Added in v1.0.0

docs/modules/index.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
---
2+
title: Modules
3+
has_children: true
4+
permalink: /docs/modules
5+
nav_order: 2
6+
---

0 commit comments

Comments
 (0)