object ArgsInstances extends ArgsInstances
コマンドライン引数を追加するための型クラスインスタンスをインポートできます。
- Version
1.0.0
- Since
1.0.0
- Alphabetic
- By Inheritance
- ArgsInstances
- ArgsInstances
- ArgsInstances0
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- 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
- 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
- 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
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()