export declare const Both: HaltStrategy

export declare const Either: HaltStrategy

export declare const Left: HaltStrategy

export declare const Right: HaltStrategy

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

export 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"
}

export type HaltStrategy = Left | Right | Both | Either

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

export interface Left {
  readonly _tag: "Left"
}

export interface Right {
  readonly _tag: "Right"
}

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

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

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

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