trait RunInstances extends RunInstances0
引数解析を実行するための型クラスインスタンスを定義します。
- Version
1.0.0
- Since
1.0.0
- Alphabetic
- By Inheritance
- RunInstances
- RunInstances0
- Any
- Hide All
- Show All
- Public
- All
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##(): Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- implicit final def CategoryRun[Instance, Element, Category[_], Running, Ran[_]](implicit argumentElement: @@[ResultElement[Element], Argument.type], argumentConverter: @@[Aux[Element, String], Argument.type], argumentCategory: @@[ResultCategory[Category], Argument.type], runCategory: @@[ResultCategory[Ran], Run.type], bind: Bind[Ran], base: @@[Aux[Running, Ran[Instance]], OParser.type]): @@[Aux[Ran[Running], Ran[Instance]], OParser.type]
ラップされた型に対して引数解析を行います。
ラップされた型に対して引数解析を行います。
- Instance
引数解析の結果がマッピングされる型
- Element
コマンドライン引数の要素の型
- Category
コマンドライン引数の並びを格納する型
- Running
引数解析に必要な情報を保持する型
- Ran
ユーザ定義の高階型
- argumentElement
コマンドライン引数の要素の型を決定するマーカー
- argumentConverter
コマンドライン引数の要素の型をscala.Predef.Stringへ変換できることを証明する
- argumentCategory
コマンドライン引数の並びを格納する型を決定するマーカー
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- bind
平坦化変換が可能なことを保証する
- base
ラップされた型に対して引数解析が行えることを保証する
- returns
ラップされた型に対して引数解析を行う型クラスインスタンス
- Definition Classes
- RunInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def DefaultSetupRun[Input, Instance, Element, Category[_], Running <: HList, Hierarchy <: HList, Ran[_]](implicit argumentElement: @@[ResultElement[Element], Argument.type], argumentConverter: @@[Aux[Element, String], Argument.type], argumentCategory: @@[ResultCategory[Category], Argument.type], runCategory: @@[ResultCategory[Ran], Run.type], currentSelector: Aux[Running, T, OParser[Input, Instance]], hierarchySelector: Aux[Running, T, Hierarchy], hierarchyTraversable: Aux[Hierarchy, Seq, OParser[_, Instance]], decidedSelector: Aux[Running, T, List[Queue[OParser[_, Instance]]]], argsSelector: Aux[Running, T, Category[Element]], initialSelector: Aux[Running, T, Instance], categoryToSeq: ~>[Category, Seq], optionToRan: ~>[Option, Ran], setupNotExist: Refute[Selector[Running, T]]): @@[Aux[@@[Running, @@[Input, Instance]], Ran[Instance]], OParser.type]
デフォルトのパーサ動作設定を使用して引数解析を行います。
デフォルトのパーサ動作設定を使用して引数解析を行います。
- Input
現在設定中のパーサのオプションに対応する型
- Instance
引数解析の結果がマッピングされる型
- Element
コマンドライン引数の要素の型
- Category
コマンドライン引数の並びを格納する型
- Running
引数解析に必要な情報を保持する型
- Hierarchy
パーサ階層の型
- Ran
ユーザ定義の高階型
- argumentElement
コマンドライン引数の要素の型を決定するマーカー
- argumentConverter
コマンドライン引数の要素の型をscala.Predef.Stringへ変換できることを証明する
- argumentCategory
コマンドライン引数の並びを格納する型を決定するマーカー
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- currentSelector
構築後の情報に現在設定中のパーサが存在することを保証する
- hierarchySelector
構築後の情報にパーサ階層が存在することを保証する
- hierarchyTraversable
パーサ階層をscala.Traversableへ変換できることを保証する
- decidedSelector
構築後の情報に決定済みパーサが存在することを保証する
- argsSelector
構築後の情報にコマンドライン引数が存在することを保証する
- initialSelector
パーサの動作設定が既に存在することを保証する
- categoryToSeq
コマンドライン引数の並びを格納する型からscala.Seqへ変換できることを保証する
- optionToRan
scala.Optionからユーザ定義の高階型へ変換できることを保証する
- setupNotExist
構築後の情報がパーサの動作設定を保持していないことを保証する
- returns
デフォルトのパーサ動作設定を使用して引数解析を行う型クラスインスタンス
- Definition Classes
- RunInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UserSetupRun[Input, Instance, Element, Category[_], Running <: HList, Hierarchy <: HList, Ran[_]](implicit argumentElement: @@[ResultElement[Element], Argument.type], argumentConverter: @@[Aux[Element, String], Argument.type], argumentCategory: @@[ResultCategory[Category], Argument.type], runCategory: @@[ResultCategory[Ran], Run.type], currentSelector: Aux[Running, T, OParser[Input, Instance]], hierarchySelector: Aux[Running, T, Hierarchy], hierarchyTraversable: Aux[Hierarchy, Seq, OParser[_, Instance]], decidedSelector: Aux[Running, T, List[Queue[OParser[_, Instance]]]], argsSelector: Aux[Running, T, Category[Element]], initialSelector: Aux[Running, T, Instance], setupSelector: Aux[Running, T, OParserSetup], categoryToSeq: ~>[Category, Seq], optionToRan: ~>[Option, Ran]): @@[Aux[@@[Running, @@[Input, Instance]], Ran[Instance]], OParser.type]
ユーザ定義のパーサ動作設定を使用して引数解析を行います。
ユーザ定義のパーサ動作設定を使用して引数解析を行います。
- Input
現在設定中のパーサのオプションに対応する型
- Instance
引数解析の結果がマッピングされる型
- Element
コマンドライン引数の要素の型
- Category
コマンドライン引数の並びを格納する型
- Running
引数解析に必要な情報を保持する型
- Hierarchy
パーサ階層の型
- Ran
ユーザ定義の高階型
- argumentElement
コマンドライン引数の要素の型を決定するマーカー
- argumentConverter
コマンドライン引数の要素の型をscala.Predef.Stringへ変換できることを証明する
- argumentCategory
コマンドライン引数の並びを格納する型を決定するマーカー
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- currentSelector
構築後の情報に現在設定中のパーサが存在することを保証する
- hierarchySelector
構築後の情報にパーサ階層が存在することを保証する
- hierarchyTraversable
パーサ階層をscala.Traversableへ変換できることを保証する
- decidedSelector
構築後の情報に決定済みパーサが存在することを保証する
- argsSelector
構築後の情報にコマンドライン引数が存在することを保証する
- initialSelector
パーサの動作設定が既に存在することを保証する
- setupSelector
構築後の情報にユーザ定義のパーサ動作設定が存在することを保証する
- categoryToSeq
コマンドライン引数の並びを格納する型からscala.Seqへ変換できることを保証する
- optionToRan
scala.Optionからユーザ定義の高階型へ変換できることを保証する
- returns
ユーザ定義のパーサ動作設定を使用して引数解析を行う型クラスインスタンス
- Definition Classes
- RunInstances0
- Version
1.0.0
- Since
1.0.0
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def equals(arg0: Any): Boolean
- Definition Classes
- Any
- def hashCode(): Int
- Definition Classes
- Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def toString(): String
- Definition Classes
- Any