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>(onLeft: () => Z, onRight: () => Z, onBoth: () => Z, onEither: () => Z): (self: HaltStrategy) => Z
  <Z>(self: HaltStrategy, onLeft: () => Z, onRight: () => Z, onBoth: () => Z, 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