二階畳み込み可能な型をコマンドライン引数へ変換します。
二階畳み込み可能な型をコマンドライン引数へ変換します。
畳み込み可能な型がラップする1個目の型
畳み込み可能な型がラップする2個目の型
型パラメータを2つ持ち、二階畳み込み可能な型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数を空にできることを保証する
1個目の要素の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
2個目の要素の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
二階畳み込み可能な型をコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
shapeless.Coproductをコマンドライン引数へ変換します。
shapeless.Coproductをコマンドライン引数へ変換します。
先頭の型
2番目以降の型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
先頭の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
2番目以降の型をコマンドライン引数へ変換できることを保証する
shapeless.Coproductをコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
shapeless.CNilのサブタイプをコマンドライン引数へ変換します。
shapeless.CNilのサブタイプをコマンドライン引数へ変換します。
shapeless.CNilのサブタイプ
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数を空にできることを保証する
shapeless.CNilのサブタイプをコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
要素型へ変換可能な型をコマンドライン引数へ変換します。
要素型へ変換可能な型をコマンドライン引数へ変換します。
要素型へ変換可能な型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数の並びとしてラップ可能なことを保証する
要素型へ変換可能なことを保証する
要素型へ変換可能な型をコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
有限あるいは無限の期間をコマンドライン引数へ変換します。
有限あるいは無限の期間をコマンドライン引数へ変換します。
scala.concurrent.duration.Durationのサブタイプ
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
無限期間の場合に文字列をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
有限期間の場合に時間と単位をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
有限あるいは無限の期間をコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
shapeless.labelled.FieldTypeをコマンドライン引数へ変換します。
shapeless.labelled.FieldTypeをコマンドライン引数へ変換します。
フィールド名の型
フィールドが持つ値の型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
2つの型を持つタプルをコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
shapeless.labelled.FieldTypeをコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
Scala 2.13系でのみ使用できます。
1つ以上の要素を持つ畳み込み可能な型をコマンドライン引数へ変換します(内部)。
1つ以上の要素を持つ畳み込み可能な型をコマンドライン引数へ変換します(内部)。
1つ以上の要素を持つ畳み込み可能な型がラップする型
型パラメータを持ち、畳み込み可能な型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数が追加可能であることを保証する
畳み込み可能な型がラップする型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
1つ以上の要素を持つ畳み込み可能な型をコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
畳み込み可能な型をコマンドライン引数へ変換します。
畳み込み可能な型をコマンドライン引数へ変換します。
畳み込み可能な型がラップする型
型パラメータを持ち、畳み込み可能な型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数を空にできることを保証する
畳み込み可能な型がラップする型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
畳み込み可能な型をコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
汎用型をコマンドライン引数へ変換します。
汎用型をコマンドライン引数へ変換します。
汎用型として認識できる型
汎用型変換後の型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
汎用型と相互変換可能なことを保証する
汎用型へ変換した型をさらにコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
汎用型をコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
1個だけ要素を持つshapeless.HListをコマンドライン引数へ変換します。
1個だけ要素を持つshapeless.HListをコマンドライン引数へ変換します。
要素の型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
要素をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
1個だけ要素を持つshapeless.HListをコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
shapeless.HListをコマンドライン引数へ変換します。
shapeless.HListをコマンドライン引数へ変換します。
先頭の型
2番目以降の型
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数が連結可能なことを保証する
先頭の型をコマンドライン引数へ変換できることを保証する(再帰的なので遅延)
2番目以降の型をコマンドライン引数へ変換できることを保証する
shapeless.HListをコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
shapeless.HNilのサブタイプをコマンドライン引数へ変換します。
shapeless.HNilのサブタイプをコマンドライン引数へ変換します。
shapeless.HNilのサブタイプ
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数を空にできることを保証する
shapeless.HNilのサブタイプをコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
scala.Unitをコマンドライン引数へ変換します。
scala.Unitをコマンドライン引数へ変換します。
コマンドライン引数の要素の型
コマンドライン引数の並びを格納する型
コマンドライン引数の要素の型を決定するマーカー
コマンドライン引数の並びを格納する型を決定するマーカー
コマンドライン引数を空にできることを保証する
scala.Unitをコマンドライン引数へ変換する型クラスインスタンス
1.0.0
1.0.0
コマンドライン引数へ変換するための型クラスインスタンスを定義します。
1.0.0
1.0.0