WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

"Rule" （コンパイルタイプ）

"Rule"::[tykey,tyvalue]

key と value について指定された型を持つ型を表す．

詳細

  • "Rule"はTypedおよび型を指定する関連した構造で使うことができる．
  • "Rule"オブジェクトは自動的にメモリ管理される．
  • "Rule"のキーと値は任意のコンパイル型を持つことができる．

コンストラクタ

  • RulesはコンパイルされたコードでRule (->, )で作成することができる．

特性

  • First[rule]は規則の最初の要素を返す．
  • Last[rule]は規則の最後の要素を返す．
  • 型"Rule"::[tykey,tyvalue]の rule に対するInformation[rule,"KeyType"]は tykey を与える．
  • 型"Rule"::[tykey,tyvalue]の rule に対するInformation[rule,"ValueType"]は tyvalue を与える．

変換

    式から

  • Rule式は，最初の要素が型 tykey に，最後の要素が型 tyvalue に変換できる場合，型"Rule"::[tykey,tyvalue]のコンパイルされたコードの要素に変換することができる．

    • 式へ

  • "Rule"コンパイル要素はRule式に変換することができる．

例題

例  (1)

"Rule"のインスタンスはコンパイルされたコード内で作成することができ，コンパイルされたコードから返ることができる：

Wolfram Language code: cf = FunctionCompile[Function[{Typed[k, "Integer64"], Typed[v, "String"]}, k -> v]]

整数と文字列の引数を持つ関数を呼び出し，規則を返す：

Wolfram Language code: cf[ 5, "Value"]

規則の式を入力し，最初の要素を返す：

Wolfram Language code: cf = FunctionCompile[Function[{Typed[r, "Rule"::["Integer64", "String"]]}, First[r]]]
Wolfram Language code: cf[5 -> "text"]

規則の式を入力し，最後の要素を返す：

Wolfram Language code: cf = FunctionCompile[Function[{Typed[r, "Rule"::["Integer64", "String"]]}, Last[r]]]
Wolfram Language code: cf[5 -> "text"]