{
  "id": "@typed/guard#liftPredicate",
  "canonicalId": "@typed/guard#liftPredicate",
  "symbol": {
    "id": "@typed/guard#liftPredicate",
    "packageName": "@typed/guard",
    "moduleName": ".",
    "exportName": "liftPredicate",
    "kind": "function",
    "signatures": [
      "export declare function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>;",
      "export declare function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>;"
    ],
    "summary": "Builds a Guard from a predicate or refinement. The predicate is evaluated\nonly when the returned Effect runs. A thrown exception becomes an Effect\ndefect; use an effectful Guard when failure belongs in the typed error channel.",
    "sections": {
      "Why": "Predicate lifting is the bridge from synchronous refinements into deferred Guard composition while preserving the `None` versus failure distinction.",
      "Ownership and lifetime": "Construction acquires no resources; the predicate runs once per invocation when the returned Effect executes."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { liftPredicate } from \"@typed/guard\"\nconst string = liftPredicate((value: unknown): value is string => typeof value === \"string\")"
      }
    ],
    "relations": [],
    "source": {
      "file": "packages/guard/src/index.ts",
      "line": 598
    },
    "since": "1.0.0",
    "category": "Input selection"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/guard#liftPredicate",
    "packageName": "@typed/guard",
    "packageVersion": "1.0.0-beta.13",
    "moduleName": ".",
    "consumerSpecifier": "@typed/guard",
    "exportName": "liftPredicate",
    "qualifiedName": "liftPredicate",
    "declarationKey": "declaration:521124861320fb67af985124",
    "family": "function",
    "signatures": [
      "export declare function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>;",
      "export declare function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>;"
    ],
    "sourceSpans": [
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 598,
          "column": 1
        },
        "end": {
          "line": 598,
          "column": 99
        }
      },
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 599,
          "column": 1
        },
        "end": {
          "line": 599,
          "column": 82
        }
      }
    ],
    "aliases": [],
    "isAlias": false,
    "static": false
  },
  "declaration": {
    "declarationKey": "declaration:521124861320fb67af985124",
    "name": "liftPredicate",
    "family": "function",
    "facets": [
      {
        "family": "function",
        "syntaxKind": "FunctionDeclaration",
        "signatures": [
          "export declare function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>;",
          "export declare function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>;"
        ],
        "typeParameters": [
          "A",
          "B extends A"
        ],
        "sourceSpans": [
          {
            "file": "packages/guard/src/index.ts",
            "start": {
              "line": 598,
              "column": 1
            },
            "end": {
              "line": 598,
              "column": 99
            }
          },
          {
            "file": "packages/guard/src/index.ts",
            "start": {
              "line": 599,
              "column": 1
            },
            "end": {
              "line": 599,
              "column": 82
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export declare function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>;",
      "export declare function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>;"
    ],
    "typeParameters": [
      "A",
      "B extends A"
    ],
    "summary": "Builds a Guard from a predicate or refinement. The predicate is evaluated\nonly when the returned Effect runs. A thrown exception becomes an Effect\ndefect; use an effectful Guard when failure belongs in the typed error channel.",
    "sections": {
      "Why": "Predicate lifting is the bridge from synchronous refinements into deferred Guard composition while preserving the `None` versus failure distinction.",
      "Ownership and lifetime": "Construction acquires no resources; the predicate runs once per invocation when the returned Effect executes."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { liftPredicate } from \"@typed/guard\"\nconst string = liftPredicate((value: unknown): value is string => typeof value === \"string\")"
      }
    ],
    "sourceSpans": [
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 598,
          "column": 1
        },
        "end": {
          "line": 598,
          "column": 99
        }
      },
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 599,
          "column": 1
        },
        "end": {
          "line": 599,
          "column": 82
        }
      }
    ],
    "since": "1.0.0",
    "category": "Input selection"
  }
}