W3Schools Tryit Editor

// Boolean Literal Types Example
// This demonstrates how boolean literal types work in TypeScript

// Function that always returns true
// In TypeScript: function alwaysSucceed(): true
function alwaysSucceed() {
  return true;
}

// Function that processes different success/failure indicators
// In TypeScript, we'd use:
// type SuccessFlag = true | "success" | 1;
// type FailureFlag = false | "failure" | 0;
function processResult(result) {
  if (result === true || result === "success" || result === 1) {
    return "Operation succeeded";
  } else if (result === false || result === "failure" || result === 0) {
    return "Operation failed";
  } else {
    throw new Error(`Invalid result: ${result}. Must be true, "success", 1, false, "failure", or 0`);
  }
}

// Examples of success flags
console.log("Success flag examples:");
console.log(processResult(true));
console.log(processResult("success"));
console.log(processResult(1));

// Examples of failure flags
console.log("\nFailure flag examples:");
console.log(processResult(false));
console.log(processResult("failure"));
console.log(processResult(0));

// Invalid result example
console.log("\nInvalid result example (would be caught at compile time in TypeScript):");
try {
  console.log(processResult("maybe"));
} catch (error) {
  console.log(error.message);
}

// Always succeed function example
console.log("\nalwaysSucceed function:");
console.log(`Return value: ${alwaysSucceed()}`);
console.log("In TypeScript, this function is guaranteed to return true");

// In TypeScript, this is how we'd define the literal types:
console.log("\nIn TypeScript, we would define these types as:");
console.log("type YesOnly = true;");
console.log("type SuccessFlag = true | \"success\" | 1;");
console.log("type FailureFlag = false | \"failure\" | 0;");

Success flag examples:
Operation succeeded
Operation succeeded
Operation succeeded

Failure flag examples:
Operation failed
Operation failed
Operation failed

Invalid result example (would be caught at compile time in TypeScript):
Invalid result: maybe. Must be true, "success", 1, false, "failure", or 0

alwaysSucceed function:
Return value: true
In TypeScript, this function is guaranteed to return true

In TypeScript, we would define these types as:
type YesOnly = true;
type SuccessFlag = true | "success" | 1;
type FailureFlag = false | "failure" | 0;