org.kynthus.hatalib.argparse.instance

ArgsInstances

trait ArgsInstances extends ArgsInstances0

コマンドライン引数を追加するための型クラスインスタンスを定義します。

Version

1.0.0

Since

1.0.0

Linear Supertypes
ArgsInstances0, Any
Known Subclasses
All, All, All, All, ArgsInstances
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ArgsInstances
  2. ArgsInstances0
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def getClass(): Class[_]

    Definition Classes
    Any

Concrete Value Members

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

    Definition Classes
    Any

  2. final def ##(): Int

    Definition Classes
    Any

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

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

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

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  8. def equals(arg0: Any): Boolean

    Definition Classes
    Any

  9. def hashCode(): Int

    Definition Classes
    Any

  10. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  11. def toString(): String

    Definition Classes
    Any

Inherited from ArgsInstances0

Inherited from Any

Ungrouped