org.kynthus.hatalib.argparse

All

object All extends All

コマンドライン引数解析機能に関する全ての型クラスインスタンスとメソッド拡張用クラスをインポートできます。

Version

1.0.0

Since

1.0.0

Linear Supertypes
All, syntax.All, RunProductSyntax, RunProductSyntax0, SetupSyntax, SetupSyntax0, InitialSyntax, InitialSyntax0, ArgsSyntax, ArgsSyntax0, ParserSyntax, ParserSyntax0, ParserSyntax1, BuilderSyntax, BuilderSyntax0, instance.All, RunInstances, RunInstances0, SetupInstances, SetupInstances0, InitialInstances, InitialInstances0, ArgsInstances, ArgsInstances0, ParserInstances, ParserInstances0, BuilderInstances, BuilderInstances0, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. All
  2. All
  3. All
  4. RunProductSyntax
  5. RunProductSyntax0
  6. SetupSyntax
  7. SetupSyntax0
  8. InitialSyntax
  9. InitialSyntax0
  10. ArgsSyntax
  11. ArgsSyntax0
  12. ParserSyntax
  13. ParserSyntax0
  14. ParserSyntax1
  15. BuilderSyntax
  16. BuilderSyntax0
  17. All
  18. RunInstances
  19. RunInstances0
  20. SetupInstances
  21. SetupInstances0
  22. InitialInstances
  23. InitialInstances0
  24. ArgsInstances
  25. ArgsInstances0
  26. ParserInstances
  27. ParserInstances0
  28. BuilderInstances
  29. BuilderInstances0
  30. AnyRef
  31. 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 ArgsOps[Derived](derived: ⇒ Derived): ArgsOps[Derived]

    コマンドライン引数を追加するメソッドを付与するクラスへの暗黙変換です。

    コマンドライン引数を追加するメソッドを付与するクラスへの暗黙変換です。

    Derived

    コマンドライン引数を保持する型

    derived

    コマンドライン引数を保持する値

    returns

    コマンドライン引数を追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ArgsSyntax0
    Version

    1.0.0

    Since

    1.0.0

  7. implicit final def CategoryArgs[ConvertingArgument, ConvertedArgument, ConvertedCategory[_], DerivedArgs, OutputArgs, OutputCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedArgument], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], runCategory: @@[ResultCategory[OutputCategory], Run.type], bind: Bind[OutputCategory], base: Aux[DerivedArgs, ConvertingArgument, OutputCategory[OutputArgs]]): Aux[OutputCategory[DerivedArgs], ConvertingArgument, OutputCategory[OutputArgs]]

    ラップされた型に対してコマンドライン引数設定を行います。

    ラップされた型に対してコマンドライン引数設定を行います。

    ConvertingArgument

    コマンドライン引数へ変換可能な型

    ConvertedArgument

    コマンドライン引数の要素の型

    ConvertedCategory

    コマンドライン引数の並びを格納する型

    DerivedArgs

    コマンドライン引数設定前の型

    OutputArgs

    コマンドライン引数設定後の型

    OutputCategory

    構築中の情報をラップする型

    argumentElement

    コマンドライン引数の要素の型を決定するマーカー

    argumentCategory

    コマンドライン引数の並びを格納する型を決定するマーカー

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    base

    ラップされた型に対してコマンドライン引数設定が行えることを保証する

    returns

    ラップされた型に対してコマンドライン引数設定を行う型クラスインスタンス

    Definition Classes
    ArgsInstances0
    Version

    1.0.0

    Since

    1.0.0

  8. implicit final def CategoryChildrenParserOps[Derived, Category[_], Input, Instance](derived: ⇒ Category[@@[Derived, @@[Input, Instance]]])(implicit runCategory: @@[ResultCategory[Category], Run.type], bind: Bind[Category]): CategoryChildrenParserOps[Derived, Category, Input, Instance]

    ラップした型に対して、子パーサへの分岐を行うメソッドを付与するクラスへの暗黙変換です。

    ラップした型に対して、子パーサへの分岐を行うメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Category

    型パラメータを持ち、scalaz.Bindの特性を持つ型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    runCategory

    ラップする型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    returns

    ラップした型に対して、子パーサへの分岐を行うメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax1
    Version

    1.0.0

    Since

    1.0.0

  9. implicit final def CategoryConfigParserOps[Derived, Category[_], Input, Instance](derived: ⇒ Category[@@[Derived, @@[Input, Instance]]])(implicit runCategory: @@[ResultCategory[Category], Run.type], bind: Bind[Category]): CategoryConfigParserOps[Derived, Category, Input, Instance]

    ラップした型に対して、オプションに対する詳細設定を行うメソッドを付与するクラスへの暗黙変換です。

    ラップした型に対して、オプションに対する詳細設定を行うメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Category

    型パラメータを持ち、scalaz.Bindの特性を持つ型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    runCategory

    ラップする型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    returns

    ラップした型に対して、オプションに対する詳細設定を行うメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax1
    Version

    1.0.0

    Since

    1.0.0

  10. implicit final def CategoryElementParserOps[Derived, Category[_], Input, Instance](derived: ⇒ Category[@@[Derived, @@[Input, Instance]]])(implicit runCategory: @@[ResultCategory[Category], Run.type], bind: Bind[Category]): CategoryElementParserOps[Derived, Category, Input, Instance]

    ラップした型に対して、新しい型に対応したオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    ラップした型に対して、新しい型に対応したオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Category

    型パラメータを持ち、scalaz.Bindの特性を持つ型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    runCategory

    ラップする型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    returns

    ラップした型に対して、新しい型に対応したオプションを追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax1
    Version

    1.0.0

    Since

    1.0.0

  11. implicit final def CategoryInitial[ConvertingField, ConvertedField <: HList, DerivedInitial, OutputInitial, OutputCategory[_]](implicit runCategory: @@[ResultCategory[OutputCategory], Run.type], bind: Bind[OutputCategory], base: Aux[DerivedInitial, ConvertingField, OutputCategory[OutputInitial]]): Aux[OutputCategory[DerivedInitial], ConvertingField, OutputCategory[OutputInitial]]

    ラップされた型に対して初期値設定を行います。

    ラップされた型に対して初期値設定を行います。

    ConvertingField

    フィールドへ変換する値

    ConvertedField

    フィールドへ変換した値

    DerivedInitial

    初期値設定前の型

    OutputInitial

    初期値設定後の型

    OutputCategory

    構築中の情報をラップする型

    runCategory

    初期値を持つ値を格納する型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    base

    ラップされた型に対して初期値設定が行えることを保証する

    returns

    ラップされた型に対して初期値設定を行う型クラスインスタンス

    Definition Classes
    InitialInstances0
    Version

    1.0.0

    Since

    1.0.0

  12. implicit final def CategoryParentParserOps[Derived, Category[_], Input, Instance](derived: ⇒ Category[@@[Derived, @@[Input, Instance]]])(implicit runCategory: @@[ResultCategory[Category], Run.type], bind: Bind[Category]): CategoryParentParserOps[Derived, Category, Input, Instance]

    ラップした型に対して、親パーサへ合流を行うメソッドを付与するクラスへの暗黙変換です。

    ラップした型に対して、親パーサへ合流を行うメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Category

    型パラメータを持ち、scalaz.Bindの特性を持つ型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    runCategory

    ラップする型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    returns

    ラップした型に対して、親パーサへ合流を行うメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax1
    Version

    1.0.0

    Since

    1.0.0

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

  14. implicit final def CategorySetup[InsertingSetup, InsertedSetup, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], bind: Bind[InsertedCategory], base: Aux[InsertingSetup, InsertedCategory[InsertedSetup]]): Aux[InsertedCategory[InsertingSetup], InsertedCategory[InsertedSetup]]

    ラップされた型が持つ構築中の情報のパーサ動作設定を設定します。

    ラップされた型が持つ構築中の情報のパーサ動作設定を設定します。

    InsertingSetup

    動作設定の設定対象となる型

    InsertedSetup

    動作設定を設定した後の型

    InsertedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    base

    ラップされた型に対してパーサの動作設定が行えることを保証する

    returns

    ラップされた型が持つ構築中の情報に対しパーサ動作設定を設定する型クラスインスタンス

    Definition Classes
    SetupInstances0
    Version

    1.0.0

    Since

    1.0.0

  15. implicit final def CategoryUnitParserOps[Derived, Category[_], Input, Instance](derived: ⇒ Category[@@[Derived, @@[Input, Instance]]])(implicit runCategory: @@[ResultCategory[Category], Run.type], bind: Bind[Category]): CategoryUnitParserOps[Derived, Category, Input, Instance]

    ラップした型に対して、型を持たないオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    ラップした型に対して、型を持たないオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Category

    型パラメータを持ち、scalaz.Bindの特性を持つ型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    runCategory

    ラップする型を決定するマーカー

    bind

    平坦化変換が可能なことを保証する

    returns

    ラップした型に対して、型を持たないオプションを追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax1
    Version

    1.0.0

    Since

    1.0.0

  16. implicit final def ChildrenParserOps[Derived, Input, Instance](derived: @@[Derived, @@[Input, Instance]]): ChildrenParserOps[Derived, Input, Instance]

    子パーサへの分岐を行うメソッドを付与するクラスへの暗黙変換です。

    子パーサへの分岐を行うメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    returns

    新しい型に対応したオプションを追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax0
    Version

    1.0.0

    Since

    1.0.0

  17. implicit final def ConfigParserOps[Derived, Input, Instance](derived: ⇒ @@[Derived, @@[Input, Instance]]): ConfigParserOps[Derived, Input, Instance]

    オプションに対する詳細設定を行うメソッドを付与するクラスへの暗黙変換です。

    オプションに対する詳細設定を行うメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    returns

    新しい型に対応したオプションを追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax0
    Version

    1.0.0

    Since

    1.0.0

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

  19. implicit final def ElementParserOps[Derived, Input, Instance](derived: ⇒ @@[Derived, @@[Input, Instance]]): ElementParserOps[Derived, Input, Instance]

    新しい型に対応したオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    新しい型に対応したオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    returns

    新しい型に対応したオプションを追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax0
    Version

    1.0.0

    Since

    1.0.0

  20. implicit final def InitialOps[Derived](derived: ⇒ Derived): InitialOps[Derived]

    フィールド追加用メソッドを付与するクラスへの暗黙変換です。

    フィールド追加用メソッドを付与するクラスへの暗黙変換です。

    Derived

    フィールドを保持する型

    derived

    フィールドを保持する値

    returns

    フィールド追加用メソッドを付与するクラスのインスタンス

    Definition Classes
    InitialSyntax0
    Version

    1.0.0

    Since

    1.0.0

  21. implicit final def InsertArgs[ConvertingArgument, ConvertedArgument, ConvertedCategory[_], UnusedKeys, InsertingArgs <: HList, InsertedArgs <: HList, InsertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedArgument], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], argument: Aux[ConvertingArgument, ConvertedCategory[ConvertedArgument]], argsUpdater: Aux[InsertingArgs, FieldType[T, ConvertedCategory[ConvertedArgument]], InsertedArgs], argsNotExist: Refute[Selector[InsertingArgs, T]]): Aux[@@[InsertingArgs, UnusedKeys], ConvertingArgument, InsertedCategory[@@[InsertedArgs, UnusedKeys]]]

    構築中の情報へコマンドライン引数を付与します。

    構築中の情報へコマンドライン引数を付与します。

    ConvertingArgument

    コマンドライン引数へ変換可能な型

    ConvertedArgument

    コマンドライン引数の要素の型

    ConvertedCategory

    コマンドライン引数の並びを格納する型

    UnusedKeys

    パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)

    InsertingArgs

    コマンドライン引数の付与対象となる型

    InsertedArgs

    コマンドライン引数を付与した後の型

    InsertedCategory

    構築中の情報をラップする型

    argumentElement

    コマンドライン引数の要素の型を決定するマーカー

    argumentCategory

    コマンドライン引数の並びを格納する型を決定するマーカー

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    argument

    付与する型がコマンドライン引数へ変換可能なことを保証する

    argsUpdater

    構築中の情報へを付与できることを保証する

    argsNotExist

    構築中の情報がまだコマンドライン引数を持たないことを保証する

    returns

    構築中の情報へコマンドライン引数を付与する型クラスインスタンス

    Definition Classes
    ArgsInstances0
    Version

    1.0.0

    Since

    1.0.0

  22. implicit final def InsertElementParser[Input, Instance, NewInput, InsertingParser <: HList, InsertedParser <: HList, InsertedCategory[_]](implicit arg0: Read[NewInput], runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], currentUpdater: Aux[InsertingParser, FieldType[T, OParser[NewInput, Instance]], InsertedParser], currentNotExist: Refute[Selector[InsertingParser, T]]): Aux[@@[InsertingParser, @@[Input, Instance]], NewInput, Instance, InsertedCategory[@@[InsertedParser, @@[NewInput, Instance]]]]

    構築中の情報へ新しい型に対応したオプションを付与します。

    構築中の情報へ新しい型に対応したオプションを付与します。

    Input

    パーサの現在値の型

    Instance

    現在の初期値の型

    NewInput

    パーサの新しい型

    InsertingParser

    新しい型に対応したオプションを付与する型

    InsertedParser

    新しい型に対応したオプションを付与した型

    InsertedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    currentUpdater

    構築中の情報が持つ現在設定中のパーサを更新できることを保証する

    currentNotExist

    構築中の情報が現在設定中のパーサを持たないことを保証する

    returns

    構築中の情報へ新しい型に対応したオプションを付与する型クラスインスタンス

    Definition Classes
    ParserInstances0
    Version

    1.0.0

    Since

    1.0.0

  23. implicit final def InsertInitial[ConvertingField, ConvertedField <: HList, UnusedKeys, InsertingInitial <: HList, InsertedDecided <: HList, InsertedInitial <: HList, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], initialField: Aux[ConvertingField, ConvertedField], decidedUpdater: Aux[InsertingInitial, FieldType[T, List[Queue[OParser[_, ConvertedField]]]], InsertedDecided], initialUpdater: Aux[InsertedDecided, FieldType[T, ConvertedField], InsertedInitial], currentNotExist: Refute[Selector[InsertingInitial, T]], initialNotExist: Refute[Selector[InsertingInitial, T]]): Aux[@@[InsertingInitial, UnusedKeys], ConvertingField, InsertedCategory[@@[InsertedInitial, @@[Unit, ConvertedField]]]]

    構築中の情報へ初期値を付与します。

    構築中の情報へ初期値を付与します。

    ConvertingField

    フィールドへ変換する型

    ConvertedField

    フィールドへ変換した型

    UnusedKeys

    パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)

    InsertingInitial

    初期値の付与対象となる型

    InsertedDecided

    決定済みパーサを更新した後の型

    InsertedInitial

    初期値を付与した後の型

    InsertedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    initialField

    初期値として付与する型がフィールドへ変換可能なことを保証する

    decidedUpdater

    構築中の情報の決定済みパーサを更新できることを保証する

    initialUpdater

    構築中の情報へ初期値を付与できることを保証する

    currentNotExist

    構築中の情報が現在設定中のパーサを持たないことを保証する

    initialNotExist

    構築中の情報がまだ初期値を持たないことを保証する

    returns

    構築中の情報へ初期値を付与する型クラスインスタンス

    Definition Classes
    InitialInstances0
    Version

    1.0.0

    Since

    1.0.0

  24. implicit final def InsertSetup[InsertingSetup <: HList, UnusedKeys, InsertedSetup <: HList, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], setupUpdater: Aux[InsertingSetup, FieldType[T, OParserSetup], InsertedSetup], setupNotExist: Refute[Selector[InsertingSetup, T]]): Aux[@@[InsertingSetup, UnusedKeys], InsertedCategory[@@[InsertedSetup, UnusedKeys]]]

    構築中の情報へパーサの動作設定を追加します。

    構築中の情報へパーサの動作設定を追加します。

    InsertingSetup

    動作設定の追加対象となる型

    UnusedKeys

    パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)

    InsertedSetup

    動作設定を追加した後の型

    InsertedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    setupUpdater

    パーサの動作設定を追加可能なことを保証する

    setupNotExist

    パーサの動作設定をまだ保持していないことを保証する

    returns

    構築中の情報へパーサの動作設定を追加する型クラスインスタンス

    Definition Classes
    SetupInstances0
    Version

    1.0.0

    Since

    1.0.0

  25. implicit final def InsertUnitParser[UnusedInput, Instance, InsertingParser <: HList, InsertedParser <: HList, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], currentUpdater: Aux[InsertingParser, FieldType[T, OParser[Unit, Instance]], InsertedParser], currentNotExist: Refute[Selector[InsertingParser, T]]): Aux[@@[InsertingParser, @@[UnusedInput, Instance]], Instance, InsertedCategory[@@[InsertedParser, @@[Unit, Instance]]]]

    構築中の情報へ型を持たないオプションを付与します。

    構築中の情報へ型を持たないオプションを付与します。

    UnusedInput

    パーサの現在値の型(未使用)

    Instance

    現在の初期値の型

    InsertingParser

    型を持たないオプションを付与する型

    InsertedParser

    型を持たないオプションを付与した型

    InsertedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    currentUpdater

    構築中の情報が持つ現在設定中のパーサを更新できることを保証する

    currentNotExist

    構築中の情報が現在設定中のパーサを持たないことを保証する

    returns

    構築中の情報へ型を持たないオプションを付与する型クラスインスタンス。

    Definition Classes
    ParserInstances0
    Version

    1.0.0

    Since

    1.0.0

  26. implicit final def OParserParseBuilder[Category[_]](implicit runCategory: @@[ResultCategory[Category], Run.type], applicative: Applicative[Category]): @@[Aux[OParser.type, Category[@@[::[FieldType[T, HNil], HNil], Unit]]], OParser.type]

    空の構築情報を生成します。

    空の構築情報を生成します。

    Category

    構築情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築情報をラップ可能なことを保証する

    returns

    空の構築情報を生成する型クラスインスタンス

    Definition Classes
    BuilderInstances0
    Version

    1.0.0

    Since

    1.0.0

  27. implicit final def ParentParserOps[Derived, Input, Instance](derived: ⇒ @@[Derived, @@[Input, Instance]]): ParentParserOps[Derived, Input, Instance]

    親パーサへ合流を行うメソッドを付与するクラスへの暗黙変換です。

    親パーサへ合流を行うメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    returns

    新しい型に対応したオプションを追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax0
    Version

    1.0.0

    Since

    1.0.0

  28. implicit final def ParseBuilderOps[Derived](derived: ⇒ Derived): ParseBuilderOps[Derived]

    構築情報生成用のメソッドを付与するクラスへの暗黙変換です。

    構築情報生成用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築情報の初期値の型

    derived

    構築情報の初期値

    returns

    構築情報生成用のメソッドを付与するクラスのインスタンス

    Definition Classes
    BuilderSyntax0
    Version

    1.0.0

    Since

    1.0.0

  29. implicit final def RunProductOps[Derived](derived: ⇒ Derived): RunProductOps[Derived]

    タグ付きのデータ型に対して、汎用型からの変換も兼ねる実行用のメソッドを付与するクラスへの暗黙変換です。

    タグ付きのデータ型に対して、汎用型からの変換も兼ねる実行用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    実行可能な型

    derived

    実行可能な値

    returns

    タグ付きのデータ型に対して、汎用型からの変換も兼ねる実行用のメソッドを付与するクラスのインスタンス

    Definition Classes
    RunProductSyntax0
    Version

    1.0.0

    Since

    1.0.0

  30. implicit final def SetupOps[Derived](derived: ⇒ Derived): SetupOps[Derived]

    パーサの動作設定上書き用のメソッドを付与するクラスへの暗黙変換です。

    パーサの動作設定上書き用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    パーサの動作設定を保持する型

    derived

    パーサの動作設定を保持する値

    returns

    パーサの動作設定上書き用のメソッドを付与するクラスのインスタンス

    Definition Classes
    SetupSyntax0
    Version

    1.0.0

    Since

    1.0.0

  31. implicit final def UnitParserOps[Derived, Input, Instance](derived: ⇒ @@[Derived, @@[Input, Instance]]): UnitParserOps[Derived, Input, Instance]

    型を持たないオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    型を持たないオプションを追加するメソッドを付与するクラスへの暗黙変換です。

    Derived

    構築中のパーサを保持する型

    Input

    現在値の型

    Instance

    各オプションの初期値を持つ型

    derived

    構築中のパーサを保持する値

    returns

    新しい型に対応したオプションを追加するメソッドを付与するクラスのインスタンス

    Definition Classes
    ParserSyntax0
    Version

    1.0.0

    Since

    1.0.0

  32. implicit final def UpdateArgs[ConvertingArgument, ConvertedArgument, ConvertedCategory[_], UnusedKeys, UpdatingArgs <: HList, UpdatedArgs <: HList, UpdatedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedArgument], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plus: Plus[ConvertedCategory], runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], argument: Aux[ConvertingArgument, ConvertedCategory[ConvertedArgument]], argsSelector: Aux[UpdatingArgs, T, ConvertedCategory[ConvertedArgument]], argsUpdater: Aux[UpdatingArgs, FieldType[T, ConvertedCategory[ConvertedArgument]], UpdatedArgs]): Aux[@@[UpdatingArgs, UnusedKeys], ConvertingArgument, UpdatedCategory[@@[UpdatedArgs, UnusedKeys]]]

    構築中の情報へコマンドライン引数を追加します。

    構築中の情報へコマンドライン引数を追加します。

    ConvertingArgument

    コマンドライン引数へ変換可能な型

    ConvertedArgument

    コマンドライン引数の要素の型

    ConvertedCategory

    コマンドライン引数の並びを格納する型

    UnusedKeys

    パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)

    UpdatingArgs

    コマンドライン引数の追加対象となる型

    UpdatedArgs

    構築中の情報へ新しいコマンドライン引数を設定しなおした型

    UpdatedCategory

    構築中の情報をラップする型

    argumentElement

    コマンドライン引数の要素の型を決定するマーカー

    argumentCategory

    コマンドライン引数の並びを格納する型を決定するマーカー

    plus

    もとあるコマンドライン引数と追加するコマンドラインが連結可能なことを保証する

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    argument

    付与する型がコマンドライン引数へ変換可能なことを保証する

    argsSelector

    構築中の情報から設定済みのコマンドライン引数を取得できることを保証する

    argsUpdater

    構築中の情報へ新しいコマンドライン引数を設定しなおせることを保証する

    returns

    構築中の情報へコマンドライン引数を追加する型クラスインスタンス

    Definition Classes
    ArgsInstances0
    Version

    1.0.0

    Since

    1.0.0

  33. implicit final def UpdateChildrenParser[Input, Instance, UpdatingParser <: HList, ExistHierarchy <: HList, RemovedCurrent <: HList, RemovedHierarchy <: HList, UpdatedHierarchy <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], hierarchyRemover: shapeless.ops.record.Remover.Aux[RemovedCurrent, T, (ExistHierarchy, RemovedHierarchy)], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], hierarchyUpdater: Aux[RemovedHierarchy, FieldType[T, ::[OParser[Input, Instance], ExistHierarchy]], UpdatedHierarchy], decidedUpdater: Aux[UpdatedHierarchy, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], UpdatedCategory[@@[UpdatedDecided, @@[Input, Instance]]]]

    構築中の情報を子パーサへ分岐させます。

    構築中の情報を子パーサへ分岐させます。

    Input

    パーサの現在値の型

    Instance

    現在の初期値の型

    UpdatingParser

    子パーサへの分岐を行う型

    ExistHierarchy

    現在のパーサ階層の型

    RemovedCurrent

    構築中の情報から現在設定中のパーサを削除した後の型

    RemovedHierarchy

    構築中の情報からパーサ階層を削除した後の型

    UpdatedHierarchy

    パーサ階層を更新した後の型

    UpdatedDecided

    決定済みパーサを更新した後の型

    UpdatedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    currentRemover

    構築中の情報から現在設定中のパーサを削除できることを保証する

    hierarchyRemover

    構築中の情報からパーサ階層を削除できることを保証する

    decidedSelector

    構築中の情報に決定済みパーサが存在することを保証する

    hierarchyUpdater

    構築中の情報が持つパーサ階層を更新できることを保証する

    decidedUpdater

    構築中の情報が持つ決定済みパーサを更新できることを保証する

    returns

    構築中の情報を子パーサへ分岐させる型クラスインスタンス

    Definition Classes
    ParserInstances0
    Version

    1.0.0

    Since

    1.0.0

  34. implicit final def UpdateConfigParser[Input, Instance, UpdatingParser <: HList, UpdatedParser <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentSelector: Aux[UpdatingParser, T, OParser[Input, Instance]], currentUpdater: Aux[UpdatingParser, FieldType[T, OParser[Input, Instance]], UpdatedParser]): Aux[@@[UpdatingParser, @@[Input, Instance]], Input, Instance, UpdatedCategory[@@[UpdatedParser, @@[Input, Instance]]]]

    構築中の情報のうちオプションに対する詳細設定を追加します。

    構築中の情報のうちオプションに対する詳細設定を追加します。

    Input

    パーサの現在値の型

    Instance

    現在の初期値の型

    UpdatingParser

    詳細設定を追加する型

    UpdatedParser

    詳細設定を追加した型

    UpdatedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    currentSelector

    構築後の情報に現在設定中のパーサが存在することを保証する

    currentUpdater

    構築中の情報が持つ現在設定中のパーサを更新できることを保証する

    returns

    構築中の情報のうちオプションに対する詳細設定を追加する型クラスインスタンス

    Definition Classes
    ParserInstances0
    Version

    1.0.0

    Since

    1.0.0

  35. implicit final def UpdateElementParser[Input, Instance, NewInput, UpdatingParser <: HList, RemovedCurrent <: HList, UpdatedCurrent <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit arg0: Read[NewInput], runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], currentUpdater: Aux[RemovedCurrent, FieldType[T, OParser[NewInput, Instance]], UpdatedCurrent], decidedUpdater: Aux[UpdatedCurrent, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], NewInput, Instance, UpdatedCategory[@@[UpdatedDecided, @@[NewInput, Instance]]]]

    構築中の情報へ新しい型に対応したオプションを追加します。

    構築中の情報へ新しい型に対応したオプションを追加します。

    Input

    パーサの現在値の型

    Instance

    現在の初期値の型

    NewInput

    パーサの新しい型

    UpdatingParser

    新しい型に対応したオプションを追加する型

    RemovedCurrent

    現在設定中のパーサを削除した後の型

    UpdatedCurrent

    現在設定中のパーサを新しい型に対応したオプションで設定しなおした型

    UpdatedDecided

    決定済みパーサを更新した型

    UpdatedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    currentRemover

    構築中の情報から現在設定中のパーサを削除できることを保証する

    decidedSelector

    構築中の情報に決定済みパーサが存在することを保証する

    currentUpdater

    構築中の情報が持つ現在設定中のパーサを更新できることを保証する

    decidedUpdater

    構築中の情報が持つ決定済みパーサを更新できることを保証する

    returns

    構築中の情報へ新しい型に対応したオプションを追加する型クラスインスタンス

    Definition Classes
    ParserInstances0
    Version

    1.0.0

    Since

    1.0.0

  36. implicit final def UpdateInitial[ConvertingField, ConvertedField <: HList, Input, UpdatingInitial <: HList, ExistInitial <: HList, RemovedInitial <: HList, ExistDecided, RemovedDecided <: HList, MergedInitial <: HList, ExistHierarchy <: HList, UpdatedDecided <: HList, UpdatedInitial <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], initialField: Aux[ConvertingField, ConvertedField], initialSelector: Aux[UpdatingInitial, T, ExistInitial], initialRemover: shapeless.ops.record.Remover.Aux[UpdatingInitial, T, (ExistInitial, RemovedInitial)], initialMerger: shapeless.ops.record.Merger.Aux[ExistInitial, ConvertedField, MergedInitial], decidedRemover: shapeless.ops.record.Remover.Aux[RemovedInitial, T, (ExistDecided, RemovedDecided)], decidedUpdater: Aux[RemovedDecided, FieldType[T, List[Queue[OParser[_, MergedInitial]]]], UpdatedDecided], initialUpdater: Aux[UpdatedDecided, FieldType[T, MergedInitial], UpdatedInitial], currentNotExist: Refute[Selector[UpdatingInitial, T]], hierarchySelector: Aux[UpdatingInitial, T, ExistHierarchy], hierarchyIsEmpty: ===[ExistHierarchy, HNil]): Aux[@@[UpdatingInitial, @@[Input, ExistInitial]], ConvertingField, UpdatedCategory[@@[UpdatedInitial, @@[Input, MergedInitial]]]]

    構築中の情報へ初期値を追加します。

    構築中の情報へ初期値を追加します。

    ConvertingField

    フィールドへ変換する型

    ConvertedField

    フィールドへ変換した型

    Input

    パーサの現在値の型

    UpdatingInitial

    初期値の追加対象となる型

    ExistInitial

    現在の初期値の型

    RemovedInitial

    構築中の情報から設定済みの初期値を削除した後の型

    ExistDecided

    現在の決定済みパーサの型

    RemovedDecided

    構築中の情報から決定済みパーサを削除した後の型

    MergedInitial

    現在の初期値と追加する初期値をマージした型

    ExistHierarchy

    現在のパーサ階層の型

    UpdatedDecided

    構築中の情報へ新しい決定済みパーサを追加しなおした型

    UpdatedInitial

    構築中の情報へ新しい初期値を設定しなおした型

    UpdatedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    initialField

    初期値として付与する型がフィールドへ変換可能なことを保証する

    initialSelector

    構築中の情報から設定済みの初期値を取得できることを保証する

    initialRemover

    構築中の情報から設定済みの初期値を削除できることを保証する

    initialMerger

    設定済みの初期値と新しい初期値がマージ可能なことを保証する

    decidedRemover

    構築中の情報から決定済みのパーサを削除できることを保証する

    decidedUpdater

    構築中の情報へ新しい決定済みのパーサを追加しなおせることを保証する

    initialUpdater

    構築中の情報へ新しい初期値を設定しなおせることを保証する

    currentNotExist

    構築中の情報に現在設定中のパーサが存在しないことを保証する

    hierarchySelector

    構築中の情報がパーサ階層を持つことを保証する

    hierarchyIsEmpty

    構築中の情報が保持するパーサ階層が空の状態であることを保証する

    returns

    構築中の情報へ初期値を追加する型クラスインスタンス

    Definition Classes
    InitialInstances0
    Version

    1.0.0

    Since

    1.0.0

  37. implicit final def UpdateParentParser[Input, Instance, NewInput, UpdatingParser <: HList, RemovedCurrent <: HList, UpdatedCurrent <: HList, TailHierarchy <: HList, RemovedHierarchy <: HList, UpdatedHierarchy <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], lazyHierarchyRemover: Lazy[shapeless.ops.record.Remover.Aux[RemovedCurrent, T, (::[OParser[NewInput, Instance], TailHierarchy], RemovedHierarchy)]], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], currentUpdater: Aux[RemovedHierarchy, FieldType[T, OParser[NewInput, Instance]], UpdatedCurrent], hierarchyUpdater: Aux[UpdatedCurrent, FieldType[T, TailHierarchy], UpdatedHierarchy], decidedUpdater: Aux[UpdatedHierarchy, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], UpdatedCategory[@@[UpdatedDecided, @@[NewInput, Instance]]]]

    構築中の情報を親パーサへ合流させます。

    構築中の情報を親パーサへ合流させます。

    Input

    パーサの現在値の型

    Instance

    現在の初期値の型

    NewInput

    親パーサへの合流後の現在値の型

    UpdatingParser

    親パーサへの合流を行う型

    RemovedCurrent

    構築中の情報から現在設定中のパーサを削除した後の型

    UpdatedCurrent

    現在設定中のパーサを更新した後の型

    TailHierarchy

    パーサ階層の2番目以降の型

    RemovedHierarchy

    構築中の情報からパーサ階層を削除した後の型

    UpdatedHierarchy

    パーサ階層を更新した後の型

    UpdatedDecided

    決定済みパーサを更新した後の型

    UpdatedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    currentRemover

    構築中の情報から現在設定中のパーサを削除できることを保証する

    lazyHierarchyRemover

    構築中の情報からパーサ階層を削除できることを保証する(再帰的なので遅延)

    decidedSelector

    構築中の情報に決定済みパーサが存在することを保証する

    currentUpdater

    構築中の情報が持つ現在設定中のパーサを更新できることを保証する

    hierarchyUpdater

    構築中の情報が持つパーサ階層を更新できることを保証する

    decidedUpdater

    構築中の情報が持つ決定済みパーサを更新できることを保証する

    returns

    構築中の情報を親パーサへ合流させる型クラスインスタンス

    Definition Classes
    ParserInstances0
    Version

    1.0.0

    Since

    1.0.0

  38. implicit final def UpdateSetup[UnusedKey, HasSetup <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], setupSelector: Aux[HasSetup, T, OParserSetup], setupUpdater: Aux[HasSetup, FieldType[T, OParserSetup], HasSetup]): Aux[@@[HasSetup, UnusedKey], UpdatedCategory[@@[HasSetup, UnusedKey]]]

    構築中の情報が持つパーサの動作設定を更新します。

    構築中の情報が持つパーサの動作設定を更新します。

    UnusedKey

    パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)

    HasSetup

    動作設定の型(更新前・更新後で同一)

    UpdatedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    setupSelector

    パーサの動作設定が既に存在することを保証する

    setupUpdater

    パーサの動作設定を更新可能なことを保証する

    returns

    構築中の情報が持つパーサの動作設定を更新する型クラスインスタンス

    Definition Classes
    SetupInstances0
    Version

    1.0.0

    Since

    1.0.0

  39. implicit final def UpdateUnitParser[Input, Instance, UpdatingParser <: HList, RemovedCurrent <: HList, UpdatedCurrent <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], currentUpdater: Aux[RemovedCurrent, FieldType[T, OParser[Unit, Instance]], UpdatedCurrent], decidedUpdater: Aux[UpdatedCurrent, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], Instance, UpdatedCategory[@@[UpdatedDecided, @@[Unit, Instance]]]]

    構築中の情報へ型を持たないオプションを追加します。

    構築中の情報へ型を持たないオプションを追加します。

    Input

    パーサの現在値の型

    Instance

    現在の初期値の型

    UpdatingParser

    型を持たないオプションを追加する型

    RemovedCurrent

    現在設定中のパーサを削除した後の型

    UpdatedCurrent

    現在設定中のパーサを型を持たないオプションで設定しなおした型

    UpdatedDecided

    決定済みパーサを更新した型

    UpdatedCategory

    構築中の情報をラップする型

    runCategory

    動作設定を持つ値を格納する型を決定するマーカー

    applicative

    構築中の情報をラップ可能なことを保証する

    currentRemover

    構築中の情報から現在設定中のパーサを削除できることを保証する

    decidedSelector

    構築中の情報に決定済みパーサが存在することを保証する

    currentUpdater

    構築中の情報が持つ現在設定中のパーサを更新できることを保証する

    decidedUpdater

    構築中の情報が持つ決定済みパーサを更新できることを保証する

    returns

    構築中の情報へ型を持たないオプションを追加する型クラスインスタンス

    Definition Classes
    ParserInstances0
    Version

    1.0.0

    Since

    1.0.0

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

  41. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  42. def clone(): AnyRef

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef
  53. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from All

Inherited from syntax.All

Inherited from RunProductSyntax

Inherited from RunProductSyntax0

Inherited from SetupSyntax

Inherited from SetupSyntax0

Inherited from InitialSyntax

Inherited from InitialSyntax0

Inherited from ArgsSyntax

Inherited from ArgsSyntax0

Inherited from ParserSyntax

Inherited from ParserSyntax0

Inherited from ParserSyntax1

Inherited from BuilderSyntax

Inherited from BuilderSyntax0

Inherited from instance.All

Inherited from RunInstances

Inherited from RunInstances0

Inherited from SetupInstances

Inherited from SetupInstances0

Inherited from InitialInstances

Inherited from InitialInstances0

Inherited from ArgsInstances

Inherited from ArgsInstances0

Inherited from ParserInstances

Inherited from ParserInstances0

Inherited from BuilderInstances

Inherited from BuilderInstances0

Inherited from AnyRef

Inherited from Any

Ungrouped