( self: Effect.Effect<A, E, FixEnv<R, W3, S1, S3>>, s: S4 )
| 184 | } |
| 185 | |
| 186 | export function runTermDiscard<R, E, A, W3, S1, S3, S4 extends S1>( |
| 187 | self: Effect.Effect<A, E, FixEnv<R, W3, S1, S3>>, |
| 188 | s: S4 |
| 189 | ) { |
| 190 | return Effect.map(runTerm(self, s), ([s3, w3]) => tuple(s3, w3)) |
| 191 | } |
| 192 | |
| 193 | export function runA<R, E, A, W3, S1, S3, S4 extends S1>( |
| 194 | self: Effect.Effect<A, E, FixEnv<R, W3, S1, S3>>, |