org.kynthus.hatalib.argparse.instance

RunInstances

object RunInstances extends RunInstances

引数解析を実行するための型クラスインスタンスをインポートできます。

Version

1.0.0

Since

1.0.0

Linear Supertypes
RunInstances, RunInstances0, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. RunInstances
  2. RunInstances
  3. RunInstances0
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. 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

  7. 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

  8. 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

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  15. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  16. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  17. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  20. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  21. def toString(): String

    Definition Classes
    AnyRef → Any
  22. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from RunInstances

Inherited from RunInstances0

Inherited from AnyRef

Inherited from Any

Ungrouped