{"id":16707852,"url":"https://github.com/syuilo/cafy","last_synced_at":"2025-03-21T20:32:41.735Z","repository":{"id":57192688,"uuid":"83898556","full_name":"syuilo/cafy","owner":"syuilo","description":"☕️ Strongly typed and lightweight validator generator","archived":false,"fork":false,"pushed_at":"2021-01-03T05:33:29.000Z","size":268,"stargazers_count":29,"open_issues_count":6,"forks_count":2,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-18T04:51:23.556Z","etag":null,"topics":["javascript","nodejs","schema","typescript","validation"],"latest_commit_sha":null,"homepage":"","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/syuilo.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2017-03-04T14:19:56.000Z","updated_at":"2024-06-15T23:50:06.000Z","dependencies_parsed_at":"2022-08-24T05:21:21.422Z","dependency_job_id":null,"html_url":"https://github.com/syuilo/cafy","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/syuilo%2Fcafy","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/syuilo%2Fcafy/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/syuilo%2Fcafy/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/syuilo%2Fcafy/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/syuilo","download_url":"https://codeload.github.com/syuilo/cafy/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":244866013,"owners_count":20523448,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["javascript","nodejs","schema","typescript","validation"],"created_at":"2024-10-12T19:41:14.243Z","updated_at":"2025-03-21T20:32:41.424Z","avatar_url":"https://github.com/syuilo.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# ☕ cafy\n\u003e Simple, lightweight, flexible validator generator\n\n**cafy**は、アサーションのようにメソッドチェーンで値のバリデーションを行うライブラリです。\ncafyを使えばバリデーションを簡単かつ柔軟に書くことができます。すべてTypeScriptで書かれていて、型定義との相性も抜群です。\n[Try it out!](https://runkit.com/npm/cafy)\n\n[![][npm-badge]][npm-link]\n[![][mit-badge]][mit]\n[![][travis-badge]][travis-link]\n[![][himawari-badge]][himasaku]\n[![][sakurako-badge]][himasaku]\n\n[![NPM](https://nodei.co/npm/cafy.png?downloads=true\u0026downloadRank=true\u0026stars=true)](https://www.npmjs.com/package/cafy)\n\n## 🤔 Why cafy\nたとえばサーバー側で、クライアントから送信されてきたパラメータが正しい形式であるかどうか確認しないと、データベースのエラーやプログラムの例外を引き起こしたりする可能性があります。\n\u003ci\u003e「このパラメータはnullやundefinedではない文字列でなくてはならず、1文字以上100文字以下でなくてはならず、a-z0-9の文字種で構成されてなければならない」\u003c/i\u003eといった長いバリデーションを、cafyを使えば一行で簡潔に書くことができます。\n例外も行うバリデーションごとに用意されているので、ユーザーにわかりやすいエラーメッセージを返すこともできます。\nまた、バリデータの型文字列を取得する機能があるので、それを使えばドキュメントを生成するときにも役立ちます。\nTypeScriptの`strictNullChecks`オプションもサポートしています。\n\n### ✨ 特徴\n* **軽量** ... 依存関係無し。ブラウザでも使えます\n* **簡単** ... 複雑にネストされたオブジェクトも直感的にバリデーションできる\n* **柔軟** ... メソッドチェーンで制約を追加したり、独自の型を追加できる\n* **強力な型サポート** ... 型注釈不要で、バリデータに即した型を取得できる\n\t* `strictNullChecks`サポート\n\t* `Type Guard`サポート\n\t* `Assertion Functions`サポート\n\n## 📦 Installation\nJust:\n```\nnpm install cafy\n```\nHappy validation👍\n\n## ☘ Usage\nTL;DR\n``` javascript\nimport $ from 'cafy';\n\nconst isFruits = $.str.or(['apple', 'banana', 'orange']).ok;\n\nisFruits('apple')  // true\nisFruits('banana') // true\nisFruits('alice')  // false\nisFruits(42)       // false\nisFruits(null)     // false\n```\n\n---\n\nまずその値がどんな型でなければならないかを示し、\nそのあとに追加の制約をメソッドチェーンで追加していきます。\n\n(以下のドキュメントでは、`import $ from 'cafy';`している前提で書いていきます(実際にはcafy関数にどんな名前を付けるかは自由です)。)\n\nたとえば **「それは文字列でなければならない」** という制約を表すにはこう書きます:\n``` javascript\n$.str\n```\n\n`range`メソッドを利用して、さらに **「10文字以上20文字以下でなければならない」** という制約を追加してみます:\n``` javascript\n$.str.range(10, 20)\n```\n\n実際にバリデーションしてみましょう。\n`ok`メソッドに検証する値を渡すと、それが条件を満たせば`true`が返り、そうでなければ`false`が返ります:\n``` javascript\n$.str.range(10, 20).ok('strawberry pasta') // true\n\n$.str.range(10, 20).ok('alice') // false (短すぎるので)\n\n$.str.range(10, 20).ok('i love strawberry pasta') // false (長すぎるので)\n```\n\nもちろん、上記の例はこのようにまとめられます:\n``` javascript\nconst validate = $.str.range(10, 20).ok;\n\nvalidate('strawberry pasta') // true\nvalidate('alice') // false (短すぎるので)\nvalidate('i love strawberry pasta') // false (長すぎるので)\n```\n\n---\n\ncafyは様々な型をサポートしています:\n\n* **文字列** ... `$.str`\n* **数値** ... `$.num`\n* **真理値** ... `$.bool`\n* **配列** ... `$.arr()`\n* **オブジェクト** ... `$.obj`\n* **ユーザー定義型** ... `$.type()`\n* **ユニオン** ... `$.either()`\n* **リテラル** ... `$.literal()`\n* **なんでも** ... `$.any`\n\n\u003e ℹ JavaScriptの仕様上では配列はobjectですが、cafyでは配列はobjectとは見なされません。\n\n後述するように、ユーザー定義型を使えば**独自の型**を追加することもできます。\n\nそれぞれの型がどのようなメソッドを持っているかなどは、APIのセクションをご確認ください。\n\n### null と undefined の扱い\n**cafyは、デフォルトで`null`も`undefined`も許容しません。**\n`null`や`undefined`を許容したい場合は、これらのオプションを使用します:\n\n#### undefined を許容する *(optional)*\nデフォルトで`undefined`はエラーになります:\n``` javascript\n$.str.ok(undefined) // false\n```\n`undefined`を許容する場合は`optional`を型の前にプリフィクスします:\n``` javascript\n$.optional.str.ok(undefined) // true\n```\n\n#### null を許容する *(nullable)*\nデフォルトで`null`はエラーになります:\n``` javascript\n$.str.ok(null) // false\n```\n`null`を許容する場合は`nullable`を型の前にプリフィクスします:\n``` javascript\n$.nullable.str.ok(null) // true\n```\n\n#### null と undefined を許容する\n`nullable`と`optional`は併用できます:\n``` javascript\n$.nullable.optional.str...\n$.optional.nullable.str...\n$.optionalNullable.str...\n```\n\n|                         | undefined | null |\n| -----------------------:|:---------:|:----:|\n| (default)               | x         | x    |\n| `optional`              | o         | x    |\n| `nullable`              | x         | o    |\n| `optional` + `nullable` | o         | o    |\n\n## 📖 API\n### **Context**\ncafyの実体は`Context`クラスです。そして、cafyで実装されている全ての型は`Context`クラスを継承したクラスです。\n従って、`Context`クラスにある次のメソッドおよびプロパティは全ての型で利用可能です。\n\n#### メソッド\n##### `.get(value)` =\u003e `[any, Error]`\nテスト対象の値とテスト結果のペア(配列)を取得します。\n\n##### `.nok(value)` =\u003e `boolean`\nバリデーションを実行します。\n合格した場合は`false`で、そうでない場合は`true`です。\n`.ok()`の否定です。\n(*nok* は _**n**ot **ok**_ の略です)\n\n##### `.ok(value)` =\u003e `boolean`\nバリデーションを実行します。\n合格した場合は`true`で、そうでない場合は`false`です。\n`.test() == null`と同義です。\n\n\u003e ℹ TypeScriptを使っているなら、このメソッドの結果で分岐を行うことで、以後対象の変数の型を推論することができます（Type Guard）。これについては、後述の「TypeScriptとの親和性」で詳しく説明します。\n\n##### `.pipe(fn)` =\u003e `Context`\nカスタムのバリデーションを実行できます。\n引数の関数が`true`を返すと妥当ということになり、`false`または`Error`を返すと不正な値とします。\n``` javascript\n$.str.pipe(x =\u003e x.indexOf('alice') == -1).ok('strawberry pasta') // true\n$.arr().pipe(x =\u003e x[1] != 'b').ok(['a', 'b', 'c']) // false\n```\n\n\u003e 値が`null`または`undefined`のときは`pipe`は実行されないため、`pipe`内でnullチェックする必要はありません。\n\n##### `.assert(value)` =\u003e `void`\nバリデーションを実行します。\n不合格の場合は`Error`をthrowします。\n\n\u003e ℹ ~~TypeScriptを使っているなら、このメソッドを呼び出すことで、以後対象の変数の型を推論することができます。これについては、後述の「TypeScriptとの親和性」で詳しく説明します。~~\n\u003e 現在正しく動作しません。詳しくは: https://github.com/microsoft/TypeScript/issues/34596\n\n##### `.test(value)` =\u003e `Error`\nバリデーションを実行します。\n合格した場合は`null`で、そうでない場合は`Error`です。\n\n##### `.throw(value)` =\u003e `any`\nバリデーションを実行します。\n合格した場合は値を返し、そうでない場合は`Error`をthrowします。\n\n##### `.getType()` =\u003e `string`\nこのインスタンスの型を表す文字列を取得します。\n\n###### 例\n|                           | 型                   |\n| -------------------------:|:--------------------:|\n| `$.str`                   | `string`             |\n| `$.optional.str`          | `string?`            |\n| `$.nullable.str`          | `(string \\| null)`   |\n| `$.optional.nullable.str` | `(string \\| null)?`  |\n| `$.arr($.str)`            | `string[]`           |\n| `$.either($.str, $.num)`  | `(string \\| number)` |\n\n#### プロパティ\n##### `.isOptional`: `Boolean`\n`optional`か否か(読み取り専用)\n\n##### `.isNullable`: `Boolean`\n`nullable`か否か(読み取り専用)\n\n---\n\n### バリデータ: **Any**\n``` javascript\n.any\n```\n\nAnyバリデータを使うと、「*undefined*や*null*はダメだけど、型は何でもいい」といった値を検証したいときに便利です:\n``` javascript\n$.any.ok('strawberry pasta') // true\n```\n\n#### メソッド\nAny固有のメソッドはありません。\n\n---\n\n### バリデータ: **Array**\n``` javascript\n.arr(query)\n.array(query)\n```\n\n配列をバリデーションしたいときはこのバリデータを使用します。\n\n#### 配列の要素をバリデーションする\n配列の各々の要素に対してバリデーションを定義できます:\n``` javascript\n$.arr($.num)         // 数値の配列でなければならない\n$.arr($.str.min(10)) // 10文字以上の文字列の配列でなければならない\n```\nもちろんarrayを入れ子にもできます:\n``` javascript\n$.arr($.arr($.num))         // 「数値の配列」の配列でなければならない\n$.arr($.arr($.str.min(10))) // 「10文字以上の文字列の配列」の配列でなければならない\n```\n\n#### メソッド\n##### `.min(threshold)`\n要素の数が`threshold`以上でなければならないという制約を追加します。\n\n##### `.max(threshold)`\n要素の数が`threshold`以下でなければならないという制約を追加します。\n\n##### `.range(min, max)`\n`min`以上`max`以下の数の要素を持っていなければならないという制約を追加します。\n``` javascript\n$.arr().range(2, 5).ok(['a', 'b', 'c'])                // true\n$.arr().range(2, 5).ok(['a', 'b', 'c', 'd', 'e', 'f']) // false\n$.arr().range(2, 5).ok(['a'])                          // false\n```\n\nℹ️ `range(30, 50)`は`min(30).max(50)`と同義です。\n\n##### `.length(length)`\n要素の数が`length`でなければならないという制約を追加します。\n\n##### `.unique()`\nユニークな配列(=重複した値を持っていない)でなければならないという制約を追加します。\n``` javascript\n$.arr().unique().ok(['a', 'b', 'c'])      // true\n$.arr().unique().ok(['a', 'b', 'c', 'b']) // false\n```\n\n##### `.item(index, fn)`\n特定のインデックスの要素に対してカスタムのバリデーションを実行できます。\n引数の関数が`true`を返すと妥当ということになり、`false`または`Error`を返すと不正な値とします。\n引数にはcafyインスタンスも渡せます。\n``` javascript\n$.arr().item(1, $.num).ok(['a', 42, 'c'])  // true\n$.arr().item(1, $.num).ok(['a', 'b', 'c']) // false\n```\n\n##### `.each(fn)`\n各要素に対してカスタムのバリデーションを実行できます。\n引数の関数が`true`を返すと妥当ということになり、`false`または`Error`を返すと不正な値とします。\n引数にはcafyインスタンスも渡せます。\n``` javascript\n$.arr().each(x =\u003e x \u003c 4).ok([1, 2, 3]) // true\n$.arr().each(x =\u003e x \u003c 4).ok([1, 4, 3]) // false\n```\n\n---\n\n### バリデータ: **Boolean**\n``` javascript\n.bool\n.boolean\n```\n\n真理値(`true`か`false`)をバリデーションしたいときはこのバリデータを使用します。\n\n#### メソッド\n固有のメソッドはありません。\n\n---\n\n### バリデータ: **Number**\n``` javascript\n.num\n.number\n```\n\n数値をバリデーションしたいときはこのバリデータを使用します。\n\n#### メソッド\n\n##### `.int()`\n整数でなければならないという制約を追加します。\n``` javascript\n$.num.int().ok(0)        // true\n$.num.int().ok(1)        // true\n$.num.int().ok(-100)     // true\n\n$.num.int().ok(0.1)      // false\n$.num.int().ok(Math.PI)  // false\n\n$.num.int().ok(NaN)      // false\n$.num.int().ok(Infinity) // false\n```\n\n##### `.min(threshold)`\n`threshold`以上の数値でなければならないという制約を追加します。\n\n##### `.max(threshold)`\n`threshold`以下の数値でなければならないという制約を追加します。\n\n##### `.range(min, max)`\n`min`以上`max`以下の数値でなければならないという制約を追加します。\n\nℹ️ `range(30, 50)`は`min(30).max(50)`と同義です。\n\n---\n\n### バリデータ: **Object**\n``` javascript\n.obj(props)\n.object(props)\n```\n\nオブジェクトをバリデーションしたいときはこのバリデータを使用します。\n\n#### プロパティを定義する\n引数にプロパティの定義を与えて、複雑なオブジェクトも簡単にバリデーションできます。\n\n例えば次のようなオブジェクトをバリデーションしたいとします:\n``` javascript\nconst x = {\n  some: {\n    strawberry: 'pasta',\n    alice: false,\n    tachibana: {\n      bwh: [68, 52, 67]\n    }\n  },\n  thing: 42\n};\n```\n\nバリデータはこのように定義できます:\n``` javascript\n$.obj({\n  some: $.obj({\n    strawberry: $.str,\n    alice: $.bool,\n    tachibana: $.obj({\n      bwh: $.arr($.num)\n    })\n  }),\n  thing: $.num\n}).ok(x) // true\n```\n\n#### エラー\nこの型では、エラーに次のプロパティが含まれています:\n* `prop` ... バリデーションに不合格になったプロパティ名\n* `path` ... 不合格になった子のプロパティまでのパス\n* `error` ... エラー内容\n\n例えば次のような検証を行った時、エラーは次のようになります:\n``` javascript\n$.obj({\n  x: $.obj({\n    y: $.obj({\n      z: $.num\n    })\n  })\n}).test({\n  x: {\n    y: {\n      z: 'foo'\n    }\n  }\n});\n```\n\n```\nThrown:\n{ Error: x.y.z: must-be-a-number\n    at ...\n  path: [ 'x', 'y', 'z' ],\n  error:\n   Error: must-be-a-number\n       at ... }\n```\n\n#### メソッド\n\n##### `.strict()`\n引数のプロパティ定義で言及した以外のプロパティを持っている場合にエラーにします。\n\nデフォルト:\n``` javascript\n$.obj({ foo: $.num }).ok({ foo: 42, bar: 24 }) // true\n```\n\nstrict:\n``` javascript\n$.obj({ foo: $.num }).strict().ok({ foo: 42, bar: 24 }) // false\n```\n\n---\n\n### バリデータ: **String**\n``` javascript\n.str\n.string\n```\n\n文字列をバリデーションしたいときはこのバリデータを使用します。\n\n#### メソッド\n##### `.match(pattern)`\n与えられた正規表現とマッチしていなければならないという制約を追加します。\n``` javascript\n$.str.match(/^([0-9]{4})\\-([0-9]{2})-([0-9]{2})$/).ok('2017-03-07') // true\n```\n\n##### `.notMatch(pattern)`\n`match`の否定。\n\n##### `.or(pattern)`\n与えられたパターン内の文字列のいずれかでなければならないという制約を追加します。\n`pattern`は文字列の配列または`|`で区切られた文字列です。\n``` javascript\n$.str.or(['strawberry', 'pasta']).ok('strawberry') // true\n$.str.or(['strawberry', 'pasta']).ok('alice')      // false\n$.str.or('strawberry|pasta').ok('pasta')           // true\n```\n\n##### `.notInclude(str | str[])`\n引数に与えられた文字列を含んでいてはならないという制約を追加します。\n``` javascript\n$.str.notInclude('fuck').ok('She is fucking rich.') // false\n$.str.notInclude(['strawberry', 'alice']).ok('strawberry pasta') // false\n```\n\n##### `.min(threshold)`\n`threshold`以上の文字数でなければならないという制約を追加します。\n\n##### `.max(threshold)`\n`threshold`以下の文字数でなければならないという制約を追加します。\n\n##### `.range(min, max)`\n`min`以上`max`以下の文字数でなければならないという制約を追加します。\n\nℹ️ `range(30, 50)`は`min(30).max(50)`と同義です。\n\n##### `.length(length)`\n文字数が`length`でなければならないという制約を追加します。\n\n---\n\n### **Either**\n``` javascript\n.either(queryA, queryB)\n```\n\n「文字列または数値」とか「真理値または真理値の配列」のようなバリデーションを行いたいときは、`either`バリデータを使うことができます。\n例:\n``` javascript\n// 文字列または数値\n$.either($.str, $.num).ok(42) // true\n```\n\n#### 3種類以上の型\n`either`を任意の数入れ子にする事で実現できます:\n``` javascript\n// 文字列または数値または真理値\n$.either($.str, $.either($.num, $.bool)).ok(42) // true\n```\n\n### **Literal**\n``` javascript\n.literal(literal)\n```\n\n特定の値であることを保証するバリデーションを行いたいときは、`literal`バリデータを使うことができます。\n例:\n``` javascript\n// 文字列'foo'でなければならない\n$.literal('foo').ok('foo') // true\n```\nTypeScriptで使うときに便利です。\n\n---\n\n### **Use**\n``` javascript\n.use(query)\n```\n\n既存のContextを拡張したいときに使います。\n``` javascript\nconst other = $.str;\n$.optional.use(other).ok(undefined) // true\n$.nullable.use(other).ok(null) // true\n```\n\n---\n\n### **Type** (ユーザー定義型)\n``` javascript\n.type(type)\n```\n\ncafyで標準で用意されている`string`や`number`等の基本的な型以外にも、ユーザーが型を登録してバリデーションすることができます。\n型を定義するには、まずcafyの`Context`クラスを継承したContextクラスを作ります。\nTypeScriptでの例:\n``` typescript\nimport $, { Context } from 'cafy';\n\n// あなたのクラス\nclass Foo {\n  bar: number;\n}\n\n// あなたのクラスを検証するための、cafyのContextクラスを継承したクラス\nclass FooContext\u003cMaybe = Foo\u003e extends Context\u003cFoo | Maybe\u003e {\n  // 型の名前\n  public readonly name = 'Foo';\n\n  constructor(optional = false, nullable = false) {\n    // ✨おまじない✨\n    super(optional, nullable);\n\n    // 値が Foo のインスタンスであるかチェック\n    this.push(v =\u003e v instanceof Foo);\n  }\n\n  //#region ✨もっとおまじない✨\n  public makeOptional(): FooContext\u003cundefined\u003e {\n    return new FooContext(true, false);\n  }\n\n  public makeNullable(): FooContext\u003cnull\u003e {\n    return new FooContext(false, true);\n  }\n\n  public makeOptionalNullable(): FooContext\u003cundefined | null\u003e {\n    return new FooContext(true, true);\n  }\n  //#endregion\n}\n```\n\nバリデーションするときは、`type`メソッドにクラスを渡します:\n``` typescript\n$.type(FooContext).ok(new Foo()); // true\n$.type(FooContext).ok('abc');     // false\n```\n\n#### カスタムメソッド\nまた、`Context`を継承するクラスにメソッドを実装することで、Context中でそのメソッドを利用することもできます。\n例として、上述の`FooContext`に、「プロパティ`bar`が指定された値以上でなければならない」という制約を追加するメソッド`min`を定義してみましょう:\n``` typescript\nclass FooContext\u003cMaybe = Foo\u003e extends Context\u003cFoo | Maybe\u003e {\n  ...\n\n  public min(threshold: number) {\n    this.push(v =\u003e v.bar \u003e= threshold);\n    return this;\n  }\n}\n```\n\u003e `return this;`しているのは、メソッドチェーンできるようにするためです。\n\nこのメソッドを使う例:\n``` typescript\nconst foo = new Foo();\nfoo.bar = 42;\n\n$.type(FooContext).min(40).ok(foo); // true\n$.type(FooContext).min(48).ok(foo); // false\n```\n\n## TypeScriptとの親和性\ncafyはTypeScriptで書かれているため、強力な型定義を持ち、バリデーションに応じて変数の型を推論し、それ以降のフローで型を絞り込むことができます。\n\n### Type Guard\n例えば、「`x`は*文字列*でなければならない」とバリデーションした後の`x`の型は明らかに*文字列*です(バリデータの実装にミスが無いと仮定した場合)。\n`ok`メソッドは型定義においてTypeScriptの[Type Guard](http://www.typescriptlang.org/docs/handbook/advanced-types.html#type-guards-and-differentiating-types)を実装しており、`ok`メソッドの返り値を使って条件分岐を行うと、そのスコープではバリデーションした変数の型が正しいものに絞り込まれます(ナローイング)。これは、`ok`メソッドにバリデーションに合格しない値を渡すと`false`が返り分岐が実行されないことが判るので、分岐先スコープの変数の型は必ず求めている型になることが保証されるからです。\n例:\n``` ts\nconst x = 42 as unknown;\n\n// この時点でxの型は unknown\n\nif ($.str.ok(x)) {\n\tx;\n\t// ↑この時点でxの型は string\n\t// この例ではxはnumberなので、実際にはここに到達することはない\n}\n```\n\n次のように書いても同じです:\n``` ts\nfunction something(x: unknown) {\n\t// この時点でxの型は unknown\n\n\tif (!$.str.ok(x)) return;\n\n\tx;\n\t// ↑この時点でxの型は string\n}\n```\n\n詳しくはTypeScriptの[Type Guard](http://www.typescriptlang.org/docs/handbook/advanced-types.html#type-guards-and-differentiating-types)のドキュメントを参照してください。\n\n### Assertion Functions\nまた、TypeScript 3.7で導入された[Assertion Functions](https://devblogs.microsoft.com/typescript/announcing-typescript-3-7-rc/#assertion-functions)もサポートしていて、\n`assert`メソッドにある変数を渡して呼び出すと、その後の変数の型はバリデーションされた型になります。これは、`assert`メソッドにバリデーションに合格しない値を渡すと、即座に例外がthrowされるので、\nその後の変数の型は必ず求めている型になることが保証されるからです。TypeScript 3.7のAssertion Functionsによりこれを推論することが可能になります。例:\n``` ts\nconst x = 42 as unknown;\n\n// この時点でxの型は unknown\n\n$.str.assert(x);\n\nx;\n// ↑この時点でxの型は string\n// この例ではxはnumberなので、実際にはここに到達することはない\n```\n\n詳しくはTypeScriptの[Assertion Functions](https://devblogs.microsoft.com/typescript/announcing-typescript-3-7-rc/#assertion-functions)のドキュメントを参照してください。\n\n### Literal Types\ncafyの`$.literal()`バリデータは、TypeScriptのconst assertionを使ったときのように型が値そのものになります。例:\n``` ts\nif ($.literal('foo').ok(x)) {\n\tx;\n\t// ↑xの型は 'foo' (stringではなく)\n}\n\nif ($.either($.literal('foo'), $.literal('bar')).ok(x)) {\n\tx;\n\t// ↑xの型は 'foo' | 'bar'\n}\n```\n\n### Array, Object, Unionな型\n配列、オブジェクト、ユニオン型といった複雑な型も、正しく推論することができます。\nいくつかバリデーション後の型がどうなるのかの例を示します:\n``` ts\nconst b = $.arr($.num).get(foo)[0];\n// ↑ b の型は number[]\n\nconst c = $.either($.str, $.num).get(foo)[0];\n// ↑ c の型は string | number\n\nconst d = $.obj({\n  foo: $.obj({\n    bar: $.obj({\n      baz: $.num\n    }),\n    qux: $.arr($.arr($.bool))\n  })\n}).get(foo)[0];\n/* ↑ d の型は:\n{\n  foo: {\n    bar: {\n      baz: number;\n    };\n    qux: boolean[][];\n  };\n}\n*/\n```\n\n### strictNullChecks\ncafyはTypeScriptの`strictNullChecks`をサポートしていて、型定義において`null`、`undefined`、またはそうでないかを区別できます。例:\n``` ts\nconst a =                   $.str.get(foo)[0]; // a の型は string\nconst b =          $.optional.str.get(foo)[0]; // b の型は string | undefined\nconst c =          $.nullable.str.get(foo)[0]; // c の型は string | null\nconst d = $.optional.nullable.str.get(foo)[0]; // d の型は string | undefined | null\n```\n\n## Release Notes\nPlease see [ChangeLog](CHANGELOG.md)!\n\n## License\n[MIT](LICENSE)\n\n[npm-link]:       https://www.npmjs.com/package/cafy\n[npm-badge]:      https://img.shields.io/npm/v/cafy.svg?style=flat-square\n[mit]:            http://opensource.org/licenses/MIT\n[mit-badge]:      https://img.shields.io/badge/license-MIT-444444.svg?style=flat-square\n[travis-link]:    https://travis-ci.org/syuilo/cafy\n[travis-badge]:   http://img.shields.io/travis/syuilo/cafy.svg?style=flat-square\n[himasaku]:       https://himasaku.net\n[himawari-badge]: https://img.shields.io/badge/%E5%8F%A4%E8%B0%B7-%E5%90%91%E6%97%A5%E8%91%B5-1684c5.svg?style=flat-square\n[sakurako-badge]: https://img.shields.io/badge/%E5%A4%A7%E5%AE%A4-%E6%AB%BB%E5%AD%90-efb02a.svg?style=flat-square\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsyuilo%2Fcafy","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsyuilo%2Fcafy","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsyuilo%2Fcafy/lists"}