import type * as P from "@principia/prelude";
import type * as HKT from "@principia/prelude/HKT";
import type { Literal } from "../_utils";
import type { Refinement } from "../Function";
import type { KleisliDecoder } from "./model";
export declare const fromRefinement: <E, M extends HKT.URIS, C>(
   M: P.MonadFail<M, C & HKT.Fix<"E", E>>
) => <I, A extends I>(refinement: P.Refinement<I, A>, onError: (i: I) => E) => KleisliDecoder<M, C, I, E, A>;
export declare const literal: <E, M extends HKT.URIS, C>(
   M: P.MonadFail<M, C & HKT.Fix<"E", E>>
) => <I>(
   onError: (i: I, values: readonly [Literal, ...Literal[]]) => E
) => <A extends readonly [Literal, ...Literal[]]>(...values: A) => KleisliDecoder<M, C, I, E, A[number]>;
//# sourceMappingURL=constructors.d.ts.map