import type { Option } from "../../Option";
import * as T from "../Task/_core";
import type { XRefM } from "./model";
/**
 * Atomically modifies the `RefM` with the specified function, which computes
 * a return value for the modification. This is a more powerful version of
 * `update`.
 */
export declare const modify_: <RA, RB, EA, EB, R1, E1, B, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   f: (a: A) => T.Task<R1, E1, readonly [B, A]>
) => T.Task<RA & RB & R1, EA | EB | E1, B>;
/**
 * Atomically modifies the `RefM` with the specified function, which computes
 * a return value for the modification. This is a more powerful version of
 * `update`.
 */
export declare const modify: <R1, E1, B, A>(
   f: (a: A) => T.Task<R1, E1, readonly [B, A]>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, B>;
/**
 * Writes a new value to the `RefM`, returning the value immediately before
 * modification.
 */
export declare const getAndSet_: <RA, RB, EA, EB, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   a: A
) => T.Task<RA & RB, EA | EB, A>;
/**
 * Writes a new value to the `RefM`, returning the value immediately before
 * modification.
 */
export declare const getAndSet: <A>(
   a: A
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB, EA | EB, A>;
/**
 * Atomically modifies the `RefM` with the specified function, returning the
 * value immediately before modification.
 */
export declare const getAndUpdate_: <RA, RB, EA, EB, R1, E1, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   f: (a: A) => T.Task<R1, E1, A>
) => T.Task<RA & RB & R1, EA | EB | E1, A>;
/**
 * Atomically modifies the `RefM` with the specified function, returning the
 * value immediately before modification.
 */
export declare const getAndUpdate: <R1, E1, A>(
   f: (a: A) => T.Task<R1, E1, A>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, A>;
/**
 * Atomically modifies the `RefM` with the specified function, returning the
 * value immediately before modification.
 */
export declare const getAndUpdateSome_: <RA, RB, EA, EB, R1, E1, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   f: (a: A) => Option<T.Task<R1, E1, A>>
) => T.Task<RA & RB & R1, EA | EB | E1, A>;
/**
 * Atomically modifies the `RefM` with the specified function, returning the
 * value immediately before modification.
 */
export declare const getAndUpdateSome: <R1, E1, A>(
   f: (a: A) => Option<T.Task<R1, E1, A>>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, A>;
/**
 * Atomically modifies the `RefM` with the specified function, which computes
 * a return value for the modification if the function is defined in the current value
 * otherwise it returns a default value.
 * This is a more powerful version of `updateSome`.
 */
export declare const modifySome_: <RA, RB, EA, EB, R1, E1, A, B>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   def: B,
   f: (a: A) => Option<T.Task<R1, E1, readonly [B, A]>>
) => T.Task<RA & RB & R1, EA | EB | E1, B>;
/**
 * Atomically modifies the `RefM` with the specified function, which computes
 * a return value for the modification if the function is defined in the current value
 * otherwise it returns a default value.
 * This is a more powerful version of `updateSome`.
 */
export declare const modifySome: <B>(
   def: B
) => <R1, E1, A>(
   f: (a: A) => Option<T.Task<R1, E1, [B, A]>>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, B>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const update_: <RA, RB, EA, EB, R1, E1, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   f: (a: A) => T.Task<R1, E1, A>
) => T.Task<RA & RB & R1, EA | EB | E1, void>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const update: <R1, E1, A>(
   f: (a: A) => T.Task<R1, E1, A>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, void>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const updateAndGet_: <RA, RB, EA, EB, R1, E1, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   f: (a: A) => T.Task<R1, E1, A>
) => T.Task<RA & RB & R1, EA | EB | E1, void>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const updateAndGet: <R1, E1, A>(
   f: (a: A) => T.Task<R1, E1, A>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, void>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const updateSome_: <RA, RB, EA, EB, R1, E1, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   f: (a: A) => Option<T.Task<R1, E1, A>>
) => T.Task<RA & RB & R1, EA | EB | E1, void>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const updateSome: <R1, E1, A>(
   f: (a: A) => Option<T.Task<R1, E1, A>>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, void>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const updateSomeAndGet_: <RA, RB, EA, EB, R1, E1, A>(
   self: XRefM<RA, RB, EA, EB, A, A>,
   f: (a: A) => Option<T.Task<R1, E1, A>>
) => T.Task<RA & RB & R1, EA | EB | E1, A>;
/**
 * Atomically modifies the `RefM` with the specified function.
 */
export declare const updateSomeAndGet: <R1, E1, A>(
   f: (a: A) => Option<T.Task<R1, E1, A>>
) => <RA, RB, EA, EB>(self: XRefM<RA, RB, EA, EB, A, A>) => T.Task<RA & RB & R1, E1 | EA | EB, A>;
/**
 * Maps and filters the `get` value of the `XRefM` with the specified
 * effectual partial function, returning a `XRefM` with a `get` value that
 * succeeds with the result of the partial function if it is defined or else
 * fails with `None`.
 */
export declare const collectM_: <RA, RB, EA, EB, A, B, RC, EC, C>(
   self: XRefM<RA, RB, EA, EB, A, B>,
   f: (b: B) => Option<T.Task<RC, EC, C>>
) => XRefM<RA, RB & RC, EA, Option<EB | EC>, A, C>;
/**
 * Maps and filters the `get` value of the `XRefM` with the specified
 * effectual partial function, returning a `XRefM` with a `get` value that
 * succeeds with the result of the partial function if it is defined or else
 * fails with `None`.
 */
export declare const collectM: <B, RC, EC, C>(
   f: (b: B) => Option<T.Task<RC, EC, C>>
) => <RA, RB, EA, EB, A>(self: XRefM<RA, RB, EA, EB, A, B>) => XRefM<RA, RB & RC, EA, Option<EC | EB>, A, C>;
/**
 * Maps and filters the `get` value of the `XRefM` with the specified partial
 * function, returning a `XRefM` with a `get` value that succeeds with the
 * result of the partial function if it is defined or else fails with `None`.
 */
export declare const collect_: <RA, RB, EA, EB, A, B, C>(
   self: XRefM<RA, RB, EA, EB, A, B>,
   f: (b: B) => Option<C>
) => XRefM<RA, RB, EA, Option<EB>, A, C>;
/**
 * Maps and filters the `get` value of the `XRefM` with the specified partial
 * function, returning a `XRefM` with a `get` value that succeeds with the
 * result of the partial function if it is defined or else fails with `None`.
 */
export declare const collect: <B, C>(
   f: (b: B) => Option<C>
) => <RA, RB, EA, EB, A>(self: XRefM<RA, RB, EA, EB, A, B>) => XRefM<RA, RB, EA, Option<EB>, A, C>;
/**
 * Returns a read only view of the `XRefM`.
 */
export declare const readOnly: <RA, RB, EA, EB, A, B>(
   self: XRefM<RA, RB, EA, EB, A, B>
) => XRefM<RA, RB, EA, EB, never, B>;
/**
 * Returns a read only view of the `XRefM`.
 */
export declare const writeOnly: <RA, RB, EA, EB, A, B>(
   self: XRefM<RA, RB, EA, EB, A, B>
) => XRefM<RA, RB, EA, void, A, never>;
//# sourceMappingURL=combinators.d.ts.map