/**
 * @since 0.0.1
 */
import type { Alt2 } from 'fp-ts/Alt'
import type { Alternative2 } from 'fp-ts/Alternative'
import type { Applicative2 } from 'fp-ts/Applicative'
import type { Apply2 } from 'fp-ts/Apply'
import type { Functor2 } from 'fp-ts/Functor'
import type { Monad2 } from 'fp-ts/Monad'
import type { Option } from 'fp-ts/Option'
import type { State } from 'fp-ts/State'
import { Lazy } from 'fp-ts/function'
/**
 * @category model
 * @since 0.0.1
 */
export interface StateOption<S, A> {
  (s: S): Option<[A, S]>
}
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const none: <S, A = never>() => StateOption<S, A>
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const some: <S, A>(a: A) => StateOption<S, A>
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const get: <S>() => StateOption<S, S>
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const put: <S>(s: S) => StateOption<S, void>
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const modify: <S>(f: (s: S) => S) => StateOption<S, void>
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const gets: <S, A>(f: (s: S) => A) => StateOption<S, A>
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const fromOption: <S, A>(ma: Option<A>) => StateOption<S, A>
/**
 * @category constructors
 * @since 0.0.1
 */
export declare const fromState: <S, A>(fa: State<S, A>) => StateOption<S, A>
/**
 * @category combinators
 * @since 0.0.1
 */
export declare const fromOptionK: <A extends ReadonlyArray<unknown>, B>(
  f: (...a: A) => Option<B>
) => <S>(...a: A) => StateOption<S, B>
/**
 * @category combinators
 * @since 0.0.1
 */
export declare const chainOptionK: <A, B>(
  f: (a: A) => Option<B>
) => <S>(ma: StateOption<S, A>) => StateOption<S, B>
/**
 * @category Functor
 * @since 0.0.1
 */
export declare const map: <A, B>(f: (a: A) => B) => <S>(fa: StateOption<S, A>) => StateOption<S, B>
/**
 * @category Apply
 * @since 0.0.1
 */
export declare const ap: <S, A>(
  fa: StateOption<S, A>
) => <B>(fab: StateOption<S, (a: A) => B>) => StateOption<S, B>
/**
 * @category Apply
 * @since 0.0.1
 */
export declare const apFirst: <S, B>(
  fb: StateOption<S, B>
) => <A>(fa: StateOption<S, A>) => StateOption<S, A>
/**
 * @category Apply
 * @since 0.0.1
 */
export declare const apSecond: <S, B>(
  fb: StateOption<S, B>
) => <A>(fa: StateOption<S, A>) => StateOption<S, B>
/**
 * @category Monad
 * @since 0.0.1
 */
export declare const chain: <S, A, B>(
  f: (a: A) => StateOption<S, B>
) => (ma: StateOption<S, A>) => StateOption<S, B>
/**
 * @category Applicative
 * @since 0.0.1
 */
export declare const of: Applicative2<URI>['of']
/**
 * @category Monad
 * @since 0.0.1
 */
export declare const chainFirst: <R, A, B>(
  f: (a: A) => StateOption<R, B>
) => (ma: StateOption<R, A>) => StateOption<R, A>
/**
 * @category Monad
 * @since 0.0.1
 */
export declare const flatten: <R, A>(mma: StateOption<R, StateOption<R, A>>) => StateOption<R, A>
/**
 * @category Alternative
 * @since 0.0.1
 */
export declare const alt: <R, A>(
  that: Lazy<StateOption<R, A>>
) => (fa: StateOption<R, A>) => StateOption<R, A>
/**
 * @category Alternative
 * @since 0.0.1
 */
export declare const zero: Alternative2<URI>['zero']
/**
 * @category instances
 * @since 0.0.1
 */
export declare const URI = 'StateOption'
/**
 * @category instances
 * @since 0.0.1
 */
export declare type URI = typeof URI
declare module 'fp-ts/HKT' {
  interface URItoKind2<E, A> {
    readonly [URI]: StateOption<E, A>
  }
}
/**
 * @category instances
 * @since 0.0.1
 */
export declare const Functor: Functor2<URI>
/**
 * @category instances
 * @since 0.0.1
 */
export declare const Apply: Apply2<URI>
/**
 * @category instances
 * @since 0.0.1
 */
export declare const Applicative: Applicative2<URI>
/**
 * @category instances
 * @since 0.0.1
 */
export declare const Monad: Monad2<URI>
/**
 * @category instances
 * @since 0.0.1
 */
export declare const Alt: Alt2<URI>
/**
 * @category instances
 * @since 0.0.1
 */
export declare const Alternative: Alternative2<URI>
/**
 * @category utils
 * @since 0.0.1
 */
export declare const evaluate: <S>(s: S) => <A>(ma: StateOption<S, A>) => Option<A>
/**
 * @category utils
 * @since 0.0.1
 */
export declare const execute: <S>(s: S) => <A>(ma: StateOption<S, A>) => Option<S>
/**
 * @category do notation
 * @since 0.0.1
 */
export declare const bindTo: <N extends string>(
  name: N
) => <R, A>(fa: StateOption<R, A>) => StateOption<R, { [K in N]: A }>
/**
 * @category do notation
 * @since 0.0.1
 */
export declare const bind: <N extends string, R, A, B>(
  name: Exclude<N, keyof A>,
  f: (a: A) => StateOption<R, B>
) => (fa: StateOption<R, A>) => StateOption<R, { [K in N | keyof A]: K extends keyof A ? A[K] : B }>