import { and, or, not, predicateToRefine, isString, isNumber } from 'is-kit';

// Clearer name for the min-length rule
const isLongLiteral = predicateToRefine<string>((value) => value.length > 3);

const isLongString = and(isString, isLongLiteral);
isLongString('abcd'); // true
isLongString('ab');   // false
isLongString(123 as unknown); // false

// Type narrowing example
declare const maybeString: unknown;
if (isLongString(maybeString)) {
  maybeString.toUpperCase(); // narrowed to string
}
or(isString, isNumber)('foo'); // true
not(isString)(123); // true

import { andAll, predicateToRefine, isString } from 'is-kit';

// Chain multiple string checks with andAll
const minLen4 = predicateToRefine<string>((value) => value.length >= 4);
const startsWithA = predicateToRefine<string>((value) => value.startsWith('A'));

const isShortTitle = andAll(isString, minLen4, startsWithA);

isShortTitle('Axel'); // true
isShortTitle('Bob'); // false (does not start with A)
isShortTitle('ABC'); // false (length < 4)

import { and, equals, guardIn, isNumber, predicateToRefine, struct } from 'is-kit';

// Adapt a guard to a broader domain, then compose extra rules
type Circle = { kind: 'circle'; radius: number };
type Shape =
  | { kind: 'rect'; width: number; height: number }
  | Circle;

const isCircle = struct({
  kind: equals('circle' as const),
  radius: isNumber,
});
// isCircle: Guard<Circle>

// Make it work as a refinement within Shape
const circleInShape = guardIn<Shape>()(isCircle); // Refine<Shape, Circle>

// Add a runtime-only rule (type stays Circle)
const positiveRadius = predicateToRefine<Circle>((circle) => circle.radius > 0);

const validCircle = and(circleInShape, positiveRadius);

const shapeCircleValid: Shape = { kind: 'circle', radius: 10 };
const shapeCircleNegativeRadius: Shape = { kind: 'circle', radius: -1 };
const shapeRect: Shape = { kind: 'rect', width: 8, height: 5 };

validCircle(shapeCircleValid); // true
validCircle(shapeCircleNegativeRadius); // false (radius not positive)
validCircle(shapeRect); // false (not a circle)