org.kynthus.hatalib.core.instance

ArgumentInstances

object ArgumentInstances extends ArgumentInstances

コマンドライン引数へ変換するための型クラスインスタンスをインポートできます。

Version

1.0.0

Since

1.0.0

Linear Supertypes
ArgumentInstances, ArgumentInstances0, ArgumentInstances1, ArgumentInstances2, ArgumentInstances3, ArgumentInstances4, ArgumentInstances5, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ArgumentInstances
  2. ArgumentInstances
  3. ArgumentInstances0
  4. ArgumentInstances1
  5. ArgumentInstances2
  6. ArgumentInstances3
  7. ArgumentInstances4
  8. ArgumentInstances5
  9. AnyRef
  10. 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 BifoldableArgument[ConvertingElement1, ConvertingElement2, ConvertingCategory[_, _], ConvertedElement, ConvertedCategory[_]](implicit arg0: Bifoldable[ConvertingCategory], argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plusEmpty: PlusEmpty[ConvertedCategory], lazyElement1Argument: Lazy[Aux[ConvertingElement1, ConvertedCategory[ConvertedElement]]], lazyElement2rgument: Lazy[Aux[ConvertingElement2, ConvertedCategory[ConvertedElement]]]): Aux[ConvertingCategory[ConvertingElement1, ConvertingElement2], ConvertedCategory[ConvertedElement]]

    二階畳み込み可能な型をコマンドライン引数へ変換します。

    二階畳み込み可能な型をコマンドライン引数へ変換します。

    ConvertingElement1

    畳み込み可能な型がラップする1個目の型

    ConvertingElement2

    畳み込み可能な型がラップする2個目の型

    ConvertingCategory

    型パラメータを2つ持ち、二階畳み込み可能な型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    plusEmpty

    コマンドライン引数を空にできることを保証する

    lazyElement1Argument

    1個目の要素の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    lazyElement2rgument

    2個目の要素の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    returns

    二階畳み込み可能な型をコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances3
    Version

    1.0.0

    Since

    1.0.0

  7. implicit final def CConsArgument[ConvertingHead, ConvertingTail <: Coproduct, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], lazyHeadArgument: Lazy[Aux[ConvertingHead, ConvertedCategory[ConvertedElement]]], tailArguments: Aux[ConvertingTail, ConvertedCategory[ConvertedElement]]): Aux[:+:[ConvertingHead, ConvertingTail], ConvertedCategory[ConvertedElement]]

    shapeless.Coproductをコマンドライン引数へ変換します。

    shapeless.Coproductをコマンドライン引数へ変換します。

    ConvertingHead

    先頭の型

    ConvertingTail

    2番目以降の型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    lazyHeadArgument

    先頭の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    tailArguments

    2番目以降の型をコマンドライン引数へ変換できることを保証する

    returns

    shapeless.Coproductをコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances1
    Version

    1.0.0

    Since

    1.0.0

  8. implicit final def CNilArgument[ExtendsCNil <: CNil, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plusEmpty: PlusEmpty[ConvertedCategory]): Aux[ExtendsCNil, ConvertedCategory[ConvertedElement]]

    shapeless.CNilのサブタイプをコマンドライン引数へ変換します。

    shapeless.CNilのサブタイプをコマンドライン引数へ変換します。

    ExtendsCNil

    shapeless.CNilのサブタイプ

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    plusEmpty

    コマンドライン引数を空にできることを保証する

    returns

    shapeless.CNilのサブタイプをコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances1
    Version

    1.0.0

    Since

    1.0.0

  9. implicit final def ConvertibleArgument[ConvertingArgument, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], applicative: Applicative[ConvertedCategory], elementConverter: @@[Aux[ConvertingArgument, ConvertedElement], Argument.type]): Aux[ConvertingArgument, ConvertedCategory[ConvertedElement]]

    要素型へ変換可能な型をコマンドライン引数へ変換します。

    要素型へ変換可能な型をコマンドライン引数へ変換します。

    ConvertingArgument

    要素型へ変換可能な型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    applicative

    コマンドライン引数の並びとしてラップ可能なことを保証する

    elementConverter

    要素型へ変換可能なことを保証する

    returns

    要素型へ変換可能な型をコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances4
    Version

    1.0.0

    Since

    1.0.0

  10. implicit final def DurationArgument[ExtendsDuration <: Duration, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], lazyStringArgument: Lazy[Aux[String, ConvertedCategory[ConvertedElement]]], lazyPairArgument: Lazy[Aux[(Long, TimeUnit), ConvertedCategory[ConvertedElement]]]): Aux[ExtendsDuration, ConvertedCategory[ConvertedElement]]

    有限あるいは無限の期間をコマンドライン引数へ変換します。

    有限あるいは無限の期間をコマンドライン引数へ変換します。

    ExtendsDuration

    scala.concurrent.duration.Durationのサブタイプ

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    lazyStringArgument

    無限期間の場合に文字列をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    lazyPairArgument

    有限期間の場合に時間と単位をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    returns

    有限あるいは無限の期間をコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances0
    Version

    1.0.0

    Since

    1.0.0

  11. implicit final def FieldTypeArgument[ConvertingKey, ConvertingValue, ConvertedElement, ConvertedCategory[_]](implicit arg0: Aux[ConvertingKey], argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], lazyPairArgument: Lazy[Aux[(ConvertingKey, ConvertingValue), ConvertedCategory[ConvertedElement]]]): Aux[FieldType[ConvertingKey, ConvertingValue], ConvertedCategory[ConvertedElement]]

    shapeless.labelled.FieldTypeをコマンドライン引数へ変換します。

    shapeless.labelled.FieldTypeをコマンドライン引数へ変換します。

    ConvertingKey

    フィールド名の型

    ConvertingValue

    フィールドが持つ値の型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    lazyPairArgument

    2つの型を持つタプルをコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    returns

    shapeless.labelled.FieldTypeをコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances0
    Version

    1.0.0

    Since

    1.0.0

    Note

    Scala 2.13系でのみ使用できます。

  12. implicit final def Foldable1Argument[ConvertingElement, ConvertingCategory[_], ConvertedElement, ConvertedCategory[_]](implicit arg0: Foldable1[ConvertingCategory], argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plus: Plus[ConvertedCategory], lazyElementArgument: Lazy[Aux[ConvertingElement, ConvertedCategory[ConvertedElement]]]): Aux[ConvertingCategory[ConvertingElement], ConvertedCategory[ConvertedElement]]

    1つ以上の要素を持つ畳み込み可能な型をコマンドライン引数へ変換します(内部)。

    1つ以上の要素を持つ畳み込み可能な型をコマンドライン引数へ変換します(内部)。

    ConvertingElement

    1つ以上の要素を持つ畳み込み可能な型がラップする型

    ConvertingCategory

    型パラメータを持ち、畳み込み可能な型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    plus

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

    lazyElementArgument

    畳み込み可能な型がラップする型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    returns

    1つ以上の要素を持つ畳み込み可能な型をコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances2
    Version

    1.0.0

    Since

    1.0.0

  13. implicit final def FoldableArgument[ConvertingElement, ConvertingCategory[_], ConvertedElement, ConvertedCategory[_]](implicit arg0: Foldable[ConvertingCategory], argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plusEmpty: PlusEmpty[ConvertedCategory], lazyElementArgument: Lazy[Aux[ConvertingElement, ConvertedCategory[ConvertedElement]]]): Aux[ConvertingCategory[ConvertingElement], ConvertedCategory[ConvertedElement]]

    畳み込み可能な型をコマンドライン引数へ変換します。

    畳み込み可能な型をコマンドライン引数へ変換します。

    ConvertingElement

    畳み込み可能な型がラップする型

    ConvertingCategory

    型パラメータを持ち、畳み込み可能な型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    plusEmpty

    コマンドライン引数を空にできることを保証する

    lazyElementArgument

    畳み込み可能な型がラップする型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    returns

    畳み込み可能な型をコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances3
    Version

    1.0.0

    Since

    1.0.0

  14. implicit final def GenericArgument[ConvertingFrom, ConvertingTo, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], productGeneric: Aux[ConvertingFrom, ConvertingTo], lazyToArgument: Lazy[Aux[ConvertingTo, ConvertedCategory[ConvertedElement]]]): Aux[ConvertingFrom, ConvertedCategory[ConvertedElement]]

    汎用型をコマンドライン引数へ変換します。

    汎用型をコマンドライン引数へ変換します。

    ConvertingFrom

    汎用型として認識できる型

    ConvertingTo

    汎用型変換後の型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    productGeneric

    汎用型と相互変換可能なことを保証する

    lazyToArgument

    汎用型へ変換した型をさらにコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    returns

    汎用型をコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances5
    Version

    1.0.0

    Since

    1.0.0

  15. implicit final def HCons1Argument[ConvertingElement, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], lazyArgument: Lazy[Aux[ConvertingElement, ConvertedCategory[ConvertedElement]]]): Aux[::[ConvertingElement, HNil], ConvertedCategory[ConvertedElement]]

    1個だけ要素を持つshapeless.HListをコマンドライン引数へ変換します。

    1個だけ要素を持つshapeless.HListをコマンドライン引数へ変換します。

    ConvertingElement

    要素の型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    lazyArgument

    要素をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    returns

    1個だけ要素を持つshapeless.HListをコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances0
    Version

    1.0.0

    Since

    1.0.0

  16. implicit final def HConsArgument[ConvertingHead, ConvertingTail <: HList, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plus: Plus[ConvertedCategory], lazyHeadArgument: Lazy[Aux[ConvertingHead, ConvertedCategory[ConvertedElement]]], tailArguments: Aux[ConvertingTail, ConvertedCategory[ConvertedElement]]): Aux[::[ConvertingHead, ConvertingTail], ConvertedCategory[ConvertedElement]]

    shapeless.HListをコマンドライン引数へ変換します。

    shapeless.HListをコマンドライン引数へ変換します。

    ConvertingHead

    先頭の型

    ConvertingTail

    2番目以降の型

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    plus

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

    lazyHeadArgument

    先頭の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)

    tailArguments

    2番目以降の型をコマンドライン引数へ変換できることを保証する

    returns

    shapeless.HListをコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances1
    Version

    1.0.0

    Since

    1.0.0

  17. implicit final def HNilArgument[ExtendsHNil <: HNil, ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plusEmpty: PlusEmpty[ConvertedCategory]): Aux[ExtendsHNil, ConvertedCategory[ConvertedElement]]

    shapeless.HNilのサブタイプをコマンドライン引数へ変換します。

    shapeless.HNilのサブタイプをコマンドライン引数へ変換します。

    ExtendsHNil

    shapeless.HNilのサブタイプ

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    plusEmpty

    コマンドライン引数を空にできることを保証する

    returns

    shapeless.HNilのサブタイプをコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances1
    Version

    1.0.0

    Since

    1.0.0

  18. implicit final def UnitArgument[ConvertedElement, ConvertedCategory[_]](implicit argumentElement: @@[ResultElement[ConvertedElement], Argument.type], argumentCategory: @@[ResultCategory[ConvertedCategory], Argument.type], plusEmpty: PlusEmpty[ConvertedCategory]): Aux[Unit, ConvertedCategory[ConvertedElement]]

    scala.Unitをコマンドライン引数へ変換します。

    scala.Unitをコマンドライン引数へ変換します。

    ConvertedElement

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

    ConvertedCategory

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

    argumentElement

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

    argumentCategory

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

    plusEmpty

    コマンドライン引数を空にできることを保証する

    returns

    scala.Unitをコマンドライン引数へ変換する型クラスインスタンス

    Definition Classes
    ArgumentInstances0
    Version

    1.0.0

    Since

    1.0.0

  19. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  20. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  21. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  22. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  23. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  24. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  25. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  27. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  28. final def notify(): Unit

    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  30. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  31. def toString(): String

    Definition Classes
    AnyRef → Any

  32. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  34. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ArgumentInstances

Inherited from ArgumentInstances0

Inherited from ArgumentInstances1

Inherited from ArgumentInstances2

Inherited from ArgumentInstances3

Inherited from ArgumentInstances4

Inherited from ArgumentInstances5

Inherited from AnyRef

Inherited from Any

Ungrouped