@fncts/io 0.0.19 → 0.0.21

package/_mjs/IO/api.mjs

@@ -5,31 +5,32 @@ import * as tsplus_module_3 from "@fncts/base/data/Either/constructors";
 import * as tsplus_module_4 from "@fncts/base/data/Maybe/destructors";
 import * as tsplus_module_5 from "@fncts/base/data/Cause/api";
 import * as tsplus_module_6 from "@fncts/base/data/Either/destructors";
-import * as tsplus_module_7 from "@fncts/base/data/Maybe/api";
-import * as tsplus_module_8 from "@fncts/io/InterruptStatus/constructors";
-import * as tsplus_module_9 from "@fncts/base/data/Exit/constructors";
-import * as tsplus_module_10 from "@fncts/base/collection/immutable/Conc/api";
-import * as tsplus_module_11 from "@fncts/base/collection/Iterable/api";
-import * as tsplus_module_12 from "@fncts/base/collection/immutable/Conc/constructors";
-import * as tsplus_module_13 from "@fncts/base/data/Maybe/definition";
-import * as tsplus_module_14 from "@fncts/base/control/Eval/run";
-import * as tsplus_module_15 from "@fncts/base/data/Exit/api";
-import * as tsplus_module_16 from "@fncts/base/data/Trace/constructors";
-import * as tsplus_module_17 from "@fncts/base/collection/immutable/Conc/api/empty";
-import * as tsplus_module_18 from "@fncts/base/collection/immutable/List/api";
-import * as tsplus_module_19 from "@fncts/base/collection/immutable/ImmutableArray/constructors";
-import * as tsplus_module_20 from "@fncts/base/collection/immutable/ImmutableArray/api";
+import * as tsplus_module_7 from "@fncts/base/util/predicates";
+import * as tsplus_module_8 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_9 from "@fncts/io/InterruptStatus/constructors";
+import * as tsplus_module_10 from "@fncts/base/data/Exit/constructors";
+import * as tsplus_module_11 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_12 from "@fncts/base/collection/Iterable/api";
+import * as tsplus_module_13 from "@fncts/base/collection/immutable/Conc/constructors";
+import * as tsplus_module_14 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_15 from "@fncts/base/control/Eval/run";
+import * as tsplus_module_16 from "@fncts/base/data/Exit/api";
+import * as tsplus_module_17 from "@fncts/base/data/Trace/constructors";
+import * as tsplus_module_18 from "@fncts/base/collection/immutable/Conc/api/empty";
+import * as tsplus_module_19 from "@fncts/base/collection/immutable/List/api";
+import * as tsplus_module_20 from "@fncts/base/collection/immutable/ImmutableArray/constructors";
+import * as tsplus_module_21 from "@fncts/base/collection/immutable/ImmutableArray/api";
 export const async = async_1;
 export const asyncMaybe = asyncMaybe_1;
 export const asyncInterrupt = asyncInterrupt_1;
-export const apSecond_ = apSecond_1;
-export const as_ = as_1;
+export const apSecond = apSecond_1;
+export const as = as_1;
 export const asUnit = asUnit_1;
-export const catch_ = catch_1;
-export const catchAll_ = catchAll_1;
-export const catchAllCause_ = catchAllCause_1;
-export const flatMap_ = flatMap_1;
-export const collectIO_ = collectIO_1;
+export const catchTagWith = catchTagWith_1;
+export const catchAll = catchAll_1;
+export const catchAllCause = catchAllCause_1;
+export const flatMap = flatMap_1;
+export const collectIO = collectIO_1;
 export const defer = defer_1;
 export const deferWith = deferWith_1;
 export const descriptorWith = descriptorWith_1;
@@ -39,48 +40,48 @@ export const fail = fail_1;
 export const failNow = failNow_1;
 export const failCauseNow = failCauseNow_1;
 export const failCause = failCause_1;
-export const filter_ = filter_1;
-export const filterMapWithIndex_ = filterMapWithIndex_1;
-export const filterOrElse_ = filterOrElse_1;
-export const foldLeft_ = foldLeft_1;
-export const foreach_ = foreach_1;
-export const foreachWithIndexDiscard_ = foreachWithIndexDiscard_1;
-export const foreachDiscard_ = foreachDiscard_1;
+export const filter = filter_1;
+export const filterMapWithIndex = filterMapWithIndex_1;
+export const filterOrElse = filterOrElse_1;
+export const foldLeft = foldLeft_1;
+export const foreach = foreach_1;
+export const foreachWithIndexDiscard = foreachWithIndexDiscard_1;
+export const foreachDiscard = foreachDiscard_1;
 export const forever = forever_1;
 export const fromPromiseCatch = fromPromiseCatch_1;
-export const getOrFailWith_ = getOrFailWith_1;
+export const getOrFailWith = getOrFailWith_1;
 export const haltNow = haltNow_1;
-export const ifIO_ = ifIO_1;
-export const iterate_ = iterate_1;
-export const loop_ = loop_1;
-export const map_ = map_1;
-export const mapError_ = mapError_1;
-export const mapErrorCause_ = mapErrorCause_1;
-export const matchCauseIO_ = matchCauseIO_1;
-export const matchIO_ = matchIO_1;
-export const match_ = match_1;
-export const orElse_ = orElse_1;
-export const orHaltWith_ = orHaltWith_1;
-export const refineOrHaltWith_ = refineOrHaltWith_1;
-export const rejectIO_ = rejectIO_1;
+export const ifIO = ifIO_1;
+export const iterate = iterate_1;
+export const loop = loop_1;
+export const map = map_1;
+export const mapError = mapError_1;
+export const mapErrorCause = mapErrorCause_1;
+export const matchCauseIO = matchCauseIO_1;
+export const matchIO = matchIO_1;
+export const match = match_1;
+export const orElse = orElse_1;
+export const orHaltWith = orHaltWith_1;
+export const refineOrHaltWith = refineOrHaltWith_1;
+export const rejectIO = rejectIO_1;
 export const repeatN_ = repeatN_1;
-export const repeatUntilIO_ = repeatUntilIO_1;
-export const repeatWhileIO_ = repeatWhileIO_1;
-export const retryUntilIO_ = retryUntilIO_1;
-export const retryWhileIO_ = retryWhileIO_1;
+export const repeatUntilIO = repeatUntilIO_1;
+export const repeatWhileIO = repeatWhileIO_1;
+export const retryUntilIO = retryUntilIO_1;
+export const retryWhileIO = retryWhileIO_1;
 export const sandbox = sandbox_1;
 export const succeedNow = succeedNow_1;
 export const succeed = succeed_1;
-export const summarized_ = summarized_1;
+export const summarized = summarized_1;
 export const swap = swap_1;
-export const swapWith_ = swapWith_1;
+export const swapWith = swapWith_1;
 export const tryCatch = tryCatch_1;
-export const tryOrElse_ = tryOrElse_1;
-export const unrefineWith_ = unrefineWith_1;
+export const tryOrElse = tryOrElse_1;
+export const unrefineWith = unrefineWith_1;
 export const unsandbox = unsandbox_1;
 export const withFiberContext = withFiberContext_1;
-export const whenIO_ = whenIO_1;
-export const zipWith_ = zipWith_1;
+export const whenIO = whenIO_1;
+export const zipWith = zipWith_1;
 export const gen = gen_1;
 import { identity, pipe, tuple } from "@fncts/base/data/function";
 import { Stateful } from "@fncts/io/IO/definition";
@@ -108,7 +109,7 @@ function async_1(register, blockingOn = tsplus_module_1.none, __tsplusTrace) {
 
 
 function asyncMaybe_1(register, blockingOn = tsplus_module_1.none, __tsplusTrace) {
-  return asyncInterrupt_1(cb => tsplus_module_4.match_(register(cb), () => tsplus_module_3.left(unit_1), tsplus_module_3.right), blockingOn, __tsplusTrace);
+  return asyncInterrupt_1(cb => tsplus_module_4.match(() => tsplus_module_3.left(unit_1), tsplus_module_3.right)(register(cb)), blockingOn, __tsplusTrace);
 }
 /**
  * Imports an asynchronous side-effect into an IO. The side-effect
@@ -137,38 +138,44 @@ function asyncInterrupt_1(register, blockingOn = tsplus_module_1.none, __tsplusT
  * Attempts to convert defects into a failure, throwing away all information
  * about the cause of the failure.
  *
- * @tsplus fluent fncts.io.IO absorbWith
+ * @tsplus pipeable fncts.io.IO absorbWith
  */
 
 
-export function absorbWith_(ma, f, __tsplusTrace) {
-  return matchIO_1(sandbox_1(ma, __tsplusTrace), cause => failNow_1(tsplus_module_5.squashWith_(cause, f), __tsplusTrace), succeedNow_1, __tsplusTrace);
+export function absorbWith(f, __tsplusTrace) {
+  return ma => matchIO_1(cause => failNow_1(tsplus_module_5.squashWith(f)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(sandbox_1(ma, __tsplusTrace));
 }
 /**
- * @tsplus fluent fncts.io.IO apFirst
- * @tsplus operator fncts.io.IO <
+ * @tsplus pipeable fncts.io.IO apFirst
+ * @tsplus pipeable-operator fncts.io.IO <
  */
 
-export function apFirst_(self, fb, __tsplusTrace) {
-  return flatMap_1(self, a => map_1(fb, () => a, __tsplusTrace), __tsplusTrace);
+export function apFirst(fb, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => map_1(() => a, __tsplusTrace)(fb), __tsplusTrace)(self);
+  };
 }
 /**
  * Combine two effectful actions, keeping only the result of the second
  *
- * @tsplus fluent fncts.io.IO apSecond
- * @tsplus operator fncts.io.IO >
+ * @tsplus pipeable fncts.io.IO apSecond
+ * @tsplus pipeable-operator fncts.io.IO >
  */
 
-function apSecond_1(self, fb, __tsplusTrace) {
-  return flatMap_1(self, () => fb, __tsplusTrace);
+function apSecond_1(fb, __tsplusTrace) {
+  return self => {
+    return flatMap_1(() => fb, __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO as
+ * @tsplus pipeable fncts.io.IO as
  */
 
 
-function as_1(self, b, __tsplusTrace) {
-  return map_1(self, () => b(), __tsplusTrace);
+function as_1(b, __tsplusTrace) {
+  return self => {
+    return map_1(() => b(), __tsplusTrace)(self);
+  };
 }
 /**
  * Maps the success value of this effect to an optional value.
@@ -178,7 +185,7 @@ function as_1(self, b, __tsplusTrace) {
 
 
 export function asJust(ma, __tsplusTrace) {
-  return map_1(ma, tsplus_module_2.just, __tsplusTrace);
+  return map_1(tsplus_module_2.just, __tsplusTrace)(ma);
 }
 /**
  * Maps the error value of this IO to an optional value.
@@ -187,90 +194,102 @@ export function asJust(ma, __tsplusTrace) {
  */
 
 export function asJustError(ma, __tsplusTrace) {
-  return mapError_1(ma, tsplus_module_2.just, __tsplusTrace);
+  return mapError_1(tsplus_module_2.just, __tsplusTrace)(ma);
 }
 /**
  * @tsplus getter fncts.io.IO asUnit
  */
 
 function asUnit_1(self, __tsplusTrace) {
-  return as_1(self, () => undefined, __tsplusTrace);
+  return as_1(() => undefined, __tsplusTrace)(self);
 }
 /**
  * Returns an IO whose failure and success channels have been mapped by
  * the specified pair of functions, `f` and `g`.
  *
- * @tsplus fluent fncts.io.IO bimap
+ * @tsplus pipeable fncts.io.IO bimap
  */
 
 
-export function bimap_(self, f, g, __tsplusTrace) {
-  return matchIO_1(self, e => failNow_1(f(e), __tsplusTrace), a => succeedNow_1(g(a), __tsplusTrace), __tsplusTrace);
+export function bimap(f, g, __tsplusTrace) {
+  return self => {
+    return matchIO_1(e => failNow_1(f(e), __tsplusTrace), a => succeedNow_1(g(a), __tsplusTrace), __tsplusTrace)(self);
+  };
 }
 /**
  * Returns an IO that effectfully "peeks" at the failure or success of
  * this effect.
  *
- * @tsplus fluent fncts.io.IO bitap
+ * @tsplus pipeable fncts.io.IO bitap
  */
 
-export function bitap_(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), e => flatMap_1(onFailure(e), () => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace), () => failCauseNow_1(cause, __tsplusTrace)), a => apSecond_1(onSuccess(a), succeedNow_1(a, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+export function bitap(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => tsplus_module_6.match(e => flatMap_1(() => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(onFailure(e)), () => failCauseNow_1(cause, __tsplusTrace))(tsplus_module_5.failureOrCause(cause)), a => apSecond_1(succeedNow_1(a, __tsplusTrace), __tsplusTrace)(onSuccess(a)), __tsplusTrace)(self);
+  };
 }
 /**
  * Recovers from the specified error
  *
- * @tsplus fluent fncts.io.IO catch
+ * @tsplus pipeable fncts.io.IO catch
  */
 
-function catch_1(ma, tag, k, f, __tsplusTrace) {
-  return catchAll_1(ma, e => {
-    if (tag in e && e[tag] === k) {
-      return f(e);
-    }
+function catchTagWith_1(tag, k, f, __tsplusTrace) {
+  return ma => {
+    return catchAll_1(e => {
+      if (tsplus_module_7.isObject(e) && tag in e && e[tag] === k) {
+        return f(e);
+      }
 
-    return failNow_1(e, __tsplusTrace);
-  }, __tsplusTrace);
+      return failNow_1(e, __tsplusTrace);
+    }, __tsplusTrace)(ma);
+  };
 }
 /**
  * Recovers from all errors
  *
- * @tsplus fluent fncts.io.IO catchAll
+ * @tsplus pipeable fncts.io.IO catchAll
  */
 
 
-function catchAll_1(ma, f, __tsplusTrace) {
-  return matchIO_1(ma, f, succeedNow_1, __tsplusTrace);
+function catchAll_1(f, __tsplusTrace) {
+  return ma => {
+    return matchIO_1(f, succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  *
  * Recovers from all errors with provided cause.
  *
- * @tsplus fluent fncts.io.IO catchAllCause
+ * @tsplus pipeable fncts.io.IO catchAllCause
  */
 
 
-function catchAllCause_1(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, f, succeedNow_1, __tsplusTrace);
+function catchAllCause_1(f, __tsplusTrace) {
+  return ma => matchCauseIO_1(f, succeedNow_1, __tsplusTrace)(ma);
 }
 /**
  * Recovers from some or all of the error cases.
  *
- * @tsplus fluent fncts.io.IO catchJust
+ * @tsplus pipeable fncts.io.IO catchJust
  */
 
 
-export function catchJust_(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), e => tsplus_module_7.getOrElse_(f(e), () => failCauseNow_1(cause, __tsplusTrace)), failCauseNow_1), succeedNow_1, __tsplusTrace);
+export function catchJust(f, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(cause => tsplus_module_6.match(e => tsplus_module_8.getOrElse(() => failCauseNow_1(cause, __tsplusTrace))(f(e)), failCauseNow_1)(tsplus_module_5.failureOrCause(cause)), succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * Recovers from some or all of the error cases with provided cause.
  *
- * @tsplus fluent fncts.io.IO catchJustCause
+ * @tsplus pipeable fncts.io.IO catchJustCause
  */
 
-export function catchJustCause_(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_7.getOrElse_(f(cause), () => failCauseNow_1(cause, __tsplusTrace)), succeedNow_1, __tsplusTrace);
+export function catchJustCause(f, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(cause => tsplus_module_8.getOrElse(() => failCauseNow_1(cause, __tsplusTrace))(f(cause)), succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * Recovers from some or all of the defects with provided partial function.
@@ -280,53 +299,63 @@ export function catchJustCause_(ma, f, __tsplusTrace) {
  * system, to transmit information on a defect for diagnostic or explanatory
  * purposes.
  *
- * @tsplus fluent fncts.io.IO catchJustDefect
+ * @tsplus pipeable fncts.io.IO catchJustDefect
  */
 
-export function catchJustDefect_(ma, f, __tsplusTrace) {
-  return catchAll_1(unrefineWith_1(ma, f, failNow_1, __tsplusTrace), a => a, __tsplusTrace);
+export function catchJustDefect(f, __tsplusTrace) {
+  return ma => {
+    return catchAll_1(a => a, __tsplusTrace)(unrefineWith_1(f, failNow_1, __tsplusTrace)(ma));
+  };
 }
 /**
  * Recovers from the specified error
  *
- * @tsplus fluent IO catchTag
+ * @tsplus pipeable IO catchTag
  */
 
-export function catchTag_(ma, k, f, __tsplusTrace) {
-  return catch_1(ma, "_tag", k, f, __tsplusTrace);
+export function catchTag(k, f, __tsplusTrace) {
+  return ma => {
+    return catchTagWith_1("_tag", k, f, __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO cause
  */
 
 export function cause(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, succeedNow_1, () => succeedNow_1(tsplus_module_5.empty(), __tsplusTrace), __tsplusTrace);
+  return matchCauseIO_1(succeedNow_1, () => succeedNow_1(tsplus_module_5.empty(), __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO causeAsError
+ * @tsplus pipeable fncts.io.IO causeAsError
  */
 
-export function causeAsError(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, failNow_1, succeedNow_1, __tsplusTrace);
+export function causeAsError(__tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * Returns an IO that models the execution of this effect, followed by
  * the passing of its value to the specified continuation function `f`,
  * followed by the effect that it returns.
  *
- * @tsplus fluent fncts.io.IO flatMap
+ * @tsplus pipeable fncts.io.IO flatMap
  */
 
-function flatMap_1(ma, f, __tsplusTrace) {
-  return new Chain(ma, f, __tsplusTrace);
+function flatMap_1(f, __tsplusTrace) {
+  return ma => {
+    return new Chain(ma, f, __tsplusTrace);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO flatMapError
+ * @tsplus pipeable fncts.io.IO flatMapError
  */
 
 
-export function flatMapError_(ma, f, __tsplusTrace) {
-  return swapWith_1(ma, effect => flatMap_1(effect, f, __tsplusTrace), __tsplusTrace);
+export function flatMapError(f, __tsplusTrace) {
+  return ma => {
+    return swapWith_1(effect => flatMap_1(f, __tsplusTrace)(effect), __tsplusTrace)(ma);
+  };
 }
 /**
  * Checks the interrupt status, and produces the IO returned by the
@@ -336,29 +365,33 @@ export function flatMapError_(ma, f, __tsplusTrace) {
  */
 
 export function checkInterruptible(f, __tsplusTrace) {
-  return withFiberContext_1(fiber => f(tsplus_module_8.fromBoolean(fiber.unsafeIsInterruptible)), __tsplusTrace);
+  return withFiberContext_1(fiber => f(tsplus_module_9.fromBoolean(fiber.unsafeIsInterruptible)), __tsplusTrace);
 }
 /**
- * @tsplus fluent fncts.io.IO collect
+ * @tsplus pipeable fncts.io.IO collect
  */
 
-export function collect_(ma, f, pf, __tsplusTrace) {
-  return collectIO_1(ma, f, a => tsplus_module_7.map_(pf(a), succeedNow_1), __tsplusTrace);
+export function collect(f, pf, __tsplusTrace) {
+  return ma => {
+    return collectIO_1(f, a => tsplus_module_8.map(succeedNow_1)(pf(a)), __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO collectIO
+ * @tsplus pipeable fncts.io.IO collectIO
  */
 
-function collectIO_1(ma, f, pf, __tsplusTrace) {
-  return flatMap_1(ma, a => tsplus_module_7.getOrElse_(pf(a), () => fail_1(f, __tsplusTrace)), __tsplusTrace);
+function collectIO_1(f, pf, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(a => tsplus_module_8.getOrElse(() => fail_1(f, __tsplusTrace))(pf(a)), __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps condIO
  */
 
 
-export function condIO_(b, onTrue, onFalse, __tsplusTrace) {
-  return b ? onTrue : flatMap_1(onFalse, failNow_1, __tsplusTrace);
+export function condIO(b, onTrue, onFalse, __tsplusTrace) {
+  return b ? onTrue : flatMap_1(failNow_1, __tsplusTrace)(onFalse);
 }
 /**
  * Returns a lazily constructed effect, whose construction may itself require
@@ -398,7 +431,7 @@ export function deferTry(io, __tsplusTrace) {
     try {
       return io();
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(u));
+      throw new IOError(tsplus_module_10.fail(u));
     }
   }, __tsplusTrace);
 }
@@ -414,7 +447,7 @@ export function deferTryWith(io, __tsplusTrace) {
     try {
       return io(runtimeConfig, id);
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(u));
+      throw new IOError(tsplus_module_10.fail(u));
     }
   }, __tsplusTrace);
 }
@@ -432,7 +465,7 @@ export function deferTryCatch(io, onThrow, __tsplusTrace) {
     try {
       return io();
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(onThrow(u)));
+      throw new IOError(tsplus_module_10.fail(onThrow(u)));
     }
   }, __tsplusTrace);
 }
@@ -450,7 +483,7 @@ export function deferTryCatchWith(io, onThrow, __tsplusTrace) {
     try {
       return io(runtimeConfig, id);
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(onThrow(u)));
+      throw new IOError(tsplus_module_10.fail(onThrow(u)));
     }
   }, __tsplusTrace);
 }
@@ -458,7 +491,7 @@ export function deferTryCatchWith(io, onThrow, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps descriptor
  */
 
-export const descriptor = /*#__PURE__*/descriptorWith_1(succeedNow_1, fileName_1 + ":505:41");
+export const descriptor = /*#__PURE__*/descriptorWith_1(succeedNow_1, fileName_1 + ":528:41");
 /**
  * Constructs an IO based on information about the current fiber, such as
  * its identity.
@@ -477,40 +510,46 @@ function descriptorWith_1(f, __tsplusTrace) {
 
 
 function either_1(ma, __tsplusTrace) {
-  return match_1(ma, tsplus_module_3.left, tsplus_module_3.right, __tsplusTrace);
+  return match_1(tsplus_module_3.left, tsplus_module_3.right, __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO ensuring
+ * @tsplus pipeable fncts.io.IO ensuring
  */
 
 
-export function ensuring_(self, finalizer, __tsplusTrace) {
-  return withFiberContext_1(fiber => {
-    fiber.unsafeAddFinalizer(finalizer);
-    return self;
-  }, __tsplusTrace);
+export function ensuring(finalizer, __tsplusTrace) {
+  return self => {
+    return withFiberContext_1(fiber => {
+      fiber.unsafeAddFinalizer(finalizer);
+      return self;
+    }, __tsplusTrace);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO errorAsCause
+ * @tsplus pipeable fncts.io.IO errorAsCause
  */
 
-export function errorAsCause(ma, __tsplusTrace) {
-  return matchIO_1(ma, failCauseNow_1, succeedNow_1, __tsplusTrace);
+export function errorAsCause(__tsplusTrace) {
+  return ma => {
+    return matchIO_1(failCauseNow_1, succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO eventually
  */
 
 function eventually_1(ma, __tsplusTrace) {
-  return orElse_1(ma, () => eventually_1(ma, __tsplusTrace), __tsplusTrace);
+  return orElse_1(() => eventually_1(ma, __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO extend
+ * @tsplus pipeable fncts.io.IO extend
  */
 
 
-export function extend_(wa, f, __tsplusTrace) {
-  return matchIO_1(wa, failNow_1, _ => succeed_1(() => f(wa), __tsplusTrace), __tsplusTrace);
+export function extend(f, __tsplusTrace) {
+  return wa => {
+    return matchIO_1(failNow_1, _ => succeed_1(() => f(wa), __tsplusTrace), __tsplusTrace)(wa);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps fail
@@ -554,7 +593,7 @@ function failCause_1(cause, __tsplusTrace) {
  */
 
 
-export const fiberId = /*#__PURE__*/descriptorWith_1(d => succeedNow_1(d.id, fileName_1 + ":598:89"), fileName_1 + ":598:68");
+export const fiberId = /*#__PURE__*/descriptorWith_1(d => succeedNow_1(d.id, fileName_1 + ":623:89"), fileName_1 + ":623:68");
 /**
  * Filters the collection using the specified effectual predicate.
  *
@@ -562,20 +601,20 @@ export const fiberId = /*#__PURE__*/descriptorWith_1(d => succeedNow_1(d.id, fil
  */
 
 function filter_1(as, f, __tsplusTrace) {
-  return map_1(tsplus_module_11.foldLeft_(as, succeedNow_1(tsplus_module_10.builder(), __tsplusTrace), (eff, a) => zipWith_1(eff, f(a), (builder, p) => {
+  return map_1(b => b.result(), __tsplusTrace)(tsplus_module_12.foldLeft(succeedNow_1(tsplus_module_11.builder(), __tsplusTrace), (eff, a) => zipWith_1(f(a), (builder, p) => {
     if (p) {
       builder.append(a);
     }
 
     return builder;
-  }, __tsplusTrace)), b => b.result(), __tsplusTrace);
+  }, __tsplusTrace)(eff))(as));
 }
 /**
  * @tsplus static fncts.io.IOOps filterMap
  */
 
 
-export function filterMap_(as, f, __tsplusTrace) {
+export function filterMap(as, f, __tsplusTrace) {
   return filterMapWithIndex_1(as, (_, a) => f(a), __tsplusTrace);
 }
 /**
@@ -585,11 +624,11 @@ export function filterMap_(as, f, __tsplusTrace) {
 function filterMapWithIndex_1(as, f, __tsplusTrace) {
   return defer_1(() => {
     const bs = [];
-    return as_1(foreachWithIndexDiscard_1(as, (i, a) => map_1(f(i, a), b => {
-      if (tsplus_module_13.isJust(b)) {
+    return as_1(() => tsplus_module_13.from(bs), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => map_1(b => {
+      if (tsplus_module_14.isJust(b)) {
         bs.push(b.value);
       }
-    }, __tsplusTrace), __tsplusTrace), () => tsplus_module_12.from(bs), __tsplusTrace);
+    }, __tsplusTrace)(f(i, a)), __tsplusTrace));
   }, __tsplusTrace);
 }
 /**
@@ -600,16 +639,20 @@ function filterMapWithIndex_1(as, f, __tsplusTrace) {
  */
 
 
-export function filterNot_(as, f, __tsplusTrace) {
-  return filter_1(as, a => map_1(f(a), b => !b, __tsplusTrace), __tsplusTrace);
+export function filterNot(as, f, __tsplusTrace) {
+  return filter_1(as, a => map_1(b => !b, __tsplusTrace)(f(a)), __tsplusTrace);
 }
 
-function filterOrElse_1(fa, predicate, or, __tsplusTrace) {
-  return flatMap_1(fa, a => predicate(a) ? succeedNow_1(a, __tsplusTrace) : defer_1(() => or(a), __tsplusTrace), __tsplusTrace);
+function filterOrElse_1(predicate, or, __tsplusTrace) {
+  return fa => {
+    return flatMap_1(a => predicate(a) ? succeedNow_1(a, __tsplusTrace) : defer_1(() => or(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 
-export function filterOrFail_(fa, predicate, failWith, __tsplusTrace) {
-  return filterOrElse_1(fa, predicate, a => failNow_1(failWith(a), __tsplusTrace), __tsplusTrace);
+export function filterOrFail(predicate, failWith, __tsplusTrace) {
+  return fa => {
+    return filterOrElse_1(predicate, a => failNow_1(failWith(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Returns an `IO` that yields the value of the first
@@ -619,17 +662,19 @@ export function filterOrFail_(fa, predicate, failWith, __tsplusTrace) {
  */
 
 export function firstSuccess(mas, __tsplusTrace) {
-  return mas.reduce((b, a) => orElse_1(b, () => a, __tsplusTrace));
+  return mas.reduce((b, a) => orElse_1(() => a, __tsplusTrace)(b));
 }
-export function filterOrHalt_(fa, predicate, haltWith, __tsplusTrace) {
-  return filterOrElse_1(fa, predicate, a => haltNow_1(haltWith(a), __tsplusTrace), __tsplusTrace);
+export function filterOrHalt(predicate, haltWith, __tsplusTrace) {
+  return fa => {
+    return filterOrElse_1(predicate, a => haltNow_1(haltWith(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO flatten
  */
 
 export function flatten(self, __tsplusTrace) {
-  return flatMap_1(self, identity, __tsplusTrace);
+  return flatMap_1(identity, __tsplusTrace)(self);
 }
 /**
  * Folds an `Iterable<A>` using an effectful function f, working sequentially from left to right.
@@ -638,7 +683,7 @@ export function flatten(self, __tsplusTrace) {
  */
 
 function foldLeft_1(as, b, f, __tsplusTrace) {
-  return tsplus_module_11.foldLeft_(as, succeedNow_1(b, __tsplusTrace), (acc, el) => flatMap_1(acc, a => f(a, el), __tsplusTrace));
+  return tsplus_module_12.foldLeft(succeedNow_1(b, __tsplusTrace), (acc, el) => flatMap_1(a => f(a, el), __tsplusTrace)(acc))(as);
 }
 /**
  * Combines an array of `IO`s using a `Monoid`
@@ -647,10 +692,10 @@ function foldLeft_1(as, b, f, __tsplusTrace) {
  */
 
 
-export function foldMap_(as, f,
+export function foldMap(as, f,
 /** @tsplus auto */
 M) {
-  return foldLeft_1(as, M.nat, (m, a) => map_1(a, a => M.combine(m, f(a)), fileName_1 + ":787:48"), fileName_1 + ":787:21");
+  return foldLeft_1(as, M.nat, (m, a) => map_1(a => M.combine(m, f(a)), fileName_1 + ":796:48")(a), fileName_1 + ":796:21");
 }
 
 function foldRightLoop(iterator, b, f, __tsplusTrace) {
@@ -664,13 +709,13 @@ function foldRightLoop(iterator, b, f, __tsplusTrace) {
  */
 
 
-export function foldRight_(as, b, f, __tsplusTrace) {
+export function foldRight(as, b, f, __tsplusTrace) {
   return foldRightLoop(as[Symbol.iterator](), b, f, __tsplusTrace);
 }
 
 function foreachWithIndexDiscardLoop(iterator, f, i = 0, __tsplusTrace) {
   const next = iterator.next();
-  return next.done ? unit_1 : flatMap_1(f(i, next.value), () => foreachWithIndexDiscardLoop(iterator, f, i + 1, __tsplusTrace), __tsplusTrace);
+  return next.done ? unit_1 : flatMap_1(() => foreachWithIndexDiscardLoop(iterator, f, i + 1, __tsplusTrace), __tsplusTrace)(f(i, next.value));
 }
 /**
  * Applies the function `f` to each element of the `Iterable<A>` and
@@ -686,10 +731,10 @@ function foreachWithIndexDiscardLoop(iterator, f, i = 0, __tsplusTrace) {
 function foreach_1(as, f, __tsplusTrace) {
   return defer_1(() => {
     const acc = [];
-    return as_1(foreachWithIndexDiscard_1(as, (_, a) => flatMap_1(f(a), b => {
+    return as_1(() => tsplus_module_13.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (_, a) => flatMap_1(b => {
       acc.push(b);
       return unit_1;
-    }, __tsplusTrace), __tsplusTrace), () => tsplus_module_12.from(acc), __tsplusTrace);
+    }, __tsplusTrace)(f(a)), __tsplusTrace));
   }, __tsplusTrace);
 }
 /**
@@ -703,13 +748,13 @@ function foreach_1(as, f, __tsplusTrace) {
  */
 
 
-export function foreachWithIndex_(as, f, __tsplusTrace) {
+export function foreachWithIndex(as, f, __tsplusTrace) {
   return defer_1(() => {
     const acc = [];
-    return as_1(foreachWithIndexDiscard_1(as, (i, a) => flatMap_1(f(i, a), b => {
+    return as_1(() => tsplus_module_13.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => flatMap_1(b => {
       acc.push(b);
       return unit_1;
-    }, __tsplusTrace), __tsplusTrace), () => tsplus_module_12.from(acc), __tsplusTrace);
+    }, __tsplusTrace)(f(i, a)), __tsplusTrace));
   }, __tsplusTrace);
 }
 /**
@@ -738,7 +783,7 @@ function foreachDiscard_1(as, f, __tsplusTrace) {
 
 
 function forever_1(ma, __tsplusTrace) {
-  return flatMap_1(apSecond_1(ma, yieldNow_1, __tsplusTrace), () => forever_1(ma, __tsplusTrace), __tsplusTrace);
+  return flatMap_1(() => forever_1(ma, __tsplusTrace), __tsplusTrace)(apSecond_1(yieldNow_1, __tsplusTrace)(ma));
 }
 /**
  * Returns an IO that forks this IO into its own separate fiber,
@@ -749,7 +794,7 @@ function forever_1(ma, __tsplusTrace) {
  * new fiber, concurrently and without "blocking" the fiber executing other
  * IOs. Using fibers can be tricky, so instead of using this method
  * directly, consider other higher-level methods, such as `raceWith`,
- * `zipPar`, and so forth.
+ * `zipC`, and so forth.
  *
  * The fiber returned by this method has methods interrupt the fiber and to
  * wait for it to finish executing the IO. See `Fiber` for more
@@ -776,25 +821,27 @@ export function fork(ma, __tsplusTrace) {
  */
 
 export function fromEither(either, __tsplusTrace) {
-  return flatMap_1(succeed_1(either, __tsplusTrace), ea => tsplus_module_6.match_(ea, failNow_1, succeedNow_1), __tsplusTrace);
+  return flatMap_1(ea => tsplus_module_6.match(failNow_1, succeedNow_1)(ea), __tsplusTrace)(succeed_1(either, __tsplusTrace));
 }
 /**
  * Lifts an `Either` into an `IO`
  *
  * @tsplus static fncts.io.IOOps fromEitherNow
+ * @tsplus getter fncts.Either toIO
  */
 
 export function fromEitherNow(either, __tsplusTrace) {
-  return tsplus_module_6.match_(either, failNow_1, succeedNow_1);
+  return tsplus_module_6.match(failNow_1, succeedNow_1)(either);
 }
 /**
  * Lifts an `Eval` into an `IO`
  *
  * @tsplus static fncts.io.IOOps fromEval
+ * @tsplus getter fncts.Eval toIO
  */
 
 export function fromEval(computation, __tsplusTrace) {
-  return succeed_1(() => tsplus_module_14.run(computation), __tsplusTrace);
+  return succeed_1(() => tsplus_module_15.run(computation), __tsplusTrace);
 }
 /**
  * Creates a `IO` from an exit value
@@ -803,16 +850,17 @@ export function fromEval(computation, __tsplusTrace) {
  */
 
 export function fromExit(exit, __tsplusTrace) {
-  return defer_1(() => tsplus_module_15.match_(exit(), failCauseNow_1, succeedNow_1), __tsplusTrace);
+  return defer_1(() => tsplus_module_16.match(failCauseNow_1, succeedNow_1)(exit()), __tsplusTrace);
 }
 /**
  * Creates a `IO` from an exit value
  *
  * @tsplus static fncts.io.IOOps fromExitNow
+ * @tsplus getter fncts.Exit toIO
  */
 
 export function fromExitNow(exit, __tsplusTrace) {
-  return tsplus_module_15.match_(exit, failCauseNow_1, succeedNow_1);
+  return tsplus_module_16.match(failCauseNow_1, succeedNow_1)(exit);
 }
 /**
  * Lifts a `Maybe` into an `IO` but preserves the error as a `Maybe` in the error channel, making it easier to compose
@@ -822,14 +870,15 @@ export function fromExitNow(exit, __tsplusTrace) {
  */
 
 export function fromMaybe(maybe, __tsplusTrace) {
-  return flatMap_1(succeed_1(maybe, __tsplusTrace), m => tsplus_module_4.match_(m, () => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1), __tsplusTrace);
+  return flatMap_1(m => tsplus_module_4.match(() => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1)(m), __tsplusTrace)(succeed_1(maybe, __tsplusTrace));
 }
 /**
  * @tsplus static fncts.io.IOOps fromMaybeNow
+ * @tsplus getter fncts.Maybe toIO
  */
 
 export function fromMaybeNow(maybe, __tsplusTrace) {
-  return tsplus_module_4.match_(maybe, () => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1);
+  return tsplus_module_4.match(() => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1)(maybe);
 }
 /**
  * Create an IO that when executed will construct `promise` and wait for its result,
@@ -872,25 +921,29 @@ export function fromPromiseHalt(promise, __tsplusTrace) {
  */
 
 export function get(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => failCauseNow_1(tsplus_module_5.map_(cause, tsplus_module_2.just), __tsplusTrace), ma => tsplus_module_4.match_(ma, () => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1), __tsplusTrace);
+  return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_5.map(tsplus_module_2.just)(cause), __tsplusTrace), ma => tsplus_module_4.match(() => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1)(ma), __tsplusTrace)(ma);
 }
 /**
  * Extracts the optional value, or returns the given 'orElse'.
  *
- * @tsplus fluent fncts.io.IO getOrElse
+ * @tsplus pipeable fncts.io.IO getOrElse
  */
 
-export function getOrElse_(ma, orElse, __tsplusTrace) {
-  return map_1(ma, ma => tsplus_module_7.getOrElse_(ma, orElse), __tsplusTrace);
+export function getOrElse(orElse, __tsplusTrace) {
+  return ma => {
+    return map_1(ma => tsplus_module_8.getOrElse(orElse)(ma), __tsplusTrace)(ma);
+  };
 }
 /**
  * Extracts the optional value, or executes the effect 'orElse'.
  *
- * @tsplus fluent fncts.io.IO getOrElseIO
+ * @tsplus pipeable fncts.io.IO getOrElseIO
  */
 
-export function getOrElseIO_(ma, orElse, __tsplusTrace) {
-  return flatMap_1(ma, mab => tsplus_module_7.getOrElse_(tsplus_module_7.map_(mab, succeedNow_1), orElse), __tsplusTrace);
+export function getOrElseIO(orElse, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(mab => tsplus_module_8.getOrElse(orElse)(tsplus_module_8.map(succeedNow_1)(mab)), __tsplusTrace)(ma);
+  };
 }
 /**
  * Lifts a Maybe into an IO. If the option is `Nothing`, fail with `onNothing`.
@@ -899,7 +952,7 @@ export function getOrElseIO_(ma, orElse, __tsplusTrace) {
  */
 
 function getOrFailWith_1(maybe, onNothing, __tsplusTrace) {
-  return defer_1(() => tsplus_module_4.match_(maybe, () => fail_1(onNothing, __tsplusTrace), succeedNow_1), __tsplusTrace);
+  return defer_1(() => tsplus_module_4.match(() => fail_1(onNothing, __tsplusTrace), succeedNow_1)(maybe), __tsplusTrace);
 }
 /**
  * Lifts a Maybe into a IO, if the Maybe is `Nothing` it fails with Unit.
@@ -920,7 +973,7 @@ export function getOrFailUnit(option, __tsplusTrace) {
  */
 
 export function halt(e, __tsplusTrace) {
-  return failCause_1(() => tsplus_module_5.halt(e(), tsplus_module_16.none), __tsplusTrace);
+  return failCause_1(() => tsplus_module_5.halt(e(), tsplus_module_17.none), __tsplusTrace);
 }
 /**
  * Creates an `IO` that halts with the specified defect
@@ -931,30 +984,32 @@ export function halt(e, __tsplusTrace) {
  */
 
 function haltNow_1(e, __tsplusTrace) {
-  return failCauseNow_1(tsplus_module_5.halt(e, tsplus_module_16.none), __tsplusTrace);
+  return failCauseNow_1(tsplus_module_5.halt(e, tsplus_module_17.none), __tsplusTrace);
 }
 /**
- * @tsplus fluent fncts.io.IO ifIO
+ * @tsplus pipeable fncts.io.IO ifIO
  */
 
 
-function ifIO_1(self, onFalse, onTrue, __tsplusTrace) {
-  return flatMap_1(self, b => b ? onTrue() : onFalse(), __tsplusTrace);
+function ifIO_1(onFalse, onTrue, __tsplusTrace) {
+  return self => {
+    return flatMap_1(b => b ? onTrue() : onFalse(), __tsplusTrace)(self);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps if
  */
 
 
-export function if_(b, onTrue, onFalse, __tsplusTrace) {
-  return ifIO_1(succeedNow_1(b, __tsplusTrace), onTrue, onFalse, __tsplusTrace);
+export function cond(b, onTrue, onFalse, __tsplusTrace) {
+  return ifIO_1(onTrue, onFalse, __tsplusTrace)(succeedNow_1(b, __tsplusTrace));
 }
 /**
  * @tsplus getter fncts.io.IO ignore
  */
 
 export function ignore(fa, __tsplusTrace) {
-  return match_1(fa, () => undefined, () => undefined, __tsplusTrace);
+  return match_1(() => undefined, () => undefined, __tsplusTrace)(fa);
 }
 /**
  * Folds a `IO` to a boolean describing whether or not it is a failure
@@ -963,7 +1018,7 @@ export function ignore(fa, __tsplusTrace) {
  */
 
 export function isFailure(ma, __tsplusTrace) {
-  return match_1(ma, () => true, () => false, __tsplusTrace);
+  return match_1(() => true, () => false, __tsplusTrace)(ma);
 }
 /**
  * Folds a `IO` to a boolean describing whether or not it is a success
@@ -972,7 +1027,7 @@ export function isFailure(ma, __tsplusTrace) {
  */
 
 export function isSuccess(ma, __tsplusTrace) {
-  return match_1(ma, () => false, () => true, __tsplusTrace);
+  return match_1(() => false, () => true, __tsplusTrace)(ma);
 }
 /**
  * Iterates with the specified effectual function. The moral equivalent of:
@@ -991,7 +1046,7 @@ export function isSuccess(ma, __tsplusTrace) {
  */
 
 function iterate_1(initial, cont, body, __tsplusTrace) {
-  return cont(initial) ? flatMap_1(body(initial), a => iterate_1(a, cont, body, __tsplusTrace), __tsplusTrace) : succeedNow_1(initial, __tsplusTrace);
+  return cont(initial) ? flatMap_1(a => iterate_1(a, cont, body, __tsplusTrace), __tsplusTrace)(body(initial)) : succeedNow_1(initial, __tsplusTrace);
 }
 /**
  *  Returns an IO with the value on the left part.
@@ -1001,7 +1056,7 @@ function iterate_1(initial, cont, body, __tsplusTrace) {
 
 
 export function left(a, __tsplusTrace) {
-  return flatMap_1(succeed_1(a, __tsplusTrace), a => succeedNow_1(tsplus_module_3.left(a), __tsplusTrace), __tsplusTrace);
+  return flatMap_1(a => succeedNow_1(tsplus_module_3.left(a), __tsplusTrace), __tsplusTrace)(succeed_1(a, __tsplusTrace));
 }
 /**
  * @tsplus static fncts.io.IOOps log
@@ -1031,9 +1086,9 @@ export function log(message, __tsplusTrace) {
 
 function loop_1(initial, cont, inc, body, __tsplusTrace) {
   if (cont(initial)) {
-    return flatMap_1(body(initial), a => map_1(loop_1(inc(initial), cont, inc, body, __tsplusTrace), as => tsplus_module_10.prepend_(as, a), __tsplusTrace), __tsplusTrace);
+    return flatMap_1(a => map_1(as => tsplus_module_11.prepend(a)(as), __tsplusTrace)(loop_1(inc(initial), cont, inc, body, __tsplusTrace)), __tsplusTrace)(body(initial));
   } else {
-    return succeedNow_1(tsplus_module_17.empty(), __tsplusTrace);
+    return succeedNow_1(tsplus_module_18.empty(), __tsplusTrace);
   }
 }
 /**
@@ -1053,9 +1108,9 @@ function loop_1(initial, cont, inc, body, __tsplusTrace) {
  */
 
 
-export function loopUnit_(initial, cont, inc, body, __tsplusTrace) {
+export function loopUnit(initial, cont, inc, body, __tsplusTrace) {
   if (cont(initial)) {
-    return asUnit_1(flatMap_1(body(initial), () => loop_1(inc(initial), cont, inc, body, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+    return asUnit_1(flatMap_1(() => loop_1(inc(initial), cont, inc, body, __tsplusTrace), __tsplusTrace)(body(initial)), __tsplusTrace);
   } else {
     return unit_1;
   }
@@ -1063,11 +1118,13 @@ export function loopUnit_(initial, cont, inc, body, __tsplusTrace) {
 /**
  * Returns an `IO` whose success is mapped by the specified function `f`.
  *
- * @tsplus fluent fncts.io.IO map
+ * @tsplus pipeable fncts.io.IO map
  */
 
-function map_1(fa, f, __tsplusTrace) {
-  return flatMap_1(fa, a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace);
+function map_1(f, __tsplusTrace) {
+  return fa => {
+    return flatMap_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Map covariantly over the first argument.
@@ -1076,94 +1133,108 @@ function map_1(fa, f, __tsplusTrace) {
  * function. This can be used to lift a "smaller" error into a "larger"
  * error.
  *
- * @tsplus fluent fncts.io.IO mapError
+ * @tsplus pipeable fncts.io.IO mapError
  */
 
 
-function mapError_1(fea, f, __tsplusTrace) {
-  return matchCauseIO_1(fea, cause => failCauseNow_1(tsplus_module_5.map_(cause, f), __tsplusTrace), succeedNow_1, __tsplusTrace);
+function mapError_1(f, __tsplusTrace) {
+  return fea => {
+    return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_5.map(f)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(fea);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps mapTryCatch
  */
 
 
-export function mapTryCatch_(io, f, onThrow, __tsplusTrace) {
-  return flatMap_1(io, a => tryCatch_1(() => f(a), onThrow, __tsplusTrace), __tsplusTrace);
+export function mapTryCatch(io, f, onThrow, __tsplusTrace) {
+  return flatMap_1(a => tryCatch_1(() => f(a), onThrow, __tsplusTrace), __tsplusTrace)(io);
 }
 /**
  * Returns an IO with its full cause of failure mapped using
  * the specified function. This can be used to transform errors
  * while preserving the original structure of Cause.
  *
- * @tsplus fluent fncts.io.IO mapErrorCause
+ * @tsplus pipeable fncts.io.IO mapErrorCause
  */
 
-function mapErrorCause_1(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => failCauseNow_1(f(cause), __tsplusTrace), succeedNow_1, __tsplusTrace);
+function mapErrorCause_1(f, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(cause => failCauseNow_1(f(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * A more powerful version of `match_` that allows recovering from any kind of failure except interruptions.
  *
- * @tsplus fluent fncts.io.IO matchCause
+ * @tsplus pipeable fncts.io.IO matchCause
  */
 
 
-export function matchCause_(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => succeedNow_1(onFailure(cause), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace);
+export function matchCause(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => succeedNow_1(onFailure(cause), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace)(self);
+  };
 }
 /**
  * A more powerful version of `matchIO` that allows recovering from any kind of failure except interruptions.
  *
- * @tsplus fluent fncts.io.IO matchCauseIO
+ * @tsplus pipeable fncts.io.IO matchCauseIO
  */
 
-function matchCauseIO_1(self, onFailure, onSuccess, __tsplusTrace) {
-  return new Match(self, onFailure, onSuccess, __tsplusTrace);
+function matchCauseIO_1(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return new Match(self, onFailure, onSuccess, __tsplusTrace);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO matchIO
+ * @tsplus pipeable fncts.io.IO matchIO
  */
 
 
-function matchIO_1(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), onFailure, failCauseNow_1), onSuccess, __tsplusTrace);
+function matchIO_1(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => tsplus_module_6.match(onFailure, failCauseNow_1)(tsplus_module_5.failureOrCause(cause)), onSuccess, __tsplusTrace)(self);
+  };
 }
 /**
  * Folds over the failure value or the success value to yield an IO that
  * does not fail, but succeeds with the value returned by the left or right
  * function passed to `match_`.
  *
- * @tsplus fluent fncts.io.IO match
+ * @tsplus pipeable fncts.io.IO match
  */
 
 
-function match_1(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchIO_1(self, e => succeedNow_1(onFailure(e), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace);
+function match_1(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return matchIO_1(e => succeedNow_1(onFailure(e), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace)(self);
+  };
 }
 /**
  * A version of `matchIO` that gives you the (optional) trace of the error.
  *
- * @tsplus fluent fncts.io.IO matchTraceIO
+ * @tsplus pipeable fncts.io.IO matchTraceIO
  */
 
 
-export function matchTraceIO_(ma, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_6.match_(tsplus_module_5.failureTraceOrCause(cause), ([e, trace]) => onFailure(e, trace), failCauseNow_1), onSuccess, __tsplusTrace);
+export function matchTraceIO(onFailure, onSuccess, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(cause => tsplus_module_6.match(([e, trace]) => onFailure(e, trace), failCauseNow_1)(tsplus_module_5.failureTraceOrCause(cause)), onSuccess, __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO maybe
  */
 
 export function maybe(io, __tsplusTrace) {
-  return match_1(io, () => tsplus_module_2.nothing(), tsplus_module_2.just, __tsplusTrace);
+  return match_1(() => tsplus_module_2.nothing(), tsplus_module_2.just, __tsplusTrace)(io);
 }
 /**
  * @tsplus getter fncts.io.IO merge
  */
 
 export function merge(io, __tsplusTrace) {
-  return matchIO_1(io, succeedNow_1, succeedNow_1, __tsplusTrace);
+  return matchIO_1(succeedNow_1, succeedNow_1, __tsplusTrace)(io);
 }
 /**
  * Merges an `Iterable<IO>` to a single IO, working sequentially.
@@ -1171,8 +1242,8 @@ export function merge(io, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps mergeAll
  */
 
-export function mergeAll_(fas, b, f, __tsplusTrace) {
-  return tsplus_module_11.foldLeft_(fas, succeed_1(() => b, __tsplusTrace), (b, a) => zipWith_1(b, a, f, __tsplusTrace));
+export function mergeAll(fas, b, f, __tsplusTrace) {
+  return tsplus_module_12.foldLeft(succeed_1(() => b, __tsplusTrace), (b, a) => zipWith_1(a, f, __tsplusTrace)(b))(fas);
 }
 /**
  * Returns a `IO` that will never produce anything. The moral equivalent of
@@ -1186,8 +1257,8 @@ export const never = /*#__PURE__*/defer_1(() => asyncInterrupt_1(() => {
   }, 60000);
   return tsplus_module_3.left(succeed_1(() => {
     clearInterval(interval);
-  }, fileName_1 + ":1443:17"));
-}), fileName_1 + ":1437:39");
+  }, fileName_1 + ":1456:17"));
+}), fileName_1 + ":1450:39");
 /**
  * Converts an option on errors into an option on values.
  *
@@ -1195,7 +1266,7 @@ export const never = /*#__PURE__*/defer_1(() => asyncInterrupt_1(() => {
  */
 
 export function optional(ma, __tsplusTrace) {
-  return matchIO_1(ma, me => tsplus_module_4.match_(me, () => succeedNow_1(tsplus_module_2.nothing(), __tsplusTrace), failNow_1), a => succeedNow_1(tsplus_module_2.just(a), __tsplusTrace), __tsplusTrace);
+  return matchIO_1(me => tsplus_module_4.match(() => succeedNow_1(tsplus_module_2.nothing(), __tsplusTrace), failNow_1)(me), a => succeedNow_1(tsplus_module_2.just(a), __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
  * Returns the logical disjunction of the `Boolean` value returned by this
@@ -1203,86 +1274,103 @@ export function optional(ma, __tsplusTrace) {
  * operator has "short circuiting" behavior so if the value returned by this
  * effect is true the specified effect will not be evaluated.
  *
- * @tsplus fluent fncts.io.IO or
+ * @tsplus pipeable fncts.io.IO or
+ * @tsplus pipeable-operator fncts.io.IO ||
  */
 
-export function or_(ma, mb, __tsplusTrace) {
-  return flatMap_1(ma, b => b ? succeedNow_1(true, __tsplusTrace) : mb, __tsplusTrace);
+export function or(mb, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(b => b ? succeedNow_1(true, __tsplusTrace) : mb, __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElse
+ * @tsplus pipeable fncts.io.IO orElse
  */
 
-function orElse_1(ma, that, __tsplusTrace) {
-  return tryOrElse_1(ma, that, succeedNow_1, __tsplusTrace);
+function orElse_1(that, __tsplusTrace) {
+  return ma => {
+    return tryOrElse_1(that, succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseEither
+ * @tsplus pipeable fncts.io.IO orElseEither
  */
 
 
-export function orElseEither_(self, that, __tsplusTrace) {
-  return tryOrElse_1(self, () => map_1(that(), tsplus_module_3.right, __tsplusTrace), a => succeedNow_1(tsplus_module_3.left(a), __tsplusTrace), __tsplusTrace);
+export function orElseEither(that, __tsplusTrace) {
+  return self => {
+    return tryOrElse_1(() => map_1(tsplus_module_3.right, __tsplusTrace)(that()), a => succeedNow_1(tsplus_module_3.left(a), __tsplusTrace), __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseFail
+ * @tsplus pipeable fncts.io.IO orElseFail
  */
 
-export function orElseFail_(ma, e, __tsplusTrace) {
-  return orElse_1(ma, () => fail_1(e, __tsplusTrace), __tsplusTrace);
+export function orElseFail(e, __tsplusTrace) {
+  return ma => {
+    return orElse_1(() => fail_1(e, __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseMaybe
+ * @tsplus pipeable fncts.io.IO orElseMaybe
  */
 
-export function orElseMaybe_(ma, that, __tsplusTrace) {
-  return catchAll_1(ma, me => tsplus_module_4.match_(me, that, e => fail_1(() => tsplus_module_2.just(e), __tsplusTrace)), __tsplusTrace);
+export function orElseMaybe(that, __tsplusTrace) {
+  return ma => {
+    return catchAll_1(me => tsplus_module_4.match(that, e => fail_1(() => tsplus_module_2.just(e), __tsplusTrace))(me), __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseSucceed
+ * @tsplus pipeable fncts.io.IO orElseSucceed
  */
 
-export function orElseSucceed_(ma, a, __tsplusTrace) {
-  return orElse_1(ma, () => succeed_1(a, __tsplusTrace), __tsplusTrace);
+export function orElseSucceed(a, __tsplusTrace) {
+  return ma => {
+    return orElse_1(() => succeed_1(a, __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO orHalt
  */
 
 export function orHalt(ma, __tsplusTrace) {
-  return orHaltWith_1(ma, identity, __tsplusTrace);
+  return orHaltWith_1(identity, __tsplusTrace)(ma);
 }
 /**
  * @tsplus getter fncts.io.IO orHaltKeep
  */
 
 export function orHaltKeep(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => failCauseNow_1(tsplus_module_5.flatMap_(cause, tsplus_module_5.halt), __tsplusTrace), succeedNow_1, __tsplusTrace);
+  return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_5.flatMap(tsplus_module_5.halt)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO orHaltWith
+ * @tsplus pipeable fncts.io.IO orHaltWith
  */
 
-function orHaltWith_1(ma, f, __tsplusTrace) {
-  return matchIO_1(ma, e => haltNow_1(f(e), __tsplusTrace), succeedNow_1, __tsplusTrace);
+function orHaltWith_1(f, __tsplusTrace) {
+  return ma => {
+    return matchIO_1(e => haltNow_1(f(e), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * Exposes all parallel errors in a single call
  *
- * @tsplus fluent fncts.io.IO parallelErrors
+ * @tsplus pipeable fncts.io.IO concurrentErrors
  */
 
 
-export function parallelErrors(io, __tsplusTrace) {
-  return matchCauseIO_1(io, cause => {
-    const f = tsplus_module_5.failures(cause);
+export function concurrentErrors(__tsplusTrace) {
+  return io => {
+    return matchCauseIO_1(cause => {
+      const f = tsplus_module_5.failures(cause);
 
-    if (tsplus_module_18.length(f) === 0) {
-      return failCauseNow_1(cause, __tsplusTrace);
-    } else {
-      return failNow_1(f, __tsplusTrace);
-    }
-  }, succeedNow_1, __tsplusTrace);
+      if (tsplus_module_19.length(f) === 0) {
+        return failCauseNow_1(cause, __tsplusTrace);
+      } else {
+        return failNow_1(f, __tsplusTrace);
+      }
+    }, succeedNow_1, __tsplusTrace)(io);
+  };
 }
 /**
  * Feeds elements of type `A` to a function `f` that returns an IO.
@@ -1291,112 +1379,134 @@ export function parallelErrors(io, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps partition
  */
 
-export function partition_(as, f, __tsplusTrace) {
-  return map_1(foreach_1(as, a => either_1(f(a), __tsplusTrace), __tsplusTrace), c => tsplus_module_10.separate(c), __tsplusTrace);
+export function partition(as, f, __tsplusTrace) {
+  return map_1(c => tsplus_module_11.separate(c), __tsplusTrace)(foreach_1(as, a => either_1(f(a), __tsplusTrace), __tsplusTrace));
 }
 /**
  * Keeps some of the errors, and terminates the fiber with the rest
  *
- * @tsplus fluent fncts.io.IO refineOrHalt
+ * @tsplus pipeable fncts.io.IO refineOrHalt
  */
 
-export function refineOrHalt_(fa, pf, __tsplusTrace) {
-  return refineOrHaltWith_1(fa, pf, identity, __tsplusTrace);
+export function refineOrHalt(pf, __tsplusTrace) {
+  return fa => {
+    return refineOrHaltWith_1(pf, identity, __tsplusTrace)(fa);
+  };
 }
 /**
  * Keeps some of the errors, and terminates the fiber with the rest, using
  * the specified function to convert the `E` into a `Throwable`.
  *
- * @tsplus fluent fncts.io.IO refineOrHaltWith
+ * @tsplus pipeable fncts.io.IO refineOrHaltWith
  */
 
-function refineOrHaltWith_1(fa, pf, f, __tsplusTrace) {
-  return catchAll_1(fa, e => tsplus_module_4.match_(pf(e), () => haltNow_1(f(e), __tsplusTrace), failNow_1), __tsplusTrace);
+function refineOrHaltWith_1(pf, f, __tsplusTrace) {
+  return fa => {
+    return catchAll_1(e => tsplus_module_4.match(() => haltNow_1(f(e), __tsplusTrace), failNow_1)(pf(e)), __tsplusTrace)(fa);
+  };
 }
 /**
  * Fail with the returned value if the partial function `pf` matches, otherwise
  * continue with the held value.
  *
- * @tsplus fluent fncts.io.IO reject
+ * @tsplus pipeable fncts.io.IO reject
  */
 
 
-export function reject_(fa, pf, __tsplusTrace) {
-  return rejectIO_1(fa, a => tsplus_module_7.map_(pf(a), failNow_1), __tsplusTrace);
+export function reject(pf, __tsplusTrace) {
+  return fa => {
+    return rejectIO_1(a => tsplus_module_8.map(failNow_1)(pf(a)), __tsplusTrace)(fa);
+  };
 }
 /**
  * Continue with the returned computation if the partial function `pf` matches,
  * translating the successful match into a failure, otherwise continue with
  * the held value.
  *
- * @tsplus fluent fncts.io.IO rejectIO
+ * @tsplus pipeable fncts.io.IO rejectIO
  */
 
-function rejectIO_1(fa, pf, __tsplusTrace) {
-  return flatMap_1(fa, a => tsplus_module_4.match_(pf(a), () => succeedNow_1(a, __tsplusTrace), io => flatMap_1(io, failNow_1, __tsplusTrace)), __tsplusTrace);
+function rejectIO_1(pf, __tsplusTrace) {
+  return fa => {
+    return flatMap_1(a => tsplus_module_4.match(() => succeedNow_1(a, __tsplusTrace), io => flatMap_1(failNow_1, __tsplusTrace)(io))(pf(a)), __tsplusTrace)(fa);
+  };
 }
 /**
  * Repeats this effect the specified number of times.
  *
- * @tsplus fluent fncts.io.IO repeatN
+ * @tsplus pipeable fncts.io.IO repeatN
  */
 
 
-function repeatN_1(ma, n, __tsplusTrace) {
-  return flatMap_1(ma, a => n <= 0 ? succeed_1(() => a, __tsplusTrace) : repeatN_1(ma, n - 1, __tsplusTrace), __tsplusTrace);
+function repeatN_1(n, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(a => n <= 0 ? succeed_1(() => a, __tsplusTrace) : repeatN_1(n - 1, __tsplusTrace)(ma), __tsplusTrace)(ma);
+  };
 }
 /**
  * Repeats this effect until its result satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO repeatUntil
+ * @tsplus pipeable fncts.io.IO repeatUntil
  */
 
 
-export function repeatUntil_(ma, f, __tsplusTrace) {
-  return repeatUntilIO_1(ma, a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace);
+export function repeatUntil(f, __tsplusTrace) {
+  return ma => {
+    return repeatUntilIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * Repeats this effect until its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO repeatUntilIO
+ * @tsplus pipeable fncts.io.IO repeatUntilIO
  */
 
-function repeatUntilIO_1(ma, f, __tsplusTrace) {
-  return flatMap_1(ma, a => flatMap_1(f(a), b => b ? succeed_1(() => a, __tsplusTrace) : repeatUntilIO_1(ma, f, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+function repeatUntilIO_1(f, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(a => flatMap_1(b => b ? succeed_1(() => a, __tsplusTrace) : repeatUntilIO_1(f, __tsplusTrace)(ma), __tsplusTrace)(f(a)), __tsplusTrace)(ma);
+  };
 }
 /**
  * Repeats this effect while its error satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO repeatWhile
+ * @tsplus pipeable fncts.io.IO repeatWhile
  */
 
 
-export function repeatWhile_(ma, f, __tsplusTrace) {
-  return repeatWhileIO_1(ma, a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace);
+export function repeatWhile(f, __tsplusTrace) {
+  return ma => {
+    return repeatWhileIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * Repeats this effect while its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO repeatWhileIO
+ * @tsplus pipeable fncts.io.IO repeatWhileIO
  */
 
-function repeatWhileIO_1(ma, f, __tsplusTrace) {
-  return flatMap_1(ma, a => flatMap_1(f(a), b => b ? repeatWhileIO_1(ma, f, __tsplusTrace) : succeed_1(() => a, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+function repeatWhileIO_1(f, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(a => flatMap_1(b => b ? repeatWhileIO_1(f, __tsplusTrace)(ma) : succeed_1(() => a, __tsplusTrace), __tsplusTrace)(f(a)), __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO replicate
+ * @tsplus pipeable fncts.io.IO replicate
  */
 
 
-export function replicate_(self, n, __tsplusTrace) {
-  return tsplus_module_20.map_(tsplus_module_19.range(0, n), () => self);
+export function replicate(n, __tsplusTrace) {
+  return self => {
+    return tsplus_module_21.map(() => self)(tsplus_module_20.range(0, n));
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO require
+ * @tsplus pipeable fncts.io.IO require
  */
 
-export function require_(ma, error, __tsplusTrace) {
-  return flatMap_1(ma, ma => tsplus_module_4.match_(ma, () => fail_1(error, __tsplusTrace), succeedNow_1), __tsplusTrace);
+export function require(error, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(ma => tsplus_module_4.match(() => fail_1(error, __tsplusTrace), succeedNow_1)(ma), __tsplusTrace)(ma);
+  };
 }
 /**
  * Returns an IO that semantically runs the IO on a fiber,
@@ -1406,7 +1516,7 @@ export function require_(ma, error, __tsplusTrace) {
  */
 
 export function result(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => succeedNow_1(tsplus_module_9.failCause(cause), __tsplusTrace), a => succeedNow_1(tsplus_module_9.succeed(a), __tsplusTrace), __tsplusTrace);
+  return matchCauseIO_1(cause => succeedNow_1(tsplus_module_10.failCause(cause), __tsplusTrace), a => succeedNow_1(tsplus_module_10.succeed(a), __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
  * Recover from the unchecked failure of the `IO`. (opposite of `orHalt`)
@@ -1415,44 +1525,52 @@ export function result(ma, __tsplusTrace) {
  */
 
 export function resurrect(io, __tsplusTrace) {
-  return unrefineWith_1(io, tsplus_module_2.just, identity, __tsplusTrace);
+  return unrefineWith_1(tsplus_module_2.just, identity, __tsplusTrace)(io);
 }
 /**
  * Retries this effect until its error satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO retryUntil
+ * @tsplus pipeable fncts.io.IO retryUntil
  */
 
-export function retryUntil_(fa, f, __tsplusTrace) {
-  return retryUntilIO_1(fa, e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace);
+export function retryUntil(f, __tsplusTrace) {
+  return fa => {
+    return retryUntilIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Retries this effect until its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO retryUntilIO
+ * @tsplus pipeable fncts.io.IO retryUntilIO
  */
 
-function retryUntilIO_1(fa, f, __tsplusTrace) {
-  return catchAll_1(fa, e => flatMap_1(f(e), b => b ? failNow_1(e, __tsplusTrace) : retryUntilIO_1(fa, f, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+function retryUntilIO_1(f, __tsplusTrace) {
+  return fa => {
+    return catchAll_1(e => flatMap_1(b => b ? failNow_1(e, __tsplusTrace) : retryUntilIO_1(f, __tsplusTrace)(fa), __tsplusTrace)(f(e)), __tsplusTrace)(fa);
+  };
 }
 /**
  * Retries this effect while its error satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO retryWhile
+ * @tsplus pipeable fncts.io.IO retryWhile
  */
 
 
-export function retryWhile_(fa, f, __tsplusTrace) {
-  return retryWhileIO_1(fa, e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace);
+export function retryWhile(f, __tsplusTrace) {
+  return fa => {
+    return retryWhileIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Retries this effect while its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO retryWhileIO
+ * @tsplus pipeable fncts.io.IO retryWhileIO
  */
 
-function retryWhileIO_1(fa, f, __tsplusTrace) {
-  return catchAll_1(fa, e => flatMap_1(f(e), b => b ? retryWhileIO_1(fa, f, __tsplusTrace) : fail_1(() => e, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+function retryWhileIO_1(f, __tsplusTrace) {
+  return fa => {
+    return catchAll_1(e => flatMap_1(b => b ? retryWhileIO_1(f, __tsplusTrace)(fa) : fail_1(() => e, __tsplusTrace), __tsplusTrace)(f(e)), __tsplusTrace)(fa);
+  };
 }
 /**
  * Retrieves the runtimeConfig that this effect is running on.
@@ -1461,7 +1579,7 @@ function retryWhileIO_1(fa, f, __tsplusTrace) {
  */
 
 
-export const runtimeConfig = /*#__PURE__*/deferWith_1(runtimeConfig => succeedNow_1(runtimeConfig, fileName_1 + ":1776:95"), fileName_1 + ":1776:62");
+export const runtimeConfig = /*#__PURE__*/deferWith_1(runtimeConfig => succeedNow_1(runtimeConfig, fileName_1 + ":1787:95"), fileName_1 + ":1787:62");
 /**
  * Exposes the full cause of failure of this effect.
  *
@@ -1469,15 +1587,17 @@ export const runtimeConfig = /*#__PURE__*/deferWith_1(runtimeConfig => succeedNo
  */
 
 function sandbox_1(fa, __tsplusTrace) {
-  return matchCauseIO_1(fa, failNow_1, succeedNow_1, __tsplusTrace);
+  return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(fa);
 }
 /**
- * @tsplus fluent fncts.io.IO sandboxWith
+ * @tsplus pipeable fncts.io.IO sandboxWith
  */
 
 
-export function sandboxWith_(ma, f, __tsplusTrace) {
-  return unsandbox_1(f(sandbox_1(ma, __tsplusTrace)), __tsplusTrace);
+export function sandboxWith(f, __tsplusTrace) {
+  return ma => {
+    return unsandbox_1(f(sandbox_1(ma, __tsplusTrace)), __tsplusTrace);
+  };
 }
 /**
  * Sets the runtime configuration to the specified value.
@@ -1524,17 +1644,19 @@ function succeed_1(effect, __tsplusTrace) {
   return new Succeed(effect, __tsplusTrace);
 }
 /**
- * @tsplus fluent fncts.io.IO summarized
+ * @tsplus pipeable fncts.io.IO summarized
  */
 
 
-function summarized_1(ma, summary, f, __tsplusTrace) {
-  return gen_1(function* (_) {
-    const start = yield* _(summary, __tsplusTrace);
-    const value = yield* _(ma, __tsplusTrace);
-    const end = yield* _(summary, __tsplusTrace);
-    return tuple(f(start, end), value);
-  }, __tsplusTrace);
+function summarized_1(summary, f, __tsplusTrace) {
+  return ma => {
+    return gen_1(function* (_) {
+      const start = yield* _(summary, __tsplusTrace);
+      const value = yield* _(ma, __tsplusTrace);
+      const end = yield* _(summary, __tsplusTrace);
+      return tuple(f(start, end), value);
+    }, __tsplusTrace);
+  };
 }
 /**
  * Swaps the positions of a Bifunctor's arguments
@@ -1544,27 +1666,27 @@ function summarized_1(ma, summary, f, __tsplusTrace) {
 
 
 function swap_1(pab, __tsplusTrace) {
-  return matchIO_1(pab, succeedNow_1, failNow_1, __tsplusTrace);
+  return matchIO_1(succeedNow_1, failNow_1, __tsplusTrace)(pab);
 }
 /**
  * Swaps the error/value parameters, applies the function `f` and flips the parameters back
  *
- * @tsplus fluent fncts.io.IO swapWith
+ * @tsplus pipeable fncts.io.IO swapWith
  */
 
 
-function swapWith_1(fa, f, __tsplusTrace) {
-  return swap_1(f(swap_1(fa, __tsplusTrace)), __tsplusTrace);
+function swapWith_1(f, __tsplusTrace) {
+  return fa => swap_1(f(swap_1(fa, __tsplusTrace)), __tsplusTrace);
 }
 /**
  * A more powerful variation of `timed` that allows specifying the clock.
  *
- * @tsplus fluent fncts.io.IO timedWith
+ * @tsplus pipeable fncts.io.IO timedWith
  */
 
 
-export function timedWith_(ma, msTime, __tsplusTrace) {
-  return summarized_1(ma, msTime, (start, end) => end - start, __tsplusTrace);
+export function timedWith(msTime, __tsplusTrace) {
+  return ma => summarized_1(msTime, (start, end) => end - start, __tsplusTrace)(ma);
 }
 /**
  * Creates a `IO` that has succeeded with a pure value
@@ -1577,7 +1699,7 @@ function tryCatch_1(effect, onThrow, __tsplusTrace) {
     try {
       return effect();
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(onThrow(u)));
+      throw new IOError(tsplus_module_10.fail(onThrow(u)));
     }
   }, __tsplusTrace);
 }
@@ -1589,7 +1711,7 @@ function tryCatch_1(effect, onThrow, __tsplusTrace) {
 
 
 export function absolve(ma, __tsplusTrace) {
-  return flatMap_1(ma, ea => tsplus_module_6.match_(ea, failNow_1, succeedNow_1), __tsplusTrace);
+  return flatMap_1(ea => tsplus_module_6.match(failNow_1, succeedNow_1)(ea), __tsplusTrace)(ma);
 }
 /**
  * Composes computations in sequence, using the return value of one computation as input for the next
@@ -1597,54 +1719,62 @@ export function absolve(ma, __tsplusTrace) {
  *
  * Returns an IO that effectfully "peeks" at the success of this effect.
  *
- * @tsplus fluent fncts.io.IO tap
+ * @tsplus pipeable fncts.io.IO tap
  */
 
-export function tap_(self, f, __tsplusTrace) {
-  return flatMap_1(self, a => map_1(f(a), () => a, __tsplusTrace), __tsplusTrace);
+export function tap(f, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => map_1(() => a, __tsplusTrace)(f(a)), __tsplusTrace)(self);
+  };
 }
 /**
  * Returns an IO that effectually "peeks" at the cause of the failure of
  * this IO.
  *
- * @tsplus fluent fncts.io.IO tapCause
+ * @tsplus pipeable fncts.io.IO tapCause
  */
 
-export function tapCause_(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, c => flatMap_1(f(c), () => failCauseNow_1(c, __tsplusTrace), __tsplusTrace), succeedNow_1, __tsplusTrace);
+export function tapCause(f, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(c => flatMap_1(() => failCauseNow_1(c, __tsplusTrace), __tsplusTrace)(f(c)), succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * Returns an IO that effectfully "peeks" at the failure of this effect.
  *
- * @tsplus fluent fncts.io.IO tapError
+ * @tsplus pipeable fncts.io.IO tapError
  */
 
-export function tapError_(self, f, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), e => flatMap_1(f(e), () => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace), _ => failCauseNow_1(cause, __tsplusTrace)), succeedNow_1, __tsplusTrace);
+export function tapError(f, __tsplusTrace) {
+  return self => matchCauseIO_1(cause => tsplus_module_6.match(e => flatMap_1(() => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(f(e)), _ => failCauseNow_1(cause, __tsplusTrace))(tsplus_module_5.failureOrCause(cause)), succeedNow_1, __tsplusTrace)(self);
 }
 /**
  * Returns an effect that effectually "peeks" at the cause of the failure of
  * this effect.
  *
- * @tsplus fluent fncts.io.IO tapErrorCause
+ * @tsplus pipeable fncts.io.IO tapErrorCause
  */
 
-export function tapErrorCause_(self, f, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => apSecond_1(f(cause), failCauseNow_1(cause, __tsplusTrace), __tsplusTrace), succeedNow_1, __tsplusTrace);
+export function tapErrorCause(f, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => apSecond_1(failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(f(cause)), succeedNow_1, __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO tryOrElse
+ * @tsplus pipeable fncts.io.IO tryOrElse
  */
 
-function tryOrElse_1(ma, that, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_4.match_(tsplus_module_5.keepDefects(cause), that, failCauseNow_1), onSuccess, __tsplusTrace);
+function tryOrElse_1(that, onSuccess, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(cause => tsplus_module_4.match(that, failCauseNow_1)(tsplus_module_5.keepDefects(cause)), onSuccess, __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps unit
  */
 
 
-const unit_1 = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":1988:45");
+const unit_1 = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":1987:45");
 export const unit = unit_1;
 /**
  * Converts an option on errors into an option on values.
@@ -1653,17 +1783,19 @@ export const unit = unit_1;
  */
 
 export function unjust(self, __tsplusTrace) {
-  return matchIO_1(self, e => tsplus_module_4.match_(e, () => succeedNow_1(tsplus_module_2.nothing(), __tsplusTrace), failNow_1), a => succeedNow_1(tsplus_module_2.just(a), __tsplusTrace), __tsplusTrace);
+  return matchIO_1(e => tsplus_module_4.match(() => succeedNow_1(tsplus_module_2.nothing(), __tsplusTrace), failNow_1)(e), a => succeedNow_1(tsplus_module_2.just(a), __tsplusTrace), __tsplusTrace)(self);
 }
 /**
  * Takes some fiber failures and converts them into errors, using the
  * specified function to convert the `E` into an `E1 | E2`.
  *
- * @tsplus fluent fncts.io.IO unrefineWith
+ * @tsplus pipeable fncts.io.IO unrefineWith
  */
 
-function unrefineWith_1(fa, pf, f, __tsplusTrace) {
-  return catchAllCause_1(fa, cause => tsplus_module_4.match_(tsplus_module_5.find_(cause, c => tsplus_module_5.isHalt(c) ? pf(c.value) : tsplus_module_2.nothing()), () => failCauseNow_1(tsplus_module_5.map_(cause, f), __tsplusTrace), failNow_1), __tsplusTrace);
+function unrefineWith_1(pf, f, __tsplusTrace) {
+  return fa => {
+    return catchAllCause_1(cause => tsplus_module_4.match(() => failCauseNow_1(tsplus_module_5.map(f)(cause), __tsplusTrace), failNow_1)(tsplus_module_5.find(c => tsplus_module_5.isHalt(c) ? pf(c.value) : tsplus_module_2.nothing())(cause)), __tsplusTrace)(fa);
+  };
 }
 /**
  * The inverse operation `sandbox`
@@ -1673,7 +1805,7 @@ function unrefineWith_1(fa, pf, f, __tsplusTrace) {
 
 
 function unsandbox_1(ma, __tsplusTrace) {
-  return mapErrorCause_1(ma, cause => tsplus_module_5.flatten(cause), __tsplusTrace);
+  return mapErrorCause_1(cause => tsplus_module_5.flatten(cause), __tsplusTrace)(ma);
 }
 /**
  * Updates the `FiberRef` values for the fiber running this effect using the
@@ -1703,20 +1835,24 @@ function withFiberContext_1(onState, __tsplusTrace) {
 
 export const via = pipe;
 /**
- * @tsplus fluent fncts.io.IO when
+ * @tsplus pipeable fncts.io.IO when
  */
 
-export function when_(ma, b, __tsplusTrace) {
-  return whenIO_1(ma, succeed_1(b, __tsplusTrace), __tsplusTrace);
+export function when(b, __tsplusTrace) {
+  return ma => {
+    return whenIO_1(succeed_1(b, __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * The moral equivalent of `if (p) exp` when `p` has side-effects
  *
- * @tsplus fluent fncts.io.IO whenIO
+ * @tsplus pipeable fncts.io.IO whenIO
  */
 
-function whenIO_1(ma, mb, __tsplusTrace) {
-  return flatMap_1(mb, b => b ? asUnit_1(ma, __tsplusTrace) : unit_1, __tsplusTrace);
+function whenIO_1(mb, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(b => b ? asUnit_1(ma, __tsplusTrace) : unit_1, __tsplusTrace)(mb);
+  };
 }
 /**
  * Returns an effect that yields to the runtime system, starting on a fresh
@@ -1730,18 +1866,22 @@ function whenIO_1(ma, mb, __tsplusTrace) {
 const yieldNow_1 = /*#__PURE__*/new Yield();
 export const yieldNow = yieldNow_1;
 /**
- * @tsplus fluent fncts.io.IO zip
+ * @tsplus pipeable fncts.io.IO zip
  */
 
-export function zip_(self, that, __tsplusTrace) {
-  return zipWith_1(self, that, tuple, __tsplusTrace);
+export function zip(that, __tsplusTrace) {
+  return self => {
+    return zipWith_1(that, tuple, __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO zipWith
+ * @tsplus pipeable fncts.io.IO zipWith
  */
 
-function zipWith_1(self, that, f, __tsplusTrace) {
-  return flatMap_1(self, a => map_1(that, b => f(a, b), __tsplusTrace), __tsplusTrace);
+function zipWith_1(that, f, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => map_1(b => f(a, b), __tsplusTrace)(that), __tsplusTrace)(self);
+  };
 }
 
 export class GenIO {
@@ -1760,22 +1900,6 @@ export class GenIO {
  */
 
 export const __adapter = _ => {
-  // if (Either.isEither(_)) {
-  //   return IO.fromEither(_);
-  // }
-  // if (Maybe.isMaybe(_)) {
-  //   return __
-  //     ? _._tag === "Nothing"
-  //       ? IO.failNow(__())
-  //       : IO.succeed(_.value)
-  //     : getOrFail(_);
-  // }
-  // if (isTag(_)) {
-  //   return service(_);
-  // }
-  // if (S.isSync(_)) {
-  //   return fromSync(_);
-  // }
   return _;
 };
 
@@ -1803,7 +1927,7 @@ function gen_1(f, __tsplusTrace) {
         return run(next);
       };
 
-      return flatMap_1(state.value.effect, f, __tsplusTrace);
+      return flatMap_1(f, __tsplusTrace)(state.value.effect);
     };
 
     return run(state);