org.kynthus.hatalib.core.instance

All

trait All extends ConverterInstances with FoldableInstances with MonadInstances with MonadPlusInstances with OptionalInstances with NaturalTransformationInstances with BifoldableInstances with BiNaturalTransformationInstances with UnapplyInstances with ArgumentInstances with FieldInstances

基本機能に関する全ての型クラスインスタンスを定義します。

Version

1.0.0

Since

1.0.0

Linear Supertypes
FieldInstances, FieldInstances0, FieldInstances1, FieldInstances2, ArgumentInstances, ArgumentInstances0, ArgumentInstances1, ArgumentInstances2, ArgumentInstances3, ArgumentInstances4, ArgumentInstances5, UnapplyInstances, BiNaturalTransformationInstances, BiNaturalTransformationInstances0, BifoldableInstances, BifoldableInstances0, BifoldableInstances1, NaturalTransformationInstances, NaturalTransformationInstances0, NaturalTransformationInstances1, OptionalInstances, OptionalInstances0, OptionalInstances1, MonadPlusInstances, MonadPlusInstances0, MonadInstances, MonadInstances0, FoldableInstances, FoldableInstances0, FoldableInstances1, FoldableInstances2, ConverterInstances, ConverterInstances0, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. All
  2. FieldInstances
  3. FieldInstances0
  4. FieldInstances1
  5. FieldInstances2
  6. ArgumentInstances
  7. ArgumentInstances0
  8. ArgumentInstances1
  9. ArgumentInstances2
  10. ArgumentInstances3
  11. ArgumentInstances4
  12. ArgumentInstances5
  13. UnapplyInstances
  14. BiNaturalTransformationInstances
  15. BiNaturalTransformationInstances0
  16. BifoldableInstances
  17. BifoldableInstances0
  18. BifoldableInstances1
  19. NaturalTransformationInstances
  20. NaturalTransformationInstances0
  21. NaturalTransformationInstances1
  22. OptionalInstances
  23. OptionalInstances0
  24. OptionalInstances1
  25. MonadPlusInstances
  26. MonadPlusInstances0
  27. MonadInstances
  28. MonadInstances0
  29. FoldableInstances
  30. FoldableInstances0
  31. FoldableInstances1
  32. FoldableInstances2
  33. ConverterInstances
  34. ConverterInstances0
  35. AnyRef
  36. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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 val ArrayFoldable: Foldable[Array]

    配列を畳み込み可能にします。

    配列を畳み込み可能にします。

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

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

  9. implicit final val DisjunctionIdentityBiNaturalTransformation: ~~>[\/, \/]

    scalaz.\/の恒等変換です。

    scalaz.\/の恒等変換です。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  10. implicit final val DisjunctionToEitherBiNaturalTransformation: ~~>[\/, Either]

    scalaz.\/からscala.Eitherへ二階自然変換します。

    scalaz.\/からscala.Eitherへ二階自然変換します。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  11. implicit final val DisjunctionToValidationBiNaturalTransformation: ~~>[\/, Validation]

    scalaz.\/からscalaz.Validationへ二階自然変換します。

    scalaz.\/からscalaz.Validationへ二階自然変換します。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

  13. implicit final val EitherIdentityBiNaturalTransformation: ~~>[Either, Either]

    scala.Eitherの恒等変換です。

    scala.Eitherの恒等変換です。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  14. implicit final val EitherToDisjunctionBiNaturalTransformation: ~~>[Either, \/]

    scala.Eitherからscalaz.\/へ二階自然変換します。

    scala.Eitherからscalaz.\/へ二階自然変換します。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  15. implicit final val EitherToValidationBiNaturalTransformation: ~~>[Either, Validation]

    scala.Eitherからscalaz.Validationへ二階自然変換します。

    scala.Eitherからscalaz.Validationへ二階自然変換します。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  16. 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系でのみ使用できます。

  17. implicit final def FieldTypeField[ConvertingKey, ConvertingValue]: Aux[FieldType[ConvertingKey, ConvertingValue], ::[FieldType[ConvertingKey, ConvertingValue], HNil]]

    shapeless.labelled.FieldTypeをフィールドへ変換します。

    shapeless.labelled.FieldTypeをフィールドへ変換します。

    ConvertingKey

    フィールド名の型

    ConvertingValue

    フィールドが持つ値の型

    returns

    shapeless.labelled.FieldTypeをフィールドへ変換する型クラスインスタンス

    Definition Classes
    FieldInstances0
    Version

    1.0.0

    Since

    1.0.0

  18. implicit final def FieldTypeToTuple2Converter[Key, Value](implicit arg0: Aux[Key]): Aux[FieldType[Key, Value], (Key, Value)]

    shapeless.labelled.FieldTypeを2つの型を持つタプルへ変換します。

    shapeless.labelled.FieldTypeを2つの型を持つタプルへ変換します。

    Key

    フィールド名の型

    Value

    フィールド値の型

    returns

    shapeless.labelled.FieldTypeを2つの型を持つタプルへ変換するConverter.Auxの型クラスインスタンス

    Definition Classes
    ConverterInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

  21. implicit final def FoldableToSeqNaturalTransformation[Category[_]](implicit arg0: Foldable[Category]): ~>[Category, Seq]

    畳み込み可能な型からscala.Seqへ自然変換します。

    畳み込み可能な型からscala.Seqへ自然変換します。

    Category

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

    returns

    畳み込み可能な型からscala.Seqへ自然変換する型クラスインスタンス

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  22. implicit final val Function0Foldable: Foldable[Function0]

    scala.Function0を畳み込み可能にします。

    scala.Function0を畳み込み可能にします。

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

  26. implicit final def HConsField[ConvertingHead, ConvertedHead <: HList, ConvertingTail <: HList, ConvertedTail <: HList, ConvertedField <: HList](implicit lazyHeadField: Lazy[Aux[ConvertingHead, ConvertedHead]], tailFields: Aux[ConvertingTail, ConvertedTail], fieldMerger: shapeless.ops.record.Merger.Aux[ConvertedHead, ConvertedTail, ConvertedField]): Aux[::[ConvertingHead, ConvertingTail], ConvertedField]

    1個以上の要素を持つshapeless.HListをフィールドへ変換します。

    1個以上の要素を持つshapeless.HListをフィールドへ変換します。

    ConvertingHead

    先頭の型

    ConvertedHead

    先頭をフィールドへ変換した型

    ConvertingTail

    2番目以降の型

    ConvertedTail

    2番目以降をフィールドへ変換した型

    ConvertedField

    先頭と2番目以降の変換後の型をマージした型

    lazyHeadField

    先頭の型をフィールドへ変換できることを保証する(再帰的なので遅延)

    tailFields

    2番目以降の型をフィールドへ変換できることを保証する

    fieldMerger

    先頭と2番目以降がマージ可能なことを保証する

    returns

    shapeless.HListをフィールドへ変換する型クラスインスタンス

    Definition Classes
    FieldInstances0
    Version

    1.0.0

    Since

    1.0.0

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

  28. implicit final def HNilField[ExtendsHNil <: HNil]: Aux[ExtendsHNil, HNil]

    shapeless.HNilのサブタイプをフィールドへ変換します。

    shapeless.HNilのサブタイプをフィールドへ変換します。

    ExtendsHNil

    shapeless.HNilのサブタイプ

    returns

    shapeless.HNilのサブタイプをフィールドへ変換する型クラスインスタンス

    Definition Classes
    FieldInstances0
    Version

    1.0.0

    Since

    1.0.0

  29. implicit final def IterableSubtypeFoldable[ExtendsIterable[Element] <: Iterable[Element]]: Foldable[ExtendsIterable]

    scala.Iterableを畳み込み可能にします。

    scala.Iterableを畳み込み可能にします。

    ExtendsIterable

    scala.Iterableのサブタイプ

    returns

    scala.Iterableを畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  30. implicit final def IteratorSubtypeFoldable[ExtendsIterator[Element] <: Iterator[Element]]: Foldable[ExtendsIterator]

    scala.Iteratorを畳み込み可能にします。

    scala.Iteratorを畳み込み可能にします。

    ExtendsIterator

    scala.Iteratorのサブタイプ

    returns

    scala.Iteratorを畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  31. implicit final def JavaAtomicReferenceArrayFoldable[ExtendsAtomicReferenceArray[Element] <: AtomicReferenceArray[Element]]: Foldable[ExtendsAtomicReferenceArray]

    Javaの原子的な更新が可能なオブジェクト参照の配列を畳み込み可能にします。

    Javaの原子的な更新が可能なオブジェクト参照の配列を畳み込み可能にします。

    ExtendsAtomicReferenceArray

    原子的な更新が可能なオブジェクト参照の配列

    returns

    原子的な更新が可能なオブジェクト参照の配列を畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  32. implicit final def JavaAtomicReferenceFoldable[ExtendsAtomicReference[Element] <: AtomicReference[Element]]: Foldable[ExtendsAtomicReference]

    Javaの原子的な更新が可能なオブジェクト参照のサブタイプを畳み込み可能にします。

    Javaの原子的な更新が可能なオブジェクト参照のサブタイプを畳み込み可能にします。

    ExtendsAtomicReference

    原子的な更新が可能なオブジェクト参照のサブタイプ

    returns

    原子的な更新が可能なオブジェクト参照のサブタイプを畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  33. implicit final val JavaDictionaryBifoldable: Bifoldable[Dictionary]

    java.util.Dictionaryのサブタイプを畳み込み可能にします。

    java.util.Dictionaryのサブタイプを畳み込み可能にします。

    returns

    java.util.Dictionaryのサブタイプを畳み込み可能にする型クラスインスタンス

    Definition Classes
    BifoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  34. implicit final def JavaEnumerationSubtypeFoldable[ExtendsEnumeration[Element] <: Enumeration[Element]]: Foldable[ExtendsEnumeration]

    java.util.Enumerationを畳み込み可能にします。

    java.util.Enumerationを畳み込み可能にします。

    ExtendsEnumeration

    java.util.Enumerationのサブタイプ

    returns

    java.util.Enumerationを畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances2
    Version

    1.0.0

    Since

    1.0.0

  35. implicit final def JavaIterableSubtypeFoldable[ExtendsIterable[Element] <: Iterable[Element]]: Foldable[ExtendsIterable]

    java.lang.Iterableを畳み込み可能にします。

    java.lang.Iterableを畳み込み可能にします。

    ExtendsIterable

    java.lang.Iterableのサブタイプ

    returns

    java.lang.Iterableを畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  36. implicit final def JavaIteratorSubtypeFoldable[ExtendsIterator[Element] <: Iterator[Element]]: Foldable[ExtendsIterator]

    java.util.Iteratorを畳み込み可能にします。

    java.util.Iteratorを畳み込み可能にします。

    ExtendsIterator

    java.util.Iteratorのサブタイプ

    returns

    java.util.Iteratorを畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  37. implicit final def JavaMapSubtypeBifoldable[ExtendsMap[Key, Value] <: Map[Key, Value]]: Bifoldable[ExtendsMap]

    java.util.Mapのサブタイプを畳み込み可能にします。

    java.util.Mapのサブタイプを畳み込み可能にします。

    ExtendsMap

    java.util.Mapのサブタイプ

    returns

    java.util.Mapのサブタイプを畳み込み可能にする型クラスインスタンス

    Definition Classes
    BifoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  38. implicit final def LabelledGenericField[ConvertingFrom, ConvertingTo, ConvertedField](implicit labelledGeneric: Aux[ConvertingFrom, ConvertingTo], lazyToField: Lazy[Aux[ConvertingTo, ConvertedField]]): Aux[ConvertingFrom, ConvertedField]

    ラベル付きの汎用型をフィールドへ変換します。

    ラベル付きの汎用型をフィールドへ変換します。

    ConvertingFrom

    ラベル付きの汎用型として認識できる型

    ConvertingTo

    ラベル付きの汎用型変換後の型

    ConvertedField

    ラベル付きの汎用型をフィールドへ変換した型

    labelledGeneric

    ラベル付きの汎用型の相互変換が可能なことを保証する

    lazyToField

    汎用型へ変換した型をさらにフィールドへ変換できることを保証する(再帰的なので遅延)

    returns

    ラベル付きの汎用型をフィールドへ変換する型クラスインスタンス

    Definition Classes
    FieldInstances2
    Version

    1.0.0

    Since

    1.0.0

  39. implicit final val LazyOptionIdentityNaturalTransformation: ~>[LazyOption, LazyOption]

    scalaz.LazyOptionの恒等変換です。

    scalaz.LazyOptionの恒等変換です。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  40. implicit final val LazyOptionToMaybeNaturalTransformation: ~>[LazyOption, Maybe]

    scalaz.LazyOptionからscalaz.Maybeへ自然変換します。

    scalaz.LazyOptionからscalaz.Maybeへ自然変換します。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  41. implicit final val LazyOptionToOptionNaturalTransformation: ~>[LazyOption, Option]

    scalaz.LazyOptionからscala.Optionへ自然変換します。

    scalaz.LazyOptionからscala.Optionへ自然変換します。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  42. implicit final def LeftWrappedKind2Unapply[Base[_[_]], Derived[_, _], Category[_], Element1, Element2](implicit applier: Base[[$qmark]Derived[Category[?], Element2]]): Unapply[Base, Derived[Category[Element1], Element2]] { ... /* 2 definitions in type refinement */ }

    型パラメータを2つ持ち、うち1個目が可変な型を内包する場合、可変な型パラメータを1つだけ持つ型と解釈します。

    型パラメータを2つ持ち、うち1個目が可変な型を内包する場合、可変な型パラメータを1つだけ持つ型と解釈します。

    Base

    適合型をラップする型クラス

    Derived

    型パラメータを2つ持つ不適合型

    Category

    型パラメータを1つ持つ適合型

    Element1

    1個目の適合型が内包する可変な型

    Element2

    2個目の不変な型

    applier

    適合型に対応する型クラスインスタンス

    returns

    型クラスへ適合させるためのヒント

    Definition Classes
    UnapplyInstances
    Version

    1.0.0

    Since

    1.0.0

  43. implicit final val ListFoldable: Foldable[List]

    scala.Listを畳み込み可能にします。

    scala.Listを畳み込み可能にします。

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  44. implicit final val ListMonadPlus: MonadPlus[List]

    scala.Listの空の状態が存在するモナドを定義します。

    scala.Listの空の状態が存在するモナドを定義します。

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

  45. implicit final val MaybeIdentityNaturalTransformation: ~>[Maybe, Maybe]

    scalaz.Maybeの恒等変換です。

    scalaz.Maybeの恒等変換です。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  46. implicit final val MaybeToLazyOptionNaturalTransformation: ~>[Maybe, LazyOption]

    scalaz.Maybeからscalaz.LazyOptionへ自然変換します。

    scalaz.Maybeからscalaz.LazyOptionへ自然変換します。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  47. implicit final val MaybeToOptionNaturalTransformation: ~>[Maybe, Option]

    scalaz.Maybeからscala.Optionへ自然変換します。

    scalaz.Maybeからscala.Optionへ自然変換します。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  48. implicit final val OptionFoldable: Foldable[Option]

    scala.Optionを畳み込み可能にします。

    scala.Optionを畳み込み可能にします。

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  49. implicit final val OptionIdentityNaturalTransformation: ~>[Option, Option]

    scala.Optionの恒等変換です。

    scala.Optionの恒等変換です。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  50. implicit final val OptionMonadPlus: MonadPlus[Option]

    scala.Optionの空の状態が存在するモナドを定義します。

    scala.Optionの空の状態が存在するモナドを定義します。

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

  51. implicit final val OptionOptional: Optional[Option]

    scala.Optionが有効/無効状態を持てるようにします。

    scala.Optionが有効/無効状態を持てるようにします。

    Definition Classes
    OptionalInstances0
    Version

    1.0.0

    Since

    1.0.0

  52. implicit final val OptionToLazyOptionNaturalTransformation: ~>[Option, LazyOption]

    scala.Optionからscalaz.LazyOptionへ自然変換します。

    scala.Optionからscalaz.LazyOptionへ自然変換します。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  53. implicit final val OptionToMaybeNaturalTransformation: ~>[Option, Maybe]

    scala.Optionからscalaz.Maybeへ自然変換します。

    scala.Optionからscalaz.Maybeへ自然変換します。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  54. implicit final def PairIterableSubtypeBifoldable[ExtendsIterable[Element1, Element2] <: Iterable[(Element1, Element2)]]: Bifoldable[ExtendsIterable]

    2つの型を持つタプルのscala.Iterableのサブタイプを畳み込み可能にします。

    2つの型を持つタプルのscala.Iterableのサブタイプを畳み込み可能にします。

    ExtendsIterable

    2つの型を持つタプルのscala.Iterableのサブタイプ

    returns

    2つの型を持つタプルのscala.Iterableのサブタイプを畳み込み可能にする型クラスインスタンス

    Definition Classes
    BifoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  55. implicit final def PairIteratorSubtypeBifoldable[ExtendsIterator[Element1, Element2] <: Iterator[(Element1, Element2)]]: Bifoldable[ExtendsIterator]

    2つの型を持つタプルのscala.Iteratorのサブタイプを畳み込み可能にします。

    2つの型を持つタプルのscala.Iteratorのサブタイプを畳み込み可能にします。

    ExtendsIterator

    2つの型を持つタプルのscala.Iteratorのサブタイプ

    returns

    2つの型を持つタプルのscala.Iteratorのサブタイプを畳み込み可能にする型クラスインスタンス

    Definition Classes
    BifoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  56. implicit final def PairParIterableSubtypeBifoldable[ExtendsParIterable[Element1, Element2] <: ParIterable[(Element1, Element2)]]: Bifoldable[ExtendsParIterable]

    2つの型を持つタプルのscala.collection.parallel.ParIterableのサブタイプを畳み込み可能にします。

    2つの型を持つタプルのscala.collection.parallel.ParIterableのサブタイプを畳み込み可能にします。

    ExtendsParIterable

    2つの型を持つタプルのscala.collection.parallel.ParIterableのサブタイプ

    returns

    2つの型を持つタプルのscala.collection.parallel.ParIterableのサブタイプを畳み込み可能にする型クラスインスタンス

    Definition Classes
    BifoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  57. implicit final def ParIterableSubtypeFoldable[ExtendsParIterable[Element] <: ParIterable[Element]]: Foldable[ExtendsParIterable]

    scala.collection.parallel.ParIterableを畳み込み可能にします。

    scala.collection.parallel.ParIterableを畳み込み可能にします。

    ExtendsParIterable

    scala.collection.parallel.ParIterableのサブタイプ

    returns

    scala.collection.parallel.ParIterableを畳み込み可能にする型クラスインスタンス

    Definition Classes
    FoldableInstances1
    Version

    1.0.0

    Since

    1.0.0

  58. implicit final val SetFoldable: Foldable[Set]

    scala.Predef.Setを畳み込み可能にします。

    scala.Predef.Setを畳み込み可能にします。

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  59. implicit final val StreamFoldable: Foldable[Stream]

    scala.Streamを畳み込み可能にします。

    scala.Streamを畳み込み可能にします。

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  60. implicit final val StreamMonadPlus: MonadPlus[Stream]

    scala.Streamの空の状態が存在するモナドを定義します。

    scala.Streamの空の状態が存在するモナドを定義します。

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

  61. implicit final def TaggedCategoryMonad[Category[_], Tag](implicit arg0: Monad[Category]): Monad[[$qmark]@@[Category[?], Tag]]

    タグ付けされた型のモナドを定義します。

    タグ付けされた型のモナドを定義します。

    Category

    タグ付け対象の高階型

    Tag

    付与されるタグ

    returns

    タグ付けされた型のモナドを定義する型クラスインスタンス

    Definition Classes
    MonadInstances0
    Version

    1.0.0

    Since

    1.0.0

  62. implicit final def TaggedCategoryNaturalTransformation[Source[_], Target[_], Tag](implicit transformer: ~>[Source, Target]): ~>[Source, [$qmark]@@[Target[?], Tag]]

    自然変換と同時にタグ付けをします。

    自然変換と同時にタグ付けをします。

    Source

    自然変換前の型

    Target

    自然変換後の型

    Tag

    自然変換後の型に付与されるタグ

    transformer

    タグ付け前の単純な自然変換が可能なことを保証する

    returns

    自然変換と同時にタグ付けをする型クラスインスタンス

    Definition Classes
    NaturalTransformationInstances1
    Version

    1.0.0

    Since

    1.0.0

  63. implicit final def TaggedCategoryOptional[Category[_], Tag](implicit arg0: Optional[Category]): Optional[[$qmark]@@[Category[?], Tag]]

    タグ付けされた型が有効/無効状態を持てるようにします。

    タグ付けされた型が有効/無効状態を持てるようにします。

    Category

    タグ付け対象の高階型

    Tag

    付与されるタグ

    returns

    タグ付けされた型が有効/無効状態を持てるようにする型クラスインスタンス

    Definition Classes
    OptionalInstances1
    Version

    1.0.0

    Since

    1.0.0

  64. implicit final def ToSymbolConverter[Derived]: Aux[Derived, Symbol]

    シンボルへ変換します。

    シンボルへ変換します。

    Derived

    変換する型

    returns

    シンボルへ変換するConverter.Auxの型クラスインスタンス

    Definition Classes
    ConverterInstances0
    Version

    1.0.0

    Since

    1.0.0

  65. implicit final def Tuple2Field[Converting1, Converting2]: Aux[(Aux[Converting1], Converting2), ::[FieldType[Converting1, Converting2], HNil]]

    2つの型を持つタプルをフィールドへ変換します。

    2つの型を持つタプルをフィールドへ変換します。

    Converting1

    1個目の型

    Converting2

    2個目の型

    returns

    2つの値を持つタプルをフィールドへ変換する型クラスインスタンス

    Definition Classes
    FieldInstances1
    Version

    1.0.0

    Since

    1.0.0

  66. implicit final def Tuple2ToFieldTypeConverter[Element1, Element2]: Aux[(Aux[Element1], Element2), FieldType[Element1, Element2]]

    2つの型を持つタプルをshapeless.labelled.FieldTypeへ変換します。

    2つの型を持つタプルをshapeless.labelled.FieldTypeへ変換します。

    Element1

    1個目の型

    Element2

    2個目の型

    returns

    2つの型を持つタプルをshapeless.labelled.FieldTypeへ変換するConverter.Auxの型クラスインスタンス

    Definition Classes
    ConverterInstances0
    Version

    1.0.0

    Since

    1.0.0

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

  68. implicit final val ValidationIdentityBiNaturalTransformation: ~~>[Validation, Validation]

    scalaz.Validationの恒等変換です。

    scalaz.Validationの恒等変換です。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  69. implicit final val ValidationToDisjunctionBiNaturalTransformation: ~~>[Validation, \/]

    scalaz.Validationからscalaz.\/へ二階自然変換します。

    scalaz.Validationからscalaz.\/へ二階自然変換します。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  70. implicit final val ValidationToEitherBiNaturalTransformation: ~~>[Validation, Either]

    scalaz.Validationからscala.Eitherへ二階自然変換します。

    scalaz.Validationからscala.Eitherへ二階自然変換します。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  71. implicit final val VectorFoldable: Foldable[Vector]

    scala.Vectorを畳み込み可能にします。

    scala.Vectorを畳み込み可能にします。

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  72. implicit final val VectorMonadPlus: MonadPlus[Vector]

    scala.Vectorの空の状態が存在するモナドを定義します。

    scala.Vectorの空の状態が存在するモナドを定義します。

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

  73. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  74. def clone(): AnyRef

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef
  85. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from FieldInstances

Inherited from FieldInstances0

Inherited from FieldInstances1

Inherited from FieldInstances2

Inherited from ArgumentInstances

Inherited from ArgumentInstances0

Inherited from ArgumentInstances1

Inherited from ArgumentInstances2

Inherited from ArgumentInstances3

Inherited from ArgumentInstances4

Inherited from ArgumentInstances5

Inherited from UnapplyInstances

Inherited from BiNaturalTransformationInstances0

Inherited from BifoldableInstances

Inherited from BifoldableInstances0

Inherited from BifoldableInstances1

Inherited from NaturalTransformationInstances0

Inherited from NaturalTransformationInstances1

Inherited from OptionalInstances

Inherited from OptionalInstances0

Inherited from OptionalInstances1

Inherited from MonadPlusInstances

Inherited from MonadPlusInstances0

Inherited from MonadInstances

Inherited from MonadInstances0

Inherited from FoldableInstances

Inherited from FoldableInstances0

Inherited from FoldableInstances1

Inherited from FoldableInstances2

Inherited from ConverterInstances

Inherited from ConverterInstances0

Inherited from AnyRef

Inherited from Any

Ungrouped