blob: d89e23e02ab785b37df5aa4c0fb18b43c07a493d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
[ts-types-lang](../README.md) / [Modules](../modules.md) / util
# Module: util
## Table of contents
### Interfaces
- [ConstK](../interfaces/util.ConstK.md)
- [IdK](../interfaces/util.IdK.md)
### Type Aliases
- [ADT](util.md#adt)
- [ApplyK](util.md#applyk)
- [Equals](util.md#equals)
- [Id](util.md#id)
- [Let](util.md#let)
- [Not](util.md#not)
## Type Aliases
### ADT
Ƭ **ADT**<`D`\>: { [k in keyof D]: Object } extends infer Rec ? { `t`: `Rec`[keyof `Rec`] } & { [k in keyof Rec]: ADTConstructor<Rec[k]\> } : `never`
#### Type parameters
| Name | Type |
| :------ | :------ |
| `D` | extends `Record`<`string`, `any`\> |
#### Defined in
[util.ts:23](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L23)
___
### ApplyK
Ƭ **ApplyK**<`K`, `Val`\>: `K` & { `input`: `Val` }[``"return"``]
#### Type parameters
| Name | Type |
| :------ | :------ |
| `K` | extends [`Kind1`](../interfaces/effect.Kind1.md) |
| `Val` | `Val` |
#### Defined in
[util.ts:5](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L5)
___
### Equals
Ƭ **Equals**<`Left`, `Right`\>: [`Left`] extends [`Right`] ? [`Right`] extends [`Left`] ? ``true`` : ``false`` : ``false``
#### Type parameters
| Name |
| :------ |
| `Left` |
| `Right` |
#### Defined in
[util.ts:29](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L29)
___
### Id
Ƭ **Id**: <T\>() => `T`
#### Type declaration
▸ <`T`\>(): `T`
##### Type parameters
| Name |
| :------ |
| `T` |
##### Returns
`T`
#### Defined in
[util.ts:7](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L7)
___
### Let
Ƭ **Let**<`f`\>: `ReturnType`<`f`\>
#### Type parameters
| Name | Type |
| :------ | :------ |
| `f` | extends (...`args`: `any`) => `any` |
#### Defined in
[util.ts:3](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L3)
___
### Not
Ƭ **Not**<`B`\>: `B` extends ``true`` ? ``false`` : ``true``
#### Type parameters
| Name | Type |
| :------ | :------ |
| `B` | extends `boolean` |
#### Defined in
[util.ts:35](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L35)
|
