trait InitialInstances extends InitialInstances0
初期値を持つフィールドを追加するための型クラスインスタンスを定義します。
- Version
1.0.0
- Since
1.0.0
- Alphabetic
- By Inheritance
- InitialInstances
- InitialInstances0
- Any
- Hide All
- Show All
- Public
- All
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##(): Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- implicit final def CategoryInitial[ConvertingField, ConvertedField <: HList, DerivedInitial, OutputInitial, OutputCategory[_]](implicit runCategory: @@[ResultCategory[OutputCategory], Run.type], bind: Bind[OutputCategory], base: Aux[DerivedInitial, ConvertingField, OutputCategory[OutputInitial]]): Aux[OutputCategory[DerivedInitial], ConvertingField, OutputCategory[OutputInitial]]
ラップされた型に対して初期値設定を行います。
ラップされた型に対して初期値設定を行います。
- ConvertingField
フィールドへ変換する値
- ConvertedField
フィールドへ変換した値
- DerivedInitial
初期値設定前の型
- OutputInitial
初期値設定後の型
- OutputCategory
構築中の情報をラップする型
- runCategory
初期値を持つ値を格納する型を決定するマーカー
- bind
平坦化変換が可能なことを保証する
- base
ラップされた型に対して初期値設定が行えることを保証する
- returns
ラップされた型に対して初期値設定を行う型クラスインスタンス
- Definition Classes
- InitialInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def InsertInitial[ConvertingField, ConvertedField <: HList, UnusedKeys, InsertingInitial <: HList, InsertedDecided <: HList, InsertedInitial <: HList, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], initialField: Aux[ConvertingField, ConvertedField], decidedUpdater: Aux[InsertingInitial, FieldType[T, List[Queue[OParser[_, ConvertedField]]]], InsertedDecided], initialUpdater: Aux[InsertedDecided, FieldType[T, ConvertedField], InsertedInitial], currentNotExist: Refute[Selector[InsertingInitial, T]], initialNotExist: Refute[Selector[InsertingInitial, T]]): Aux[@@[InsertingInitial, UnusedKeys], ConvertingField, InsertedCategory[@@[InsertedInitial, @@[Unit, ConvertedField]]]]
構築中の情報へ初期値を付与します。
構築中の情報へ初期値を付与します。
- ConvertingField
フィールドへ変換する型
- ConvertedField
フィールドへ変換した型
- UnusedKeys
パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)
- InsertingInitial
初期値の付与対象となる型
- InsertedDecided
決定済みパーサを更新した後の型
- InsertedInitial
初期値を付与した後の型
- InsertedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- initialField
初期値として付与する型がフィールドへ変換可能なことを保証する
- decidedUpdater
構築中の情報の決定済みパーサを更新できることを保証する
- initialUpdater
構築中の情報へ初期値を付与できることを保証する
- currentNotExist
構築中の情報が現在設定中のパーサを持たないことを保証する
- initialNotExist
構築中の情報がまだ初期値を持たないことを保証する
- returns
構築中の情報へ初期値を付与する型クラスインスタンス
- Definition Classes
- InitialInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UpdateInitial[ConvertingField, ConvertedField <: HList, Input, UpdatingInitial <: HList, ExistInitial <: HList, RemovedInitial <: HList, ExistDecided, RemovedDecided <: HList, MergedInitial <: HList, ExistHierarchy <: HList, UpdatedDecided <: HList, UpdatedInitial <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], initialField: Aux[ConvertingField, ConvertedField], initialSelector: Aux[UpdatingInitial, T, ExistInitial], initialRemover: shapeless.ops.record.Remover.Aux[UpdatingInitial, T, (ExistInitial, RemovedInitial)], initialMerger: shapeless.ops.record.Merger.Aux[ExistInitial, ConvertedField, MergedInitial], decidedRemover: shapeless.ops.record.Remover.Aux[RemovedInitial, T, (ExistDecided, RemovedDecided)], decidedUpdater: Aux[RemovedDecided, FieldType[T, List[Queue[OParser[_, MergedInitial]]]], UpdatedDecided], initialUpdater: Aux[UpdatedDecided, FieldType[T, MergedInitial], UpdatedInitial], currentNotExist: Refute[Selector[UpdatingInitial, T]], hierarchySelector: Aux[UpdatingInitial, T, ExistHierarchy], hierarchyIsEmpty: ===[ExistHierarchy, HNil]): Aux[@@[UpdatingInitial, @@[Input, ExistInitial]], ConvertingField, UpdatedCategory[@@[UpdatedInitial, @@[Input, MergedInitial]]]]
構築中の情報へ初期値を追加します。
構築中の情報へ初期値を追加します。
- ConvertingField
フィールドへ変換する型
- ConvertedField
フィールドへ変換した型
- Input
パーサの現在値の型
- UpdatingInitial
初期値の追加対象となる型
- ExistInitial
現在の初期値の型
- RemovedInitial
構築中の情報から設定済みの初期値を削除した後の型
- ExistDecided
現在の決定済みパーサの型
- RemovedDecided
構築中の情報から決定済みパーサを削除した後の型
- MergedInitial
現在の初期値と追加する初期値をマージした型
- ExistHierarchy
現在のパーサ階層の型
- UpdatedDecided
構築中の情報へ新しい決定済みパーサを追加しなおした型
- UpdatedInitial
構築中の情報へ新しい初期値を設定しなおした型
- UpdatedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- initialField
初期値として付与する型がフィールドへ変換可能なことを保証する
- initialSelector
構築中の情報から設定済みの初期値を取得できることを保証する
- initialRemover
構築中の情報から設定済みの初期値を削除できることを保証する
- initialMerger
設定済みの初期値と新しい初期値がマージ可能なことを保証する
- decidedRemover
構築中の情報から決定済みのパーサを削除できることを保証する
- decidedUpdater
構築中の情報へ新しい決定済みのパーサを追加しなおせることを保証する
- initialUpdater
構築中の情報へ新しい初期値を設定しなおせることを保証する
- currentNotExist
構築中の情報に現在設定中のパーサが存在しないことを保証する
- hierarchySelector
構築中の情報がパーサ階層を持つことを保証する
- hierarchyIsEmpty
構築中の情報が保持するパーサ階層が空の状態であることを保証する
- returns
構築中の情報へ初期値を追加する型クラスインスタンス
- Definition Classes
- InitialInstances0
- Version
1.0.0
- Since
1.0.0
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def equals(arg0: Any): Boolean
- Definition Classes
- Any
- def hashCode(): Int
- Definition Classes
- Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def toString(): String
- Definition Classes
- Any