Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

24.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

25.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.CloneNotSupportedException]) @native()

26.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

27.  def equals(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef → Any

28.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.Throwable])

29.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

30.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

31.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

32.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

33.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

34.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

35.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

36.  def toString(): String

    Definition Classes

    AnyRef → Any

37.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

38.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

39.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()