export interface StateFuture<S, E, A> {
  (s: S): F.Future<E, [A, S]>
}

export type URI = typeof URI

export const URI: "StateFuture" = ...

<R, E, A>(that: () => StateFuture<R, E, A>) => (fa: StateFuture<R, E, A>) => StateFuture<R, E, A>

<R, E, A>(fa: StateFuture<R, E, A>) => <B>(fab: StateFuture<R, E, (a: A) => B>) => StateFuture<R, E, B>

<R, E, B>(fb: StateFuture<R, E, B>) => <A>(fa: StateFuture<R, E, A>) => StateFuture<R, E, A>

<R, E, B>(fb: StateFuture<R, E, B>) => <A>(fa: StateFuture<R, E, A>) => StateFuture<R, E, B>

<E, G, A, B>(f: (e: E) => G, g: (a: A) => B) => <R>(fa: StateFuture<R, E, A>) => StateFuture<R, G, B>

<R, E, A, B>(f: (a: A) => StateFuture<R, E, B>) => (ma: StateFuture<R, E, A>) => StateFuture<R, E, B>

export function chainEitherK<E, A, B>(
  f: (a: A) => E.Either<E, B>
): <S>(ma: StateFuture<S, E, A>) => StateFuture<S, E, B> { ... }

<R, E, A, B>(f: (a: A) => StateFuture<R, E, B>) => (ma: StateFuture<R, E, A>) => StateFuture<R, E, A>

export function chainFutureK<E, A, B>(
  f: (a: A) => F.Future<E, B>
): <S>(ma: StateFuture<S, E, A>) => StateFuture<S, E, B> { ... }

export const evalState: <S, E, A>(ma: StateFuture<S, E, A>, s: S) => F.Future<E, A> = ...

export const execState: <S, E, A>(ma: StateFuture<S, E, A>, s: S) => F.Future<E, S> = ...

{ <E, A, B>(refinement: Refinement<A, B>, onFalse: (a: A) => E): <R>(ma: StateFuture<R, E, A>) => StateFuture<R, E, B>; <E, A>(predicate: Predicate<A>, onFalse: (a: A) => E): <R>(ma: StateFuture<R, E, A>) => StateFuture<R, E, A>; }

<R, E, A>(mma: StateFuture<R, E, StateFuture<R, E, A>>) => StateFuture<R, E, A>

<R, E, A>(ma: E.Either<E, A>) => StateFuture<R, E, A>

export function fromEitherK<E, A extends Array<unknown>, B>(
  f: (...a: A) => E.Either<E, B>
): <S>(...a: A) => StateFuture<S, E, B> { ... }

export const fromFuture: <S, E, A>(ma: F.Future<E, A>) => StateFuture<S, E, A> = ...

export function fromFutureK<E, A extends Array<unknown>, B>(
  f: (...a: A) => F.Future<E, B>
): <S>(...a: A) => StateFuture<S, E, B> { ... }

<E>(onNone: () => E) => <R, A>(ma: Option<A>) => StateFuture<R, E, A>

{ <E, A, B>(refinement: Refinement<A, B>, onFalse: (a: A) => E): <U>(a: A) => StateFuture<U, E, B>; <E, A>(predicate: Predicate<A>, onFalse: (a: A) => E): <R>(a: A) => StateFuture<R, E, A>; }

export const get: <S, E = never>() => StateFuture<S, E, S> = ...

export const gets: <S, E = never, A = never>(f: (s: S) => A) => StateFuture<S, E, A> = ...

export function left<S, E, A = never>(e: E): StateFuture<S, E, A> { ... }

export function leftIO<S, E, A = never>(me: IO<E>): StateFuture<S, E, A> { ... }

export function leftState<S, E, A = never>(me: State<S, E>): StateFuture<S, E, A> { ... }

export function leftTask<S, E, A = never>(me: Task<E>): StateFuture<S, E, A> { ... }

<A, B>(f: (a: A) => B) => <R, E>(fa: StateFuture<R, E, A>) => StateFuture<R, E, B>

<E, G>(f: (e: E) => G) => <R, A>(fa: StateFuture<R, E, A>) => StateFuture<R, G, A>

export const modify: <S, E = never>(f: (s: S) => S) => StateFuture<S, E, void> = ...

export function orElse<S, E, M, A>(
  f: (e: E) => StateFuture<S, M, A>
): (ma: StateFuture<S, E, A>) => StateFuture<S, M, A> { ... }

export const put: <S, E = never>(s: S) => StateFuture<S, E, void> = ...

export const right: <S, E = never, A = never>(a: A) => StateFuture<S, E, A> = ...

export function rightIO<S, E = never, A = never>(ma: IO<A>): StateFuture<S, E, A> { ... }

export const rightState: <S, E = never, A = never>(ma: State<S, A>) => StateFuture<S, E, A> = ...

export function rightTask<S, E = never, A = never>(ma: Task<A>): StateFuture<S, E, A> { ... }

export const stateFuture: Monad3<URI> &
  MonadThrow3<URI> &
  Bifunctor3<URI> &
  Alt3<URI> &
  MonadThrow3<URI> &
  MonadTask3<URI> = ...