export declare const of: <E, A>(a: A) => ObservableThese<E, A>

export declare const bimap: <E, G, A, B>(
  f: (e: E) => G,
  g: (a: A) => B
) => (fa: ObservableThese<E, A>) => ObservableThese<G, B>

export declare const mapLeft: <E, G>(f: (e: E) => G) => <A>(fa: ObservableThese<E, A>) => ObservableThese<G, A>

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

export declare const swap: <E, A>(ma: ObservableThese<E, A>) => ObservableThese<A, E>

export declare const both: <E = never, A = never>(e: E, a: A) => ObservableThese<E, A>

export declare const fromIO: <E, A>(fa: IO<A>) => ObservableThese<E, A>

export declare const fromIOEither: <E, A>(fa: IOEither<E, A>) => ObservableThese<E, A>

export declare const fromTask: <E, A>(fa: Task<A>) => ObservableThese<E, A>

export declare const fromTaskThese: <E, A>(t: TT.TaskThese<E, A>) => ObservableThese<E, A>

export declare const left: <E = never, A = never>(e: E) => ObservableThese<E, A>

export declare const leftIO: <E = never, A = never>(me: IO<E>) => ObservableThese<E, A>

export declare const leftObservable: <E = never, A = never>(ma: Observable<E>) => ObservableThese<E, A>

export declare const right: <E = never, A = never>(a: A) => ObservableThese<E, A>

export declare const rightIO: <E = never, A = never>(ma: IO<A>) => ObservableThese<E, A>

export declare const rightObservable: <E = never, A = never>(ma: Observable<A>) => ObservableThese<E, A>

export declare const fold: <E, A, B>(
  onLeft: (e: E) => Observable<B>,
  onRight: (a: A) => Observable<B>,
  onBoth: (e: E, a: A) => Observable<B>
) => (ma: ObservableThese<E, A>) => Observable<B>

export declare const Bifunctor: Bifunctor2<'ObservableThese'>

export declare const getApplicative: <E>(A: Apply1<R.URI>, S: Semigroup<E>) => Applicative2C<'ObservableThese', E>

export declare const getMonad: <E>(S: Semigroup<E>) => Monad2C<'ObservableThese', E>

export interface ObservableThese<E, A> extends Observable<TH.These<E, A>> {}

export declare const Functor: Functor2<'ObservableThese'>

export declare const URI: 'ObservableThese'

export type URI = typeof URI

export declare const toTaskThese: <E, A>(o: ObservableThese<E, A>) => TT.TaskThese<E, A>