Pact スマート コントラクト言語リファレンス

Contents:

• Pact スマート コントラクト言語リファレンス
• Rest API
  • cmd フィールドとペイロード
    • exec ペイロード
    • cont ペイロード
  • エンドポイント
    • /send
    • /private
    • /poll
    • /listen
    • /local
  • API リクエスト フォーマッター
    • リクエストのYAML ファイル形式
• 概念の説明
  • 実行モード
    • コントラクト定義
    • トランザクション実行
    • クエリおよびローカル実行
  • データベース操作
    • アトミックな実行
    • キー/行モデル
    • クエリとパフォーマンス
    • Null 値なし
    • バージョン管理された履歴
    • バックエンド
  • 型とスキーマ
    • 実行時の型の施行
    • モジュール内の型推論
    • 形式検証
  • キーセットと認証
    • キーセット定義
    • キーセット述語
    • キーの循環
    • モジュールのテーブル・ガード
    • 行ごとのキーセット
  • 計算モデル
    • チューリング不完全
    • 変数への単一割り当て
    • データ型
    • パフォーマンス
    • 制御フロー
    • 関数型言語の概念
    • 副作用のない実行
    • LISP
    • メッセージ データ
  • 機密保持
    • エンティティ
    • 互いに素なデータベース
    • 機密保持のための pacts
  • “Pacts” による非同期トランザクションの自動化
    • パブリック pacts
    • プライベート pacts
    • 失敗、ロールバック、キャンセル
    • イールドと再開
    • Pact 実行スコープと pact-id
    • pacts のテスト
  • モジュールの依存管理
    • モジュール ハッシュ
    • use を使用したモジュール バージョンの固定
    • インライン化された依存のモジュール
    • ハッシュの「ブレス」
    • “v2” モジュールによる段階的アップグレード
• シンタックス
  • リテラル
    • 文字列
    • シンボル
    • 整数
    • 小数
    • ブール
    • リスト
    • オブジェクト
    • バインディング
  • 型の指定
    • 型リテラル
    • スキーマ型リテラル
    • 型指定の対象
  • 特殊形式
    • ドキュメントとメタデータ
    • bless
    • defun
    • defconst
    • defpact
    • defschema
    • deftable
    • let
    • let*
    • step
    • step-with-rollback
    • use
    • module
  • 式
    • アトム
    • S 式
    • 参照
• 時間形式
  • デフォルト形式と JSON のシリアル化
  • 例
    • ISO8601
    • RFC822
    • YYYY-MM-DD hh:mm:ss.000000
• データベースのシリアル化形式
  • 試行的なベータ版の機能に関する重要な警告
  • JSON 値によるキー値の形式
  • Pact データ型のコーデック
    • 整数
    • 小数
    • ブール
    • 文字列
    • 時刻
    • JSON 値/blob
    • キーセット
  • モジュール (ユーザー) テーブル
    • 列名
    • ユーザー データ テーブル
    • ユーザー トランザクション テーブル
• 組み込み関数
  • 一般的な関数
    • at
    • bind
    • compose
    • constantly
    • contains
    • drop
    • enforce
    • enforce-one
    • enforce-pact-version
    • filter
    • fold
    • format
    • hash
    • identity
    • if
    • length
    • list
    • list-modules
    • make-list
    • map
    • pact-id
    • pact-version
    • read-decimal
    • read-integer
    • read-msg
    • remove
    • resume
    • reverse
    • sort
    • str-to-int
    • take
    • tx-hash
    • typeof
    • where
    • yield
  • データベース
    • create-table
    • describe-keyset
    • describe-module
    • describe-table
    • insert
    • keylog
    • keys
    • read
    • select
    • txids
    • txlog
    • update
    • with-default-read
    • with-read
    • write
  • 時刻
    • add-time
    • days
    • diff-time
    • format-time
    • hours
    • minutes
    • parse-time
    • time
  • 演算子
    • !=
    • *
    • +
    • -
    • /
    • <
    • <=
    • =
    • >
    • >=
    • ^
    • abs
    • and
    • and?
    • ceiling
    • exp
    • floor
    • ln
    • log
    • mod
    • not
    • not?
    • or
    • or?
    • round
    • sqrt
  • キーセット
    • define-keyset
    • enforce-keyset
    • keys-2
    • keys-all
    • keys-any
    • read-keyset
  • REPL 専用の関数
    • begin-tx
    • bench
    • commit-tx
    • env-data
    • env-entity
    • env-gas
    • env-gaslimit
    • env-gasprice
    • env-gasrate
    • env-hash
    • env-keys
    • env-step
    • expect
    • expect-failure
    • json
    • load
    • pact-state
    • print
    • rollback-tx
    • sig-keyset
    • typecheck
    • verify
• Pact のプロパティ チェック システム
  • 概要
  • プロパティおよびスキーマの不変条件の記述
  • プロパティ チェッカーのしくみ
  • プロパティ チェッカーの使用方法
  • プロパティの表現
    • 引数、戻り値、標準の演算子、比較演算子
    • ブール演算子
    • トランザクションの中止と成功
    • プロパティ API の詳細
  • スキーマの不変条件の表現
    • キーセットの認証
    • データベース アクセス
    • 質量保存の法則と列の差分
    • 全称限定子と存在限定子
    • プロパティの定義と再使用
  • 単純な残高の移動の例
• プロパティと不変条件の関数
  • 数値演算子
    • +
    • -
    • *
    • /
    • ^
    • log
    • -
    • sqrt
    • ln
    • exp
    • abs
    • round
    • ceiling
    • floor
    • mod
  • 論理演算子
    • >
    • <
    • >=
    • <=
    • =
    • !=
    • and
    • or
    • not
    • when
  • オブジェクト演算子
    • at
    • +
  • 文字列演算子
    • length
    • +
  • 時間演算子
    • add-time
  • 定量演算子
    • forall
    • exists
  • トランザクション演算子
    • abort
    • success
    • result
  • データベース演算子
    • table-written
    • table-read
    • cell-delta
    • column-delta
    • column-written
    • column-read
    • row-read
    • row-written
    • row-read-count
    • row-write-count
  • 許可演算子
    • authorized-by
    • row-enforced