declare const Both: HaltStrategy

declare const Either: HaltStrategy

declare const Left: HaltStrategy

declare const Right: HaltStrategy

declare const fromInput: (input: HaltStrategyInput) => HaltStrategy

declare const match: {
  <Z>(options: {
    readonly onLeft: () => Z
    readonly onRight: () => Z
    readonly onBoth: () => Z
    readonly onEither: () => Z
  }): (self: HaltStrategy) => Z
  <Z>(
    self: HaltStrategy,
    options: {
      readonly onLeft: () => Z
      readonly onRight: () => Z
      readonly onBoth: () => Z
      readonly onEither: () => Z
    }
  ): Z
}

export interface Both {
  readonly _tag: "Both"
}

export interface Either {
  readonly _tag: "Either"
}

type HaltStrategy = Left | Right | Both | Either

type HaltStrategyInput = HaltStrategy | "left" | "right" | "both" | "either"

export interface Left {
  readonly _tag: "Left"
}

export interface Right {
  readonly _tag: "Right"
}

declare const isBoth: (self: HaltStrategy) => self is Both

declare const isEither: (self: HaltStrategy) => self is Either

declare const isLeft: (self: HaltStrategy) => self is Left

declare const isRight: (self: HaltStrategy) => self is Right