import type { Either } from "../Either";
import type { XPure } from "./model";
export declare class FoldFrame {
   readonly failure: (e: any) => XPure<any, any, any, any, any>;
   readonly apply: (e: any) => XPure<any, any, any, any, any>;
   readonly _xptag = "FoldFrame";
   constructor(failure: (e: any) => XPure<any, any, any, any, any>, apply: (e: any) => XPure<any, any, any, any, any>);
}
export declare class ApplyFrame {
   readonly apply: (e: any) => XPure<any, any, any, any, any>;
   readonly _xptag = "ApplyFrame";
   constructor(apply: (e: any) => XPure<any, any, any, any, any>);
}
export declare type Frame = FoldFrame | ApplyFrame;
/**
 * Runs this computation with the specified initial state, returning either a
 * failure or the updated state and the result
 */
export declare const runStateEither_: <S1, S2, E, A>(
   fa: XPure<S1, S2, unknown, E, A>,
   s: S1
) => Either<E, readonly [S2, A]>;
/**
 * Runs this computation with the specified initial state, returning either a
 * failure or the updated state and the result
 */
export declare const runStateEither: <S1>(
   s: S1
) => <S2, E, A>(fx: XPure<S1, S2, unknown, E, A>) => Either<E, readonly [S2, A]>;
/**
 * Runs this computation with the specified initial state, returning both
 * the updated state and the result.
 */
export declare const run_: <S1, S2, A>(self: XPure<S1, S2, unknown, never, A>, s: S1) => readonly [S2, A];
/**
 * Runs this computation with the specified initial state, returning both
 * updated state and the result
 */
export declare const run: <S1>(s: S1) => <S2, A>(self: XPure<S1, S2, unknown, never, A>) => readonly [S2, A];
/**
 * Runs this computation, returning the result.
 */
export declare const runIO: <A>(self: XPure<unknown, unknown, unknown, never, A>) => A;
/**
 * Runs this computation with the specified initial state, returning the
 * updated state and discarding the result.
 */
export declare const runState_: <S1, S2, A>(self: XPure<S1, S2, unknown, never, A>, s: S1) => S2;
/**
 * Runs this computation with the specified initial state, returning the
 * updated state and discarding the result.
 */
export declare const runState: <S1>(s: S1) => <S2, A>(self: XPure<S1, S2, unknown, never, A>) => S2;
/**
 * Runs this computation with the specified initial state, returning the
 * updated state and the result.
 */
export declare const runStateResult_: <S1, S2, A>(self: XPure<S1, S2, unknown, never, A>, s: S1) => readonly [S2, A];
/**
 * Runs this computation with the specified initial state, returning the
 * updated state and the result.
 */
export declare const runStateResult: <S1>(s: S1) => <S2, A>(self: XPure<S1, S2, unknown, never, A>) => readonly [S2, A];
/**
 * Runs this computation with the specified initial state, returning the
 * result and discarding the updated state.
 */
export declare const runResult_: <S1, S2, A>(self: XPure<S1, S2, unknown, never, A>, s: S1) => A;
/**
 * Runs this computation with the specified initial state, returning the
 * result and discarding the updated state.
 */
export declare const runResult: <S1>(s: S1) => <S2, A>(self: XPure<S1, S2, unknown, never, A>) => A;
/**
 * Runs this computation returning either the result or error
 */
export declare const runEither: <E, A>(self: XPure<never, unknown, unknown, E, A>) => Either<E, A>;
export declare const runEitherEnv_: <R, E, A>(self: XPure<never, unknown, R, E, A>, env: R) => Either<E, A>;
export declare const runEitherEnv: <R>(env: R) => <E, A>(self: XPure<never, unknown, R, E, A>) => Either<E, A>;
//# sourceMappingURL=run.d.ts.map