export declare const alt: <A>(that: () => Observable<A>) => (fa: Observable<A>) => Observable<A>

export declare const zero: <A>() => Observable<A>

export declare const of: <A>(a: A) => Observable<A>

export declare const ap: <A>(fa: Observable<A>) => <B>(fab: Observable<(a: A) => B>) => Observable<B>

export declare const compact: <A>(fa: Observable<O.Option<A>>) => Observable<A>

export declare const separate: <A, B>(fa: Observable<E.Either<A, B>>) => Separated<Observable<A>, Observable<B>>

export declare const filter: {
  <A, B extends A>(refinement: Refinement<A, B>): (fa: Observable<A>) => Observable<B>
  <A>(predicate: Predicate<A>): (fa: Observable<A>) => Observable<A>
}

export declare const filterMap: <A, B>(f: (a: A) => O.Option<B>) => (fa: Observable<A>) => Observable<B>

export declare const partition: {
  <A, B extends A>(refinement: Refinement<A, B>): (fa: Observable<A>) => Separated<Observable<A>, Observable<B>>
  <A>(predicate: Predicate<A>): (fa: Observable<A>) => Separated<Observable<A>, Observable<A>>
}

export declare const partitionMap: <A, B, C>(
  f: (a: A) => E.Either<B, C>
) => (fa: Observable<A>) => Separated<Observable<B>, Observable<C>>

export declare const map: <A, B>(f: (a: A) => B) => (fa: Observable<A>) => Observable<B>

export declare const chain: <A, B>(f: (a: A) => Observable<B>) => (ma: Observable<A>) => Observable<B>

export declare const apFirst: <B>(fb: Observable<B>) => <A>(fa: Observable<A>) => Observable<A>

export declare const apSecond: <B>(fb: Observable<B>) => <A>(fa: Observable<A>) => Observable<B>

export declare const chainFirst: <A, B>(f: (a: A) => Observable<B>) => (ma: Observable<A>) => Observable<A>

export declare const flatten: <A>(mma: Observable<Observable<A>>) => Observable<A>

export declare const fromIO: <A>(fa: IO<A>) => Observable<A>

export declare const fromOption: <A>(o: O.Option<A>) => Observable<A>

export declare const fromTask: <A>(fa: Task<A>) => Observable<A>

export declare const Alt: Alt1<'Observable'>

export declare const Alternative: Alternative1<'Observable'>

export declare const Applicative: Applicative1<'Observable'>

export declare const Apply: Apply1<'Observable'>

export declare const Compactable: Compactable1<'Observable'>

export declare const Filterable: Filterable1<'Observable'>

export declare const Functor: Functor1<'Observable'>

export declare const Monad: Monad1<'Observable'>

export declare const MonadIO: MonadIO1<'Observable'>

export declare const MonadObservable: MonadObservable1<'Observable'>

export declare const MonadTask: MonadTask1<'Observable'>

export declare const URI: 'Observable'

export type URI = typeof URI

export declare const getMonoid: <A = never>() => Monoid<Observable<A>>

export declare const observable: Monad1<'Observable'> &
  Alternative1<'Observable'> &
  Filterable1<'Observable'> &
  MonadObservable1<'Observable'>

export declare const Do: Observable<{}>

export declare const bind: <K extends string, A, B>(
  name: Exclude<K, keyof A>,
  f: (a: A) => Observable<B>
) => (fa: Observable<A>) => Observable<{ [P in K | keyof A]: P extends keyof A ? A[P] : B }>

export declare const bindTo: <K extends string, A>(name: K) => (fa: Observable<A>) => Observable<{ [P in K]: A }>

export declare const toTask: <A>(o: Observable<A>) => Task<A>

export declare const toTaskOption: <A>(o: Observable<A>) => Task<O.Option<A>>