From d5c3af89ab8076bcf4107859c1ba6b47a7815142 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sun, 15 Jan 2023 00:13:04 +0530
Subject: chore: some more documentation

---
 docs/interfaces/effect.Do.md | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'docs/interfaces/effect.Do.md')

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
 
-- 
cgit v1.3.1