Function makeExit

packages/effect/src/Micro.ts:778–818

(options: {
  readonly op: "Success" | "Failure"
  readonly prop: Prop
  readonly eval: (
    this:
      & MicroExit<unknown, unknown>
      & { [args]: Parameters<Fn>[0] },
    fiber: MicroFiberImpl<unknown, unknown>
  ) => Primitive | Yield
})

}

const makeExit = <Fn extends (...args: Array<any>) => any, Prop extends string>(options: {
  readonly op: "Success" | "Failure"
  readonly prop: Prop
  readonly eval: (
    this:
      & MicroExit<unknown, unknown>
      & { [args]: Parameters<Fn>[0] },
    fiber: MicroFiberImpl<unknown, unknown>
  ) => Primitive | Yield
}): Fn => {
  const Proto = {
    ...makePrimitiveProto(options),
    [MicroExitTypeId]: MicroExitTypeId,
    _tag: options.op,
    get [options.prop](): any {
      return (this as any)[args]
    },
    toJSON(this: any) {
      return {
        _id: "MicroExit",
        _tag: options.op,
        [options.prop]: this[args]
      }
    },
    [Equal.symbol](this: any, that: any): boolean {
      return isMicroExit(that) && that._tag === options.op &&
        Equal.equals(this[args], (that as any)[args])
    },
    [Hash.symbol](this: any): number {
      return Hash.cached(this, Hash.combine(Hash.string(options.op))(Hash.hash(this[args])))
    }
  }
  return function(value: unknown) {
    const self = Object.create(Proto)
    self[args] = value
    self[successCont] = undefined
    self[failureCont] = undefined
    self[ensureCont] = undefined
    return self
  } as Fn
}

/**
 * Creates a `Micro` effect that will succeed with the specified constant value.