import type * as P from "@principia/prelude";
import type { Either, URI, V } from "./model";
/**
 * ```haskell
 * swap :: Bifunctor p => p a b -> p b a
 * ```
 *
 * Swaps the positions of a Bifunctor's arguments
 *
 * @category AltBifunctor
 * @since 1.0.0
 */
export declare const swap: <E, A>(pab: Either<E, A>) => Either<A, E>;
/**
 * ```haskell
 * bimap_ :: Bifunctor p => (p a b, (a -> c), (b -> d)) -> p c d
 * ```
 *
 * Map a pair of functions over the two type arguments of the bifunctor.
 *
 * @category Bifunctor
 * @since 1.0.0
 */
export declare const bimap_: <E, A, G, B>(pab: Either<E, A>, f: (e: E) => G, g: (a: A) => B) => Either<G, B>;
/**
 * ```haskell
 * bimap :: Bifunctor p => ((a -> c), (b -> d)) -> p a b -> p c d
 * ```
 *
 * Map a pair of functions over the two type arguments of the bifunctor.
 *
 * @category Bifunctor
 * @since 1.0.0
 */
export declare const bimap: <E, A, G, B>(f: (e: E) => G, g: (a: A) => B) => (pab: Either<E, A>) => Either<G, B>;
/**
 * ```haskell
 * first_ :: Bifunctor p => (p a c, (a -> b)) -> p b c
 * ```
 *
 * Map a function over the first type argument of a bifunctor.
 *
 * @category Bifunctor
 * @since 1.0.0
 */
export declare const first_: <E, A, G>(pab: Either<E, A>, f: (e: E) => G) => Either<G, A>;
/**
 * ```haskell
 * first :: Bifunctor p => (a -> c) -> p a b -> p c b
 * ```
 *
 * Map a function over the first type argument of a bifunctor.
 *
 * @category Bifunctor
 * @since 1.0.0
 */
export declare const first: <E, G>(f: (e: E) => G) => <A>(pab: Either<E, A>) => Either<G, A>;
/**
 * ```haskell
 * mapLeft_ :: Bifunctor p => (p a c, (a -> b)) -> p b c
 * ```
 *
 * Map a function over the first type argument of a bifunctor.
 *
 * @category Bifunctor
 * @since 1.0.0
 */
export declare const mapLeft_: <E, A, G>(pab: Either<E, A>, f: (e: E) => G) => Either<G, A>;
/**
 * ```haskell
 * mapLeft :: Bifunctor p => (a -> c) -> p a b -> p c b
 * ```
 *
 * Map a function over the first type argument of a bifunctor.
 *
 * @category Bifunctor
 * @since 1.0.0
 */
export declare const mapLeft: <E, G>(f: (e: E) => G) => <A>(pab: Either<E, A>) => Either<G, A>;
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const Bifunctor: P.Bifunctor<[URI], V>;
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const Bifunctor2: P.Bifunctor2<URI, V>;
//# sourceMappingURL=bifunctor.d.ts.map