blob: bfb3341015b0f89ca83cf491246951626a4ba48b (
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
|
[ts-types-lang](../README.md) / [Modules](../modules.md) / effect
# Module: effect
## Table of contents
### Interfaces
- [Bind](../interfaces/effect.Bind.md)
- [BindTo](../interfaces/effect.BindTo.md)
- [Do](../interfaces/effect.Do.md)
- [Effect](../interfaces/effect.Effect.md)
- [Kind1](../interfaces/effect.Kind1.md)
- [Label](../interfaces/effect.Label.md)
- [Noop](../interfaces/effect.Noop.md)
- [Pure](../interfaces/effect.Pure.md)
- [Seq](../interfaces/effect.Seq.md)
### Type Aliases
- [Func](effect.md#func)
## Type Aliases
### Func
Ƭ **Func**<`Inp`, `Out`\>: [`Kind1`](../interfaces/effect.Kind1.md)<`Inp`, `Out`\> \| <_T\>() => `Out`
Generic function definition as a union of a kind and anonymous function
**`Example`**
In addition to defining a kind (see - [Kind1](../interfaces/effect.Kind1.md)),
you can also in some places, use inline lambda functions
```ts
type main = Bind<
ReadFile<"./file.txt">,
<contents extends string>() => Print<contents>
>
```
#### Type parameters
| Name | Type | Description |
| :------ | :------ | :------ |
| `Inp` | `unknown` | The input type |
| `Out` | `unknown` | The output type |
#### Defined in
[effect.ts:56](https://github.com/phenax/ts-types-runtime-environment/blob/e75a5a1/stdlib/effect.ts#L56)
|
