macoolka-io
Version:
`macoolka-io` is Runtime type system for IO decoding/encoding.
686 lines • 146 kB
TypeScript
/**
* I18n io
* @desczh
* 国际化IO
* @file
*/
import * as t from './io';
import * as O from 'fp-ts/Option';
import { MonadI18N, Message } from 'macoolka-i18n';
export * from './io';
export declare type ErrorMessage<MK extends string> = Array<Message<MK>> | Message<MK>;
export declare const init: <MK extends "macoolka.io.number" | "macoolka.io.number.maxValue" | "macoolka.io.number.minValue" | "macoolka.io.integer" | "macoolka.io.boolean" | "macoolka.io.string" | "macoolka.io.string.maxLength" | "macoolka.io.string.minLength" | "macoolka.io.string.match" | "macoolka.io.email" | "macoolka.io.ipv4" | "macoolka.io.ipv6" | "macoolka.io.url" | "macoolka.io.uuid" | "macoolka.io.array" | "macoolka.io.nonEmptyArray" | "macoolka.io.nonEmptyString" | "macoolka.io.kind" | "macoolka.io.union" | "macoolka.io.intersection" | "macoolka.io.type" | "macoolka.io.partial" | "macoolka.io.void" | "macoolka.io.record" | "macoolka.io.enum" | "macoolka.io.dateFromISOString" | "macoolka.io.dateFromNumber" | "macoolka.io.dateFromUnixTime" | "macoolka.io.invalid" | "macoolka.io.literal">(M?: MonadI18N) => {
literal: <V extends string | number | boolean>(value: V, name?: string) => MessageType<V, V, unknown>;
numberMinValue: (value: number) => MessageType<number, number, unknown>;
numberMaxValue: (value: number) => MessageType<number, number, unknown>;
stringMinLength: (value: number) => MessageType<string, string, unknown>;
stringMaxLength: (value: number) => MessageType<string, string, unknown>;
stringMatch: (value: RegExp) => MessageType<string, string, unknown>;
void: MessageType<void, void, unknown>;
array: <C extends t.Mixed>(codec: C, name?: string) => MessageType<t.TypeOf<C>[], t.OutputOf<C>[], unknown>;
string: MessageType<string, string, unknown>;
number: MessageType<number, number, unknown>;
int: MessageType<t.Branded<number, t.IntBrand>, number, unknown>;
boolean: MessageType<boolean, boolean, unknown>;
nonEmptyArray: <C_1 extends t.Mixed>(codec: C_1, name?: string) => MessageType<import("fp-ts/lib/NonEmptyArray").NonEmptyArray<t.TypeOf<C_1>>, t.OutputOf<C_1>[], unknown>;
nonEmptyString: MessageType<t.NonEmptyString, string, unknown>;
uuid: MessageType<t.Branded<string, t.UUIDBrand>, string, unknown>;
email: MessageType<t.Branded<string, t.EmailBrand>, string, unknown>;
ipv4: MessageType<t.Branded<string, t.IpV4Brand>, string, unknown>;
ipv6: MessageType<t.Branded<string, t.IpV6Brand>, string, unknown>;
url: MessageType<t.Branded<string, t.UrlBrand>, string, unknown>;
dateFromISOString: MessageType<Date, string, unknown>;
dateFromNumber: MessageType<Date, number, unknown>;
dateFromUnixTime: MessageType<Date, number, unknown>;
show: (as: t.Errors) => string;
failMessage: <T>(messages: ErrorMessage<any>, context: t.Context, message?: string | undefined) => import("fp-ts/lib/Either").Either<t.Errors, T>;
formatValue(v: any): string;
withDefault: <T_1 extends t.Mixed>(type: T_1, defaultValue: t.OutputOf<T_1>) => t.Type<t.TypeOf<T_1>, t.OutputOf<T_1>, unknown>;
getFunctionName(f: Function): string;
getContextEntry(key: string, decoder: t.Decoder<any, any>): t.ContextEntry;
appendContext(c: t.Context, key: string, decoder: t.Decoder<any, any>, actual?: unknown): t.Context;
keyof<D extends {
[key: string]: unknown;
}>(keys: D, name?: string | undefined): t.KeyofC<D>;
brand<C_2 extends t.Any, N extends string, B extends { readonly [K in N]: symbol; }>(codec: C_2, predicate: import("fp-ts/lib/function").Refinement<t.TypeOf<C_2>, t.Branded<t.TypeOf<C_2>, B>>, name: N): t.BrandC<C_2, B>;
recursion<A, O = A, I = unknown, C_3 extends t.Type<A, O, I> = t.Type<A, O, I>>(name: string, definition: (self: C_3) => C_3): t.RecursiveType<C_3, A, O, I>;
type<P extends t.Props>(props: P, name?: string | undefined): t.TypeC<P>;
partial<P_1 extends t.Props>(props: P_1, name?: string | undefined): t.PartialC<P_1>;
record<D_1 extends t.Mixed, C_4 extends t.Mixed>(domain: D_1, codomain: C_4, name?: string | undefined): t.RecordC<D_1, C_4>;
union<CS extends [t.Mixed, t.Mixed, ...t.Mixed[]]>(codecs: CS, name?: string | undefined): t.UnionC<CS>;
intersection<A_1 extends t.Mixed, B_1 extends t.Mixed, C_5 extends t.Mixed, D_2 extends t.Mixed, E extends t.Mixed>(codecs: [A_1, B_1, C_5, D_2, E], name?: string | undefined): t.IntersectionC<[A_1, B_1, C_5, D_2, E]>;
intersection<A_2 extends t.Mixed, B_2 extends t.Mixed, C_6 extends t.Mixed, D_3 extends t.Mixed>(codecs: [A_2, B_2, C_6, D_3], name?: string | undefined): t.IntersectionC<[A_2, B_2, C_6, D_3]>;
intersection<A_3 extends t.Mixed, B_3 extends t.Mixed, C_7 extends t.Mixed>(codecs: [A_3, B_3, C_7], name?: string | undefined): t.IntersectionC<[A_3, B_3, C_7]>;
intersection<A_4 extends t.Mixed, B_4 extends t.Mixed>(codecs: [A_4, B_4], name?: string | undefined): t.IntersectionC<[A_4, B_4]>;
tuple<A_5 extends t.Mixed, B_5 extends t.Mixed, C_8 extends t.Mixed, D_4 extends t.Mixed, E_1 extends t.Mixed>(codecs: [A_5, B_5, C_8, D_4, E_1], name?: string | undefined): t.TupleC<[A_5, B_5, C_8, D_4, E_1]>;
tuple<A_6 extends t.Mixed, B_6 extends t.Mixed, C_9 extends t.Mixed, D_5 extends t.Mixed>(codecs: [A_6, B_6, C_9, D_5], name?: string | undefined): t.TupleC<[A_6, B_6, C_9, D_5]>;
tuple<A_7 extends t.Mixed, B_7 extends t.Mixed, C_10 extends t.Mixed>(codecs: [A_7, B_7, C_10], name?: string | undefined): t.TupleC<[A_7, B_7, C_10]>;
tuple<A_8 extends t.Mixed, B_8 extends t.Mixed>(codecs: [A_8, B_8], name?: string | undefined): t.TupleC<[A_8, B_8]>;
tuple<A_9 extends t.Mixed>(codecs: [A_9], name?: string | undefined): t.TupleC<[A_9]>;
readonly<C_11 extends t.Mixed>(codec: C_11, name?: string | undefined): t.ReadonlyC<C_11>;
readonlyArray<C_12 extends t.Mixed>(item: C_12, name?: string | undefined): t.ReadonlyArrayC<C_12>;
exact<C_13 extends t.HasProps>(codec: C_13, name?: string | undefined): t.ExactC<C_13>;
refinement<C_14 extends t.Any>(codec: C_14, predicate: import("macoolka-predicate").Predicate<t.TypeOf<C_14>>, name?: string | undefined): t.RefinementC<C_14>;
clean<A_10, O_1 = A_10, I_1 = unknown>(codec: t.Type<A_10, O_1, I_1>): t.Type<A_10, O_1, I_1>;
alias<A_11, O_2, P_2, I_2>(codec: t.PartialType<P_2, A_11, O_2, I_2>): <AA extends t.Exact<A_11, AA>, OO extends t.Exact<O_2, OO> = O_2, PP extends t.Exact<P_2, PP> = P_2, II extends I_2 = I_2>() => t.PartialType<PP, AA, OO, II>;
alias<A_12, O_3, P_3, I_3>(codec: t.StrictType<P_3, A_12, O_3, I_3>): <AA_1 extends t.Exact<A_12, AA_1>, OO_1 extends t.Exact<O_3, OO_1> = O_3, PP_1 extends t.Exact<P_3, PP_1> = P_3, II_1 extends I_3 = I_3>() => t.StrictType<PP_1, AA_1, OO_1, II_1>;
alias<A_13, O_4, P_4, I_4>(codec: t.InterfaceType<P_4, A_13, O_4, I_4>): <AA_2 extends t.Exact<A_13, AA_2>, OO_2 extends t.Exact<O_4, OO_2> = O_4, PP_2 extends t.Exact<P_4, PP_2> = P_4, II_2 extends I_4 = I_4>() => t.InterfaceType<PP_2, AA_2, OO_2, II_2>;
failures: <T_2>(errors: t.Errors) => t.Validation<T_2>;
failure: <T_3>(value: unknown, context: t.Context, message?: string | undefined) => import("fp-ts/lib/Either").Either<t.Errors, T_3>;
success: <T_4>(value: T_4) => t.Validation<T_4>;
Type: typeof t.Type;
identity: <A_14>(a: A_14) => A_14;
NullType: typeof t.NullType;
nullType: t.NullC;
UndefinedType: typeof t.UndefinedType;
VoidType: typeof t.VoidType;
voidType: t.VoidC;
UnknownType: typeof t.UnknownType;
unknown: t.UnknownC;
StringType: typeof t.StringType;
NumberType: typeof t.NumberType;
BigIntType: typeof t.BigIntType;
bigint: t.BigIntC;
BooleanType: typeof t.BooleanType;
AnyArrayType: typeof t.AnyArrayType;
UnknownArray: t.UnknownArrayC;
AnyDictionaryType: typeof t.AnyDictionaryType;
UnknownRecord: t.UnknownRecordC;
null: t.NullC;
undefined: t.UndefinedC;
LiteralType: typeof t.LiteralType;
KeyofType: typeof t.KeyofType;
RefinementType: typeof t.RefinementType;
Int: t.BrandC<t.NumberC, t.IntBrand>;
RecursiveType: typeof t.RecursiveType;
ArrayType: typeof t.ArrayType;
InterfaceType: typeof t.InterfaceType;
PartialType: typeof t.PartialType;
DictionaryType: typeof t.DictionaryType;
UnionType: typeof t.UnionType;
IntersectionType: typeof t.IntersectionType;
TupleType: typeof t.TupleType;
ReadonlyType: typeof t.ReadonlyType;
ReadonlyArrayType: typeof t.ReadonlyArrayType;
strict: <P_5 extends t.Props>(props: P_5, name?: string | undefined) => t.ExactC<t.TypeC<P_5>>;
ExactType: typeof t.ExactType;
FunctionType: typeof t.FunctionType;
Function: t.FunctionC;
TaggedUnionType: typeof t.TaggedUnionType;
taggedUnion: <Tag extends string, CS_1 extends [t.Mixed, t.Mixed, ...t.Mixed[]]>(tag: Tag, codecs: CS_1, name?: string | undefined) => t.TaggedUnionC<Tag, CS_1>;
Array: t.UnknownArrayC;
interface: typeof t.type;
getValidationError: (value: unknown, context: t.Context) => t.ValidationError;
getDefaultContext: (decoder: t.Decoder<any, any>) => t.Context;
NeverType: typeof t.NeverType;
never: t.NeverC;
AnyType: typeof t.AnyType;
any: t.AnyC;
Dictionary: t.UnknownRecordC;
ObjectType: typeof t.ObjectType;
object: t.ObjectC;
Integer: t.RefinementC<t.NumberC>;
dictionary: typeof t.record;
StrictType: typeof t.StrictType;
defaultOption: {
defaultLocale: string;
data: {
en: {
"macoolka.io.number": string;
"macoolka.io.number.maxValue": string;
"macoolka.io.number.minValue": string;
"macoolka.io.integer": string;
"macoolka.io.boolean": string;
"macoolka.io.string": string;
"macoolka.io.string.maxLength": string;
"macoolka.io.string.minLength": string;
"macoolka.io.string.match": string;
"macoolka.io.email": string;
"macoolka.io.ipv4": string;
"macoolka.io.ipv6": string;
"macoolka.io.url": string;
"macoolka.io.uuid": string;
"macoolka.io.array": string;
"macoolka.io.nonEmptyArray": string;
"macoolka.io.nonEmptyString": string;
"macoolka.io.kind": string;
"macoolka.io.union": string;
"macoolka.io.intersection": string;
"macoolka.io.type": string;
"macoolka.io.partial": string;
"macoolka.io.void": string;
"macoolka.io.record": string;
"macoolka.io.enum": string;
"macoolka.io.dateFromISOString": string;
"macoolka.io.dateFromNumber": string;
"macoolka.io.dateFromUnixTime": string;
"macoolka.io.invalid": string;
"macoolka.io.literal": string;
};
zh: {
"macoolka.io.number": string;
"macoolka.io.number.maxValue": string;
"macoolka.io.number.minValue": string;
"macoolka.io.integer": string;
"macoolka.io.boolean": string;
"macoolka.io.string": string;
"macoolka.io.string.maxLength": string;
"macoolka.io.string.minLength": string;
"macoolka.io.string.match": string;
"macoolka.io.email": string;
"macoolka.io.ipv4": string;
"macoolka.io.ipv6": string;
"macoolka.io.url": string;
"macoolka.io.uuid": string;
"macoolka.io.array": string;
"macoolka.io.nonEmptyArray": string;
"macoolka.io.nonEmptyString": string;
"macoolka.io.kind": string;
"macoolka.io.union": string;
"macoolka.io.intersection": string;
"macoolka.io.type": string;
"macoolka.io.partial": string;
"macoolka.io.void": string;
"macoolka.io.record": string;
"macoolka.io.enum": string;
"macoolka.io.dateFromISOString": string;
"macoolka.io.dateFromNumber": string;
"macoolka.io.dateFromUnixTime": string;
"macoolka.io.invalid": string;
"macoolka.io.literal": string;
};
};
};
build: (defaultLocale: string) => {
fromOptionToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_15>(option: O.Option<A_15>) => import("macoolka-app").Node<A_15>>;
fromNullableToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_1>(a: A_1) => import("macoolka-app").Node<A_1>>;
fromPredicateToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_2>(predicate: import("macoolka-predicate").Predicate<A_2>) => import("fp-ts/lib/Reader").Reader<A_2, import("macoolka-app").Node<A_2>>>;
fromReaderToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_3, B_9>(reader: import("fp-ts/lib/Reader").Reader<A_3, B_9>) => import("fp-ts/lib/Reader").Reader<A_3, import("macoolka-app").Node<B_9>>>;
fromReaderOptionToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_4, B_1>(reader: import("fp-ts/lib/Reader").Reader<A_4, O.Option<B_1>>) => import("fp-ts/lib/Reader").Reader<A_4, import("macoolka-app").Node<B_1>>>;
fromIOToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_5>(io: import("fp-ts/lib/IO").IO<A_5>) => import("fp-ts/lib/IO").IO<import("macoolka-app").Node<A_5>>>;
fromIOToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_6>(io: import("fp-ts/lib/IO").IO<A_6>) => import("macoolka-app").TaskNode<A_6>>;
fromReaderTaskToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_7, B_2>(reader: import("fp-ts/lib/Reader").Reader<A_7, import("fp-ts/lib/Task").Task<B_2>>) => import("fp-ts/lib/Reader").Reader<A_7, import("macoolka-app").TaskNode<B_2>>>;
fromReaderToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_8, B_3>(reader: import("fp-ts/lib/Reader").Reader<A_8, B_3>) => import("fp-ts/lib/Reader").Reader<A_8, import("macoolka-app").TaskNode<B_3>>>;
fromTaskToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_9>(task: import("fp-ts/lib/Task").Task<A_9>) => import("macoolka-app").TaskNode<A_9>>;
throwException: <E_2, A_10>(a: import("fp-ts/lib/Either").Either<E_2, A_10>) => A_10;
warnException: <E_1, A_11>({ node, defaultValue }: {
node: import("fp-ts/lib/Either").Either<E_1, A_11>;
defaultValue: A_11;
}) => A_11;
templateProp: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_12, B_4, N_1 extends string, PN extends keyof A_12, CK extends string>(a: {
name: N_1 extends keyof A_12 ? never : N_1;
propName: PN;
reader: import("fp-ts/lib/Reader").Reader<A_12, B_4>;
config: Record<CK, A_12[PN]>;
}) => import("fp-ts/lib/Reader").Reader<A_12 | (Omit<A_12, Extract<keyof A_12, PN>> & Partial<Pick<A_12, Extract<keyof A_12, PN>>> & { [Key in N_1]: CK; }), import("macoolka-app").Node<B_4>>>;
templatePropObject: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_13, B_5, N_1 extends string, PN_1 extends keyof A_13, CK_1 extends string>(a: {
name: N_1 extends keyof A_13 ? never : N_1;
propName: PN_1[];
reader: import("fp-ts/lib/Reader").Reader<A_13, B_5>;
config: Record<CK_1, Pick<A_13, PN_1>>;
}) => import("fp-ts/lib/Reader").Reader<A_13 | (Omit<A_13, Extract<keyof A_13, PN_1>> & Partial<Pick<A_13, Extract<keyof A_13, PN_1>>> & { [Key_1 in N_1]: CK_1; }), import("macoolka-app").Node<B_5>>>;
extend: <MKA extends string>(optionA: {
i18nOption: import("macoolka-i18n").I18NOption;
} & import("macoolka-app").MonadModule & Partial<import("macoolka-log-core").Log>) => {
fromOptionToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_16>(option: O.Option<A_16>) => import("macoolka-app").Node<A_16>>;
fromNullableToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_1_1>(a: A_1_1) => import("macoolka-app").Node<A_1_1>>;
fromPredicateToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_2_1>(predicate: import("macoolka-predicate").Predicate<A_2_1>) => import("fp-ts/lib/Reader").Reader<A_2_1, import("macoolka-app").Node<A_2_1>>>;
fromReaderToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_3_1, B_10>(reader: import("fp-ts/lib/Reader").Reader<A_3_1, B_10>) => import("fp-ts/lib/Reader").Reader<A_3_1, import("macoolka-app").Node<B_10>>>;
fromReaderOptionToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
/**
* @since 0.2.0
*/
title: string;
}>, <A_4_1, B_1_1>(reader: import("fp-ts/lib/Reader").Reader<A_4_1, O.Option<B_1_1>>) => import("fp-ts/lib/Reader").Reader<A_4_1, import("macoolka-app").Node<B_1_1>>>;
fromIOToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_5_1>(io: import("fp-ts/lib/IO").IO<A_5_1>) => import("fp-ts/lib/IO").IO<import("macoolka-app").Node<A_5_1>>>;
fromIOToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_6_1>(io: import("fp-ts/lib/IO").IO<A_6_1>) => import("macoolka-app").TaskNode<A_6_1>>;
fromReaderTaskToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_7_1, B_2_1>(reader: import("fp-ts/lib/Reader").Reader<A_7_1, import("fp-ts/lib/Task").Task<B_2_1>>) => import("fp-ts/lib/Reader").Reader<A_7_1, import("macoolka-app").TaskNode<B_2_1>>>;
fromReaderToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_8_1, B_3_1>(reader: import("fp-ts/lib/Reader").Reader<A_8_1, B_3_1>) => import("fp-ts/lib/Reader").Reader<A_8_1, import("macoolka-app").TaskNode<B_3_1>>>;
fromTaskToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_9_1>(task: import("fp-ts/lib/Task").Task<A_9_1>) => import("macoolka-app").TaskNode<A_9_1>>;
throwException: <E_3, A_10_1>(a: import("fp-ts/lib/Either").Either<E_3, A_10_1>) => A_10_1;
warnException: <E_1_1, A_11_1>({ node, defaultValue }: {
node: import("fp-ts/lib/Either").Either<E_1_1, A_11_1>;
defaultValue: A_11_1;
}) => A_11_1;
templateProp: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_12_1, B_4_1, N_2 extends string, PN_2 extends keyof A_12_1, CK_2 extends string>(a: {
name: N_2 extends keyof A_12_1 ? never : N_2;
propName: PN_2;
reader: import("fp-ts/lib/Reader").Reader<A_12_1, B_4_1>;
config: Record<CK_2, A_12_1[PN_2]>;
}) => import("fp-ts/lib/Reader").Reader<A_12_1 | (Omit<A_12_1, Extract<keyof A_12_1, PN_2>> & Partial<Pick<A_12_1, Extract<keyof A_12_1, PN_2>>> & { [Key_2 in N_2]: CK_2; }), import("macoolka-app").Node<B_4_1>>>;
templatePropObject: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_13_1, B_5_1, N_1_1 extends string, PN_1_1 extends keyof A_13_1, CK_1_1 extends string>(a: {
name: N_1_1 extends keyof A_13_1 ? never : N_1_1;
propName: PN_1_1[];
reader: import("fp-ts/lib/Reader").Reader<A_13_1, B_5_1>;
config: Record<CK_1_1, Pick<A_13_1, PN_1_1>>;
}) => import("fp-ts/lib/Reader").Reader<A_13_1 | (Omit<A_13_1, Extract<keyof A_13_1, PN_1_1>> & Partial<Pick<A_13_1, Extract<keyof A_13_1, PN_1_1>>> & { [Key_1_1 in N_1_1]: CK_1_1; }), import("macoolka-app").Node<B_5_1>>>;
extend: <MKA_1 extends string>(optionA: {
i18nOption: import("macoolka-i18n").I18NOption;
} & import("macoolka-app").MonadModule & Partial<import("macoolka-log-core").Log>) => {
fromOptionToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_17>(option: O.Option<A_17>) => import("macoolka-app").Node<A_17>>;
fromNullableToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_1_2>(a: A_1_2) => import("macoolka-app").Node<A_1_2>>;
fromPredicateToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_2_2>(predicate: import("macoolka-predicate").Predicate<A_2_2>) => import("fp-ts/lib/Reader").Reader<A_2_2, import("macoolka-app").Node<A_2_2>>>;
fromReaderToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_3_2, B_11>(reader: import("fp-ts/lib/Reader").Reader<A_3_2, B_11>) => import("fp-ts/lib/Reader").Reader<A_3_2, import("macoolka-app").Node<B_11>>>;
fromReaderOptionToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_4_2, B_1_2>(reader: import("fp-ts/lib/Reader").Reader<A_4_2, O.Option<B_1_2>>) => import("fp-ts/lib/Reader").Reader<A_4_2, import("macoolka-app").Node<B_1_2>>>;
fromIOToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_5_2>(io: import("fp-ts/lib/IO").IO<A_5_2>) => import("fp-ts/lib/IO").IO<import("macoolka-app").Node<A_5_2>>>;
fromIOToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_6_2>(io: import("fp-ts/lib/IO").IO<A_6_2>) => import("macoolka-app").TaskNode<A_6_2>>;
fromReaderTaskToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_7_2, B_2_2>(reader: import("fp-ts/lib/Reader").Reader<A_7_2, import("fp-ts/lib/Task").Task<B_2_2>>) => import("fp-ts/lib/Reader").Reader<A_7_2, import("macoolka-app").TaskNode<B_2_2>>>;
fromReaderToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_8_2, B_3_2>(reader: import("fp-ts/lib/Reader").Reader<A_8_2, B_3_2>) => import("fp-ts/lib/Reader").Reader<A_8_2, import("macoolka-app").TaskNode<B_3_2>>>;
fromTaskToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_9_2>(task: import("fp-ts/lib/Task").Task<A_9_2>) => import("macoolka-app").TaskNode<A_9_2>>;
throwException: <E_4, A_10_2>(a: import("fp-ts/lib/Either").Either<E_4, A_10_2>) => A_10_2;
warnException: <E_1_2, A_11_2>({ node, defaultValue }: {
node: import("fp-ts/lib/Either").Either<E_1_2, A_11_2>;
defaultValue: A_11_2;
}) => A_11_2;
templateProp: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_12_2, B_4_2, N_3 extends string, PN_3 extends keyof A_12_2, CK_3 extends string>(a: {
name: N_3 extends keyof A_12_2 ? never : N_3;
propName: PN_3;
reader: import("fp-ts/lib/Reader").Reader<A_12_2, B_4_2>;
config: Record<CK_3, A_12_2[PN_3]>;
}) => import("fp-ts/lib/Reader").Reader<A_12_2 | (Omit<A_12_2, Extract<keyof A_12_2, PN_3>> & Partial<Pick<A_12_2, Extract<keyof A_12_2, PN_3>>> & { [Key_3 in N_3]: CK_3; }), import("macoolka-app").Node<B_4_2>>>;
templatePropObject: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_13_2, B_5_2, N_1_2 extends string, PN_1_2 extends keyof A_13_2, CK_1_2 extends string>(a: {
name: N_1_2 extends keyof A_13_2 ? never : N_1_2;
propName: PN_1_2[];
reader: import("fp-ts/lib/Reader").Reader<A_13_2, B_5_2>;
config: Record<CK_1_2, Pick<A_13_2, PN_1_2>>;
}) => import("fp-ts/lib/Reader").Reader<A_13_2 | (Omit<A_13_2, Extract<keyof A_13_2, PN_1_2>> & Partial<Pick<A_13_2, Extract<keyof A_13_2, PN_1_2>>> & { [Key_1_2 in N_1_2]: CK_1_2; }), import("macoolka-app").Node<B_5_2>>>;
extend: <MKA_2 extends string>(optionA: {
i18nOption: import("macoolka-i18n").I18NOption;
} & import("macoolka-app").MonadModule & Partial<import("macoolka-log-core").Log>) => {
fromOptionToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_18>(option: O.Option<A_18>) => import("macoolka-app").Node<A_18>>;
fromNullableToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_1_3>(a: A_1_3) => import("macoolka-app").Node<A_1_3>>;
fromPredicateToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_2_3>(predicate: import("macoolka-predicate").Predicate<A_2_3>) => import("fp-ts/lib/Reader").Reader<A_2_3, import("macoolka-app").Node<A_2_3>>>;
fromReaderToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_3_3, B_12>(reader: import("fp-ts/lib/Reader").Reader<A_3_3, B_12>) => import("fp-ts/lib/Reader").Reader<A_3_3, import("macoolka-app").Node<B_12>>>;
fromReaderOptionToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_4_3, B_1_3>(reader: import("fp-ts/lib/Reader").Reader<A_4_3, O.Option<B_1_3>>) => import("fp-ts/lib/Reader").Reader<A_4_3, import("macoolka-app").Node<B_1_3>>>;
fromIOToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_5_3>(io: import("fp-ts/lib/IO").IO<A_5_3>) => import("fp-ts/lib/IO").IO<import("macoolka-app").Node<A_5_3>>>;
fromIOToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_6_3>(io: import("fp-ts/lib/IO").IO<A_6_3>) => import("macoolka-app").TaskNode<A_6_3>>;
fromReaderTaskToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_7_3, B_2_3>(reader: import("fp-ts/lib/Reader").Reader<A_7_3, import("fp-ts/lib/Task").Task<B_2_3>>) => import("fp-ts/lib/Reader").Reader<A_7_3, import("macoolka-app").TaskNode<B_2_3>>>;
fromReaderToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_8_3, B_3_3>(reader: import("fp-ts/lib/Reader").Reader<A_8_3, B_3_3>) => import("fp-ts/lib/Reader").Reader<A_8_3, import("macoolka-app").TaskNode<B_3_3>>>;
fromTaskToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_9_3>(task: import("fp-ts/lib/Task").Task<A_9_3>) => import("macoolka-app").TaskNode<A_9_3>>;
throwException: <E_5, A_10_3>(a: import("fp-ts/lib/Either").Either<E_5, A_10_3>) => A_10_3;
warnException: <E_1_3, A_11_3>({ node, defaultValue }: {
node: import("fp-ts/lib/Either").Either<E_1_3, A_11_3>;
defaultValue: A_11_3;
}) => A_11_3;
templateProp: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_12_3, B_4_3, N_4 extends string, PN_4 extends keyof A_12_3, CK_4 extends string>(a: {
name: N_4 extends keyof A_12_3 ? never : N_4;
propName: PN_4;
reader: import("fp-ts/lib/Reader").Reader<A_12_3, B_4_3>;
config: Record<CK_4, A_12_3[PN_4]>;
}) => import("fp-ts/lib/Reader").Reader<A_12_3 | (Omit<A_12_3, Extract<keyof A_12_3, PN_4>> & Partial<Pick<A_12_3, Extract<keyof A_12_3, PN_4>>> & { [Key_4 in N_4]: CK_4; }), import("macoolka-app").Node<B_4_3>>>;
templatePropObject: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_13_3, B_5_3, N_1_3 extends string, PN_1_3 extends keyof A_13_3, CK_1_3 extends string>(a: {
name: N_1_3 extends keyof A_13_3 ? never : N_1_3;
propName: PN_1_3[];
reader: import("fp-ts/lib/Reader").Reader<A_13_3, B_5_3>;
config: Record<CK_1_3, Pick<A_13_3, PN_1_3>>;
}) => import("fp-ts/lib/Reader").Reader<A_13_3 | (Omit<A_13_3, Extract<keyof A_13_3, PN_1_3>> & Partial<Pick<A_13_3, Extract<keyof A_13_3, PN_1_3>>> & { [Key_1_3 in N_1_3]: CK_1_3; }), import("macoolka-app").Node<B_5_3>>>;
extend: <MKA_3 extends string>(optionA: {
i18nOption: import("macoolka-i18n").I18NOption;
} & import("macoolka-app").MonadModule & Partial<import("macoolka-log-core").Log>) => {
fromOptionToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_19>(option: O.Option<A_19>) => import("macoolka-app").Node<A_19>>;
fromNullableToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_1_4>(a: A_1_4) => import("macoolka-app").Node<A_1_4>>;
fromPredicateToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_2_4>(predicate: import("macoolka-predicate").Predicate<A_2_4>) => import("fp-ts/lib/Reader").Reader<A_2_4, import("macoolka-app").Node<A_2_4>>>;
fromReaderToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_3_4, B_13>(reader: import("fp-ts/lib/Reader").Reader<A_3_4, B_13>) => import("fp-ts/lib/Reader").Reader<A_3_4, import("macoolka-app").Node<B_13>>>;
fromReaderOptionToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_4_4, B_1_4>(reader: import("fp-ts/lib/Reader").Reader<A_4_4, O.Option<B_1_4>>) => import("fp-ts/lib/Reader").Reader<A_4_4, import("macoolka-app").Node<B_1_4>>>;
fromIOToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_5_4>(io: import("fp-ts/lib/IO").IO<A_5_4>) => import("fp-ts/lib/IO").IO<import("macoolka-app").Node<A_5_4>>>;
fromIOToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_6_4>(io: import("fp-ts/lib/IO").IO<A_6_4>) => import("macoolka-app").TaskNode<A_6_4>>;
fromReaderTaskToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_7_4, B_2_4>(reader: import("fp-ts/lib/Reader").Reader<A_7_4, import("fp-ts/lib/Task").Task<B_2_4>>) => import("fp-ts/lib/Reader").Reader<A_7_4, import("macoolka-app").TaskNode<B_2_4>>>;
fromReaderToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_8_4, B_3_4>(reader: import("fp-ts/lib/Reader").Reader<A_8_4, B_3_4>) => import("fp-ts/lib/Reader").Reader<A_8_4, import("macoolka-app").TaskNode<B_3_4>>>;
fromTaskToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_9_4>(task: import("fp-ts/lib/Task").Task<A_9_4>) => import("macoolka-app").TaskNode<A_9_4>>;
throwException: <E_6, A_10_4>(a: import("fp-ts/lib/Either").Either<E_6, A_10_4>) => A_10_4;
warnException: <E_1_4, A_11_4>({ node, defaultValue }: {
node: import("fp-ts/lib/Either").Either<E_1_4, A_11_4>;
defaultValue: A_11_4;
}) => A_11_4;
templateProp: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_12_4, B_4_4, N_5 extends string, PN_5 extends keyof A_12_4, CK_5 extends string>(a: {
name: N_5 extends keyof A_12_4 ? never : N_5;
propName: PN_5;
reader: import("fp-ts/lib/Reader").Reader<A_12_4, B_4_4>;
config: Record<CK_5, A_12_4[PN_5]>;
}) => import("fp-ts/lib/Reader").Reader<A_12_4 | (Omit<A_12_4, Extract<keyof A_12_4, PN_5>> & Partial<Pick<A_12_4, Extract<keyof A_12_4, PN_5>>> & { [Key_5 in N_5]: CK_5; }), import("macoolka-app").Node<B_4_4>>>;
templatePropObject: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_13_4, B_5_4, N_1_4 extends string, PN_1_4 extends keyof A_13_4, CK_1_4 extends string>(a: {
name: N_1_4 extends keyof A_13_4 ? never : N_1_4;
propName: PN_1_4[];
reader: import("fp-ts/lib/Reader").Reader<A_13_4, B_5_4>;
config: Record<CK_1_4, Pick<A_13_4, PN_1_4>>;
}) => import("fp-ts/lib/Reader").Reader<A_13_4 | (Omit<A_13_4, Extract<keyof A_13_4, PN_1_4>> & Partial<Pick<A_13_4, Extract<keyof A_13_4, PN_1_4>>> & { [Key_1_4 in N_1_4]: CK_1_4; }), import("macoolka-app").Node<B_5_4>>>;
extend: <MKA_4 extends string>(optionA: {
i18nOption: import("macoolka-i18n").I18NOption;
} & import("macoolka-app").MonadModule & Partial<import("macoolka-log-core").Log>) => {
fromOptionToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_20>(option: O.Option<A_20>) => import("macoolka-app").Node<A_20>>;
fromNullableToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_1_5>(a: A_1_5) => import("macoolka-app").Node<A_1_5>>;
fromPredicateToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_2_5>(predicate: import("macoolka-predicate").Predicate<A_2_5>) => import("fp-ts/lib/Reader").Reader<A_2_5, import("macoolka-app").Node<A_2_5>>>;
fromReaderToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_3_5, B_14>(reader: import("fp-ts/lib/Reader").Reader<A_3_5, B_14>) => import("fp-ts/lib/Reader").Reader<A_3_5, import("macoolka-app").Node<B_14>>>;
fromReaderOptionToRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_4_5, B_1_5>(reader: import("fp-ts/lib/Reader").Reader<A_4_5, O.Option<B_1_5>>) => import("fp-ts/lib/Reader").Reader<A_4_5, import("macoolka-app").Node<B_1_5>>>;
fromIOToE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_5_5>(io: import("fp-ts/lib/IO").IO<A_5_5>) => import("fp-ts/lib/IO").IO<import("macoolka-app").Node<A_5_5>>>;
fromIOToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_6_5>(io: import("fp-ts/lib/IO").IO<A_6_5>) => import("macoolka-app").TaskNode<A_6_5>>;
fromReaderTaskToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
} & Message<any, string>, {
title: string;
}>, <A_7_5, B_2_5>(reader: import("fp-ts/lib/Reader").Reader<A_7_5, import("fp-ts/lib/Task").Task<B_2_5>>) => import("fp-ts/lib/Reader").Reader<A_7_5, import("macoolka-app").TaskNode<B_2_5>>>;
fromReaderToTRE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_8_5, B_3_5>(reader: import("fp-ts/lib/Reader").Reader<A_8_5, B_3_5>) => import("fp-ts/lib/Reader").Reader<A_8_5, import("macoolka-app").TaskNode<B_3_5>>>;
fromTaskToTE: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<Message<any, string> & {
title?: string | undefined;
}, {
title: string;
}>, <A_9_5>(task: import("fp-ts/lib/Task").Task<A_9_5>) => import("macoolka-app").TaskNode<A_9_5>>;
throwException: <E_7, A_10_5>(a: import("fp-ts/lib/Either").Either<E_7, A_10_5>) => A_10_5;
warnException: <E_1_5, A_11_5>({ node, defaultValue }: {
node: import("fp-ts/lib/Either").Either<E_1_5, A_11_5>;
defaultValue: A_11_5;
}) => A_11_5;
templateProp: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_12_5, B_4_5, N_6 extends string, PN_6 extends keyof A_12_5, CK_6 extends string>(a: {
name: N_6 extends keyof A_12_5 ? never : N_6;
propName: PN_6;
reader: import("fp-ts/lib/Reader").Reader<A_12_5, B_4_5>;
config: Record<CK_6, A_12_5[PN_6]>;
}) => import("fp-ts/lib/Reader").Reader<A_12_5 | (Omit<A_12_5, Extract<keyof A_12_5, PN_6>> & Partial<Pick<A_12_5, Extract<keyof A_12_5, PN_6>>> & { [Key_6 in N_6]: CK_6; }), import("macoolka-app").Node<B_4_5>>>;
templatePropObject: import("fp-ts/lib/Reader").Reader<import("macoolka-object").DiffObject<{
title?: string | undefined;
paramMessage: Message<any, string>;
readerMessage: Message<any, string>;
}, {
title: string;
}>, <A_13_5, B_5_5, N_1_5 extends string, PN_1_5 extends keyof A_13_5, CK_1_5 extends string>(a: {
name: N_1_5 extends keyof A_13_5 ? never : N_1_5;
propName: PN_1_5[];
reader: import("fp-ts/lib/Reader").Reader<A_13_5, B_5_5>;
config: Record<CK_1_5, Pick<A_13_5, PN_1_5>>;
}) => import("fp-ts/lib/Reader").Reader<A_13_5 | (Omit<A_13_5, Extract<keyof A_13_5, PN_1_5>> & Partial<Pick<A_13_5, Extract<keyof A_13_5, PN_1_5>>> & { [Key_1_5 in N_1