diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-15 00:13:04 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-15 00:13:04 +0530 |
| commit | d5c3af89ab8076bcf4107859c1ba6b47a7815142 (patch) | |
| tree | 1da469a7007fe2cfced0647ae62c1cd003a3fa0d /docs/interfaces/effect.Do.md | |
| parent | e75a5a15912b8f297fe9c9747f574486d6c4e334 (diff) | |
| download | ts-types-lang-d5c3af89ab8076bcf4107859c1ba6b47a7815142.tar.gz ts-types-lang-d5c3af89ab8076bcf4107859c1ba6b47a7815142.zip | |
chore: some more documentation
Diffstat (limited to 'docs/interfaces/effect.Do.md')
| -rw-r--r-- | docs/interfaces/effect.Do.md | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/docs/interfaces/effect.Do.md b/docs/interfaces/effect.Do.md index 504f9c0..1039bc7 100644 --- a/docs/interfaces/effect.Do.md +++ b/docs/interfaces/effect.Do.md @@ -4,19 +4,22 @@ [effect](../modules/effect.md).Do -Generic interface for declaring effects +Evaluate a sequence of effects in series and get the result of the last effect (Equivalent to haskell's do syntax) **`Example`** ```ts -interface MyEffect extends Effect<string[]> {} +type main = Bind< + Do<[ Pure<1>, ReadFile<"./foobar.txt"> ]>, + <t extends string>() => Print<t> +> ``` ## Type parameters | Name | Type | Description | | :------ | :------ | :------ | -| `_Effs` | extends [`Effect`](effect.Effect.md)[] | The output generated by the effect (defaults to `unknown`) | +| `_Effs` | extends [`Effect`](effect.Effect.md)[] | List of effects | ## Hierarchy |