typia

Typia

 // RUNTIME VALIDATORS
export function is < T > ( input : unknown ) : input is T ; // returns boolean
export function assert < T > ( input : unknown ) : T ; // throws TypeGuardError
export function assertGuard < T > ( input : unknown ) : asserts input is T ;
export function validate < T > ( input : unknown ) : IValidation < T > ; // detailed

// JSON FUNCTIONS
export namespace json {
  export function application < T > ( ) : IJsonApplication ; // JSON schema
  export function assertParse < T > ( input : string ) : T ; // type safe parser
  export function assertStringify < T > ( input : T ) : string ; // safe and faster
}

// LLM FUNCTION CALLING SCHEMA
export namespace llm {
  // application schema from a class or interface type
  export function application < App , Model > ( ) : ILlmApplication < Model > ;
  // structured output
  export function parameters < P , Moodel > ( ) : ILlmSchema . IParameters < Model > ; 
  export function schema < T , Model > ( ) : ILlmSchema < Model > ; // type schema
}

// PROTOCOL BUFFER
export namespace protobuf {
  export function message < T > ( ) : string ; // Protocol Buffer message
  export function assertDecode < T > ( buffer : Uint8Array ) : T ; // safe decoder
  export function assertEncode < T > ( input : T ) : Uint8Array ; // safe encoder
}

// RANDOM GENERATOR
export function random < T > ( g ?: Partial < IRandomGenerator > ) : T ;

typia 、以下の機能をサポートする変圧器ライブラリです。

• 超高速ランタイムバリッター
• JSONスキーマとSerde機能の強化
• LLM関数呼び出しスキーマと構造化された出力
• プロトコルバッファエンコーダーとデコーダー
• ランダムデータジェネレーター

注記

• 純粋なタイプスクリプトタイプの1行のみが必要です
• ランタイムバリデーターはclass-validatorよりも20,000倍高速です
• JSONのシリアル化はclass-transformerよりも200倍高速です

変換

typia関数を呼び出すと、以下のようにコンパイルされます。

これがtypiaの重要な概念であり、TypeScriptタイプをランタイム関数に変換します。 typia.is<T>()関数は、コンピレーションレベルのターゲットタイプTを分析することにより、専用のタイプチェッカーに変換されます。

この機能により、開発者はアプリケーションのタイプの安全性を確保し、タイプスクリプトの静的タイピングを活用しながら、ランタイム検証も提供できます。追加のスキーマを定義する代わりに、純粋なタイプスクリプトタイプ自体を単純に使用できます。

 //----
// examples/checkString.ts
//----
import typia , { tags } from "typia" ;
export const checkString = typia . createIs < string > ( ) ;

//----
// examples/checkUUID.js
//----
import typia from "typia" ;
export const checkString = ( ( ) => {
  return ( input ) => "string" === typeof input ;
} ) ( ) ; 

スポンサー

ご支援ありがとうございます。

あなたの寄付はtypia開発を促進します。

また、 typia 、 typiaのコア貢献者に寄付の半分を再配布しています。

• nonara/ts-patch
• ryoppippi/unplugin-typia

遊び場

Playground WebサイトでTypiaの仕組みを体験できます。

• https://typia.io/playground

ドキュメントをガイドします

ウェブサイトのドキュメントをご覧ください：

？家

• 導入
• 設定
• 純粋なタイプスクリプト

特徴

• ランタイムバリッタ
  • assert()関数
  • is()関数
  • validate()関数
  • 機能モジュール
  • 特別なタグ
• JSONを強化しました
  • JSONスキーマ
  • stringify()関数
  • parse()関数
• LLM関数呼び出し
  • application()関数
  • parameters()関数
  • schema()関数
  • ドキュメント戦略
• プロトコルバッファー
  • メッセージスキーマ
  • decode()関数
  • encode()関数
• ランダムジェネレーター
• その他

？付録

• APIドキュメント
• 利用ケース
  • ネストJ
  • プリスマ
  • TRPC
• ⇲ベンチマークの結果
• dev.to記事