org.kynthus.hatalib.core

All

object All extends All

基本機能に関する全ての型クラスインスタンスとメソッド拡張用クラスをインポートできます。

Version

1.0.0

Since

1.0.0

Linear Supertypes
All, syntax.All, RunSyntax, RunSyntax0, RunSyntax1, FieldSyntax, FieldSyntax0, ArgumentSyntax, ArgumentSyntax0, BuilderSyntax, BuilderSyntax0, BuilderSyntax1, BiNaturalTransformationSyntax, BiNaturalTransformationSyntax0, NaturalTransformationSyntax, NaturalTransformationSyntax0, ConverterSyntax, ConverterSyntax0, ConverterSyntax1, PhantomSyntax, PhantomSyntax0, TagSyntax, TagSyntax0, LazyIdSyntax, LazyIdSyntax0, GenericSyntax, GenericSyntax0, instance.All, 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
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. All
  2. All
  3. All
  4. RunSyntax
  5. RunSyntax0
  6. RunSyntax1
  7. FieldSyntax
  8. FieldSyntax0
  9. ArgumentSyntax
  10. ArgumentSyntax0
  11. BuilderSyntax
  12. BuilderSyntax0
  13. BuilderSyntax1
  14. BiNaturalTransformationSyntax
  15. BiNaturalTransformationSyntax0
  16. NaturalTransformationSyntax
  17. NaturalTransformationSyntax0
  18. ConverterSyntax
  19. ConverterSyntax0
  20. ConverterSyntax1
  21. PhantomSyntax
  22. PhantomSyntax0
  23. TagSyntax
  24. TagSyntax0
  25. LazyIdSyntax
  26. LazyIdSyntax0
  27. GenericSyntax
  28. GenericSyntax0
  29. All
  30. FieldInstances
  31. FieldInstances0
  32. FieldInstances1
  33. FieldInstances2
  34. ArgumentInstances
  35. ArgumentInstances0
  36. ArgumentInstances1
  37. ArgumentInstances2
  38. ArgumentInstances3
  39. ArgumentInstances4
  40. ArgumentInstances5
  41. UnapplyInstances
  42. BiNaturalTransformationInstances
  43. BiNaturalTransformationInstances0
  44. BifoldableInstances
  45. BifoldableInstances0
  46. BifoldableInstances1
  47. NaturalTransformationInstances
  48. NaturalTransformationInstances0
  49. NaturalTransformationInstances1
  50. OptionalInstances
  51. OptionalInstances0
  52. OptionalInstances1
  53. MonadPlusInstances
  54. MonadPlusInstances0
  55. MonadInstances
  56. MonadInstances0
  57. FoldableInstances
  58. FoldableInstances0
  59. FoldableInstances1
  60. FoldableInstances2
  61. ConverterInstances
  62. ConverterInstances0
  63. AnyRef
  64. 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 def ArgumentOps[Derived](derived: ⇒ Derived): ArgumentOps[Derived]

    コマンドライン引数へ変換するメソッドを付与するクラスへの暗黙変換です。

    コマンドライン引数へ変換するメソッドを付与するクラスへの暗黙変換です。

    Derived

    コマンドライン引数へ変換する型

    derived

    コマンドライン引数へ変換する値

    returns

    コマンドライン引数へ変換するメソッドを付与するクラスのインスタンス

    Definition Classes
    ArgumentSyntax0
    Version

    1.0.0

    Since

    1.0.0

  5. implicit final val ArrayFoldable: Foldable[Array]

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

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

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  6. implicit final def BiNaturalTransformationOps[Category[_, _], Element1, Element2](derived: ⇒ Category[Element1, Element2]): BiNaturalTransformationOps[Category, Element1, Element2]

    二階自然変換用のメソッドを付与するクラスへの暗黙変換です。

    二階自然変換用のメソッドを付与するクラスへの暗黙変換です。

    Category

    変換前の高階型

    Element1

    内包する1個目の型

    Element2

    内包する1個目の型

    derived

    付与対象

    returns

    二階自然変換用のメソッドを付与するクラスのインスタンス

    Definition Classes
    BiNaturalTransformationSyntax0
    Version

    1.0.0

    Since

    1.0.0

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

  8. implicit final def BuilderOps[Derived](derived: ⇒ Derived): BuilderOps[Derived]

    構築情報生成用のメソッドを付与するクラスへの暗黙変換です。

    構築情報生成用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    初期設定値の型

    derived

    初期設定値

    returns

    構築情報生成用のメソッドを付与するクラスのインスタンス

    Definition Classes
    BuilderSyntax1
    Version

    1.0.0

    Since

    1.0.0

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

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

  11. implicit final def ConverterOps[Derived](derived: ⇒ Derived): ConverterOps[Derived]

    変換用メソッドを付与するクラスへの暗黙変換です。

    変換用メソッドを付与するクラスへの暗黙変換です。

    Derived

    変換前の型

    derived

    変換前の値

    returns

    変換用メソッドを付与するクラスのインスタンス

    Definition Classes
    ConverterSyntax1
    Version

    1.0.0

    Since

    1.0.0

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

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

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

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

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

    scala.Eitherの恒等変換です。

    scala.Eitherの恒等変換です。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

  20. implicit final def FieldOps[Derived](derived: ⇒ Derived): FieldOps[Derived]

    フィールドへ変換するメソッドを付与するクラスへの暗黙変換です。

    フィールドへ変換するメソッドを付与するクラスへの暗黙変換です。

    Derived

    フィールドへ変換する型

    derived

    フィールドへ変換する値

    returns

    フィールドへ変換するメソッドを付与するクラスのインスタンス

    Definition Classes
    FieldSyntax0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

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

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

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

  27. implicit final val Function0Foldable: Foldable[Function0]

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

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

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

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

  29. implicit final def GenericOps[Derived](derived: ⇒ Derived): GenericOps[Derived]

    汎用型の相互変換メソッドを付与するクラスへの暗黙変換です。

    汎用型の相互変換メソッドを付与するクラスへの暗黙変換です。

    Derived

    変換元の型

    derived

    変換元の値

    returns

    汎用型の相互変換メソッドを付与するクラスのインスタンス

    Definition Classes
    GenericSyntax0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  45. implicit final def LabelledGenericOps[Derived](derived: ⇒ Derived): LabelledGenericOps[Derived]

    ラベル付き汎用型の相互変換メソッドを付与するクラスです。

    ラベル付き汎用型の相互変換メソッドを付与するクラスです。

    Derived

    変換元の型

    derived

    変換元の値

    returns

    ラベル付き汎用型の相互変換メソッドを付与するクラスのインスタンス

    Definition Classes
    GenericSyntax0
    Version

    1.0.0

    Since

    1.0.0

  46. implicit final def LazyIdOps[Derived](derived: ⇒ Derived): LazyIdOps[Derived]

    遅延パイプライン演算子を付与するクラスへの暗黙変換です。

    遅延パイプライン演算子を付与するクラスへの暗黙変換です。

    Derived

    左オペランドの型

    derived

    左オペランド

    returns

    遅延パイプライン演算子を付与するクラスのインスタンス

    Definition Classes
    LazyIdSyntax0
    Version

    1.0.0

    Since

    1.0.0

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

    scalaz.LazyOptionの恒等変換です。

    scalaz.LazyOptionの恒等変換です。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

  51. implicit final val ListFoldable: Foldable[List]

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

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

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  52. implicit final val ListMonadPlus: MonadPlus[List]

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

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

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

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

    scalaz.Maybeの恒等変換です。

    scalaz.Maybeの恒等変換です。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

  56. implicit final def NaturalTransformationOps[Category[_], Element](derived: ⇒ Category[Element]): NaturalTransformationOps[Category, Element]

    自然変換用のメソッドを付与するクラスへの暗黙変換です。

    自然変換用のメソッドを付与するクラスへの暗黙変換です。

    Category

    変換前の高階型

    Element

    内包する型

    derived

    付与対象

    returns

    自然変換用のメソッドを付与するクラスのインスタンス

    Definition Classes
    NaturalTransformationSyntax0
    Version

    1.0.0

    Since

    1.0.0

  57. implicit final val OptionFoldable: Foldable[Option]

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

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

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

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

    scala.Optionの恒等変換です。

    scala.Optionの恒等変換です。

    Definition Classes
    NaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

  59. implicit final val OptionMonadPlus: MonadPlus[Option]

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

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

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

  60. implicit final val OptionOptional: Optional[Option]

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

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

    Definition Classes
    OptionalInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

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

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

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

  67. implicit final def PhantomOps[Value](derived: ⇒ Value): PhantomOps[Value]

    幽霊型を付与するメソッドを付与するクラスへの暗黙変換です。

    幽霊型を付与するメソッドを付与するクラスへの暗黙変換です。

    Value

    付与対象のデータ型

    derived

    付与対象

    returns

    幽霊型を付与するメソッドを付与するクラスのインスタンス

    Definition Classes
    PhantomSyntax0
    Version

    1.0.0

    Since

    1.0.0

  68. implicit final def RunOps[Derived](derived: ⇒ Derived): RunOps[Derived]

    実行用のメソッドを付与するクラスへの暗黙変換です。

    実行用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    実行可能な型

    derived

    実行可能な値

    returns

    実行用のメソッドを付与するクラスのインスタンス

    Definition Classes
    RunSyntax1
    Version

    1.0.0

    Since

    1.0.0

  69. implicit final val SetFoldable: Foldable[Set]

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

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

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  70. implicit final val StreamFoldable: Foldable[Stream]

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

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

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  71. implicit final val StreamMonadPlus: MonadPlus[Stream]

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

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

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

  72. implicit final def TagOps[Derived](derived: ⇒ Derived): TagOps[Derived]

    タグ付け用のメソッドを付与するクラスへの暗黙変換です。

    タグ付け用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    付与対象のデータ型

    derived

    付与対象

    returns

    タグ付け用のメソッドを付与するクラスのインスタンス

    Definition Classes
    TagSyntax0
    Version

    1.0.0

    Since

    1.0.0

  73. implicit final def TaggedBuilderOps[Derived](derived: ⇒ Derived): TaggedBuilderOps[Derived]

    タグ付きのデータ型に対して、構築情報生成用のメソッドを付与するクラスへの暗黙変換です。

    タグ付きのデータ型に対して、構築情報生成用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    初期設定値の型

    derived

    初期設定値

    returns

    タグ付きのデータ型に対して、構築情報生成用のメソッドを付与するクラスのインスタンス

    Definition Classes
    BuilderSyntax0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

  77. implicit final def TaggedConverterOps[Derived](derived: ⇒ Derived): TaggedConverterOps[Derived]

    タグ付きのデータ型に対して、変換用メソッドを付与するクラスへの暗黙変換です。

    タグ付きのデータ型に対して、変換用メソッドを付与するクラスへの暗黙変換です。

    Derived

    変換前の型

    derived

    変換前の値

    returns

    タグ付きのデータ型に対して、変換用メソッドを付与するクラスのインスタンス

    Definition Classes
    ConverterSyntax0
    Version

    1.0.0

    Since

    1.0.0

  78. implicit final def TaggedRunOps[Derived](derived: ⇒ Derived): TaggedRunOps[Derived]

    タグ付きのデータ型に対して、実行用のメソッドを付与するクラスへの暗黙変換です。

    タグ付きのデータ型に対して、実行用のメソッドを付与するクラスへの暗黙変換です。

    Derived

    実行可能な型

    derived

    実行可能な値

    returns

    タグ付きのデータ型に対して、実行用のメソッドを付与するクラスのインスタンス

    Definition Classes
    RunSyntax0
    Version

    1.0.0

    Since

    1.0.0

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

    シンボルへ変換します。

    シンボルへ変換します。

    Derived

    変換する型

    returns

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

    Definition Classes
    ConverterInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

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

    scalaz.Validationの恒等変換です。

    scalaz.Validationの恒等変換です。

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

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

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

    Definition Classes
    BiNaturalTransformationInstances0
    Version

    1.0.0

    Since

    1.0.0

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

  86. implicit final val VectorFoldable: Foldable[Vector]

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

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

    Definition Classes
    FoldableInstances0
    Version

    1.0.0

    Since

    1.0.0

  87. implicit final val VectorMonadPlus: MonadPlus[Vector]

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

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

    Definition Classes
    MonadPlusInstances0
    Version

    1.0.0

    Since

    1.0.0

  88. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  89. def clone(): AnyRef

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef
  100. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from All

Inherited from syntax.All

Inherited from RunSyntax

Inherited from RunSyntax0

Inherited from RunSyntax1

Inherited from FieldSyntax

Inherited from FieldSyntax0

Inherited from ArgumentSyntax

Inherited from ArgumentSyntax0

Inherited from BuilderSyntax

Inherited from BuilderSyntax0

Inherited from BuilderSyntax1

Inherited from BiNaturalTransformationSyntax0

Inherited from NaturalTransformationSyntax0

Inherited from ConverterSyntax

Inherited from ConverterSyntax0

Inherited from ConverterSyntax1

Inherited from PhantomSyntax

Inherited from PhantomSyntax0

Inherited from TagSyntax

Inherited from TagSyntax0

Inherited from LazyIdSyntax

Inherited from LazyIdSyntax0

Inherited from GenericSyntax

Inherited from GenericSyntax0

Inherited from instance.All

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