/**
 * @since 1.0.0
 * @category models
 */
export type HaltStrategy = Left | Right | Both | Either;
/**
 * @since 1.0.0
 * @category models
 */
export type HaltStrategyInput = HaltStrategy | "left" | "right" | "both" | "either";
/**
 * @since 1.0.0
 * @category models
 */
export interface Left {
    readonly _tag: "Left";
}
/**
 * @since 1.0.0
 * @category models
 */
export interface Right {
    readonly _tag: "Right";
}
/**
 * @since 1.0.0
 * @category models
 */
export interface Both {
    readonly _tag: "Both";
}
/**
 * @since 1.0.0
 * @category models
 */
export interface Either {
    readonly _tag: "Either";
}
/**
 * @since 1.0.0
 * @category constructors
 */
export declare const Left: HaltStrategy;
/**
 * @since 1.0.0
 * @category constructors
 */
export declare const Right: HaltStrategy;
/**
 * @since 1.0.0
 * @category constructors
 */
export declare const Both: HaltStrategy;
/**
 * @since 1.0.0
 * @category constructors
 */
export declare const Either: HaltStrategy;
/**
 * @since 1.0.0
 * @category constructors
 */
export declare const fromInput: (input: HaltStrategyInput) => HaltStrategy;
/**
 * @since 1.0.0
 * @category refinements
 */
export declare const isLeft: (self: HaltStrategy) => self is Left;
/**
 * @since 1.0.0
 * @category refinements
 */
export declare const isRight: (self: HaltStrategy) => self is Right;
/**
 * @since 1.0.0
 * @category refinements
 */
export declare const isBoth: (self: HaltStrategy) => self is Both;
/**
 * @since 1.0.0
 * @category refinements
 */
export declare const isEither: (self: HaltStrategy) => self is Either;
/**
 * @since 1.0.0
 * @category folding
 */
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;
};
//# sourceMappingURL=HaltStrategy.d.ts.map