import type * as HKT from "@principia/prelude/HKT";
export interface Encoder<O, A> {
   readonly encode: (a: A) => O;
}
export declare type OutputOf<E> = E extends Encoder<infer O, any> ? O : never;
export declare type TypeOf<E> = E extends Encoder<any, infer A> ? A : never;
export declare const URI = "Encoder";
export declare type URI = typeof URI;
export declare type V = HKT.V<"E", "+">;
declare module "@principia/prelude/HKT" {
   interface URItoKind<FC, TC, N, K, Q, W, X, I, S, R, E, A> {
      readonly [URI]: Encoder<E, A>;
   }
   interface URItoKind2<TC, E, A> {
      readonly [URI]: Encoder<E, A>;
   }
}
//# sourceMappingURL=model.d.ts.map