14 replies

Understanding Type Inference in `evaluatePrimitive`

Also this is confusing me a bit, can anyone explain why this type infers like this?

const evaluatePrimitive = Match.type<JsonPrimitiveType>().pipe(
  Match.when(String.isString, Function.identity),
  Match.orElse(() => true)
);

const evaluatePrimitive = Match.type<JsonPrimitiveType>().pipe(
  Match.when(String.isString, Function.identity),
  Match.orElse(() => true)
);

const evaluatePrimitive = Match.type<JsonPrimitiveType>().pipe(
  Match.when(String.isString, Function.identity),
  Match.orElse(() => true)
);

const evaluatePrimitive = Match.type<JsonPrimitiveType>().pipe(
  Match.when(String.isString, Function.identity),
  Match.orElse(() => true)
);

const evaluatePrimitive: (input: string | number | boolean | null) => unknown

const evaluatePrimitive: (input: string | number | boolean | null) => unknown

const evaluatePrimitive: (input: string | number | boolean | null) => unknown

const evaluatePrimitive: (input: string | number | boolean | null) => unknown