import type { XPure } from "./model";
/**
 * ```haskell
 * succeed :: <a, s1, s2>a -> XPure s1 s2 _ _ a
 * ```
 */
export declare const succeed: <A, S1 = unknown, S2 = never>(a: A) => XPure<S1, S2, unknown, never, A>;
export declare const total: <A, S1 = unknown, S2 = never>(thunk: () => A) => XPure<S1, S2, unknown, never, A>;
export declare const fail: <E>(e: E) => XPure<unknown, never, unknown, E, never>;
export declare const modify: <S1, S2, A>(f: (s: S1) => readonly [S2, A]) => XPure<S1, S2, unknown, never, A>;
export declare const suspend: <S1, S2, R, E, A>(factory: () => XPure<S1, S2, R, E, A>) => XPure<S1, S2, R, E, A>;
export declare const sync: <A>(thunk: () => A) => XPure<unknown, never, unknown, never, A>;
export declare const partial_: <A, E>(
   f: () => A,
   onThrow: (reason: unknown) => E
) => XPure<unknown, never, unknown, E, A>;
export declare const partial: <E>(
   onThrow: (reason: unknown) => E
) => <A>(f: () => A) => XPure<unknown, never, unknown, E, A>;
//# sourceMappingURL=constructors.d.ts.map