trait SetupInstances extends SetupInstances0
パーサの動作設定を上書きする型クラスインスタンスを定義します。
- Version
1.0.0
- Since
1.0.0
- Alphabetic
- By Inheritance
- SetupInstances
- SetupInstances0
- 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 CategorySetup[InsertingSetup, InsertedSetup, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], bind: Bind[InsertedCategory], base: Aux[InsertingSetup, InsertedCategory[InsertedSetup]]): Aux[InsertedCategory[InsertingSetup], InsertedCategory[InsertedSetup]]
ラップされた型が持つ構築中の情報のパーサ動作設定を設定します。
ラップされた型が持つ構築中の情報のパーサ動作設定を設定します。
- InsertingSetup
動作設定の設定対象となる型
- InsertedSetup
動作設定を設定した後の型
- InsertedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- bind
平坦化変換が可能なことを保証する
- base
ラップされた型に対してパーサの動作設定が行えることを保証する
- returns
ラップされた型が持つ構築中の情報に対しパーサ動作設定を設定する型クラスインスタンス
- Definition Classes
- SetupInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def InsertSetup[InsertingSetup <: HList, UnusedKeys, InsertedSetup <: HList, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], setupUpdater: Aux[InsertingSetup, FieldType[T, OParserSetup], InsertedSetup], setupNotExist: Refute[Selector[InsertingSetup, T]]): Aux[@@[InsertingSetup, UnusedKeys], InsertedCategory[@@[InsertedSetup, UnusedKeys]]]
構築中の情報へパーサの動作設定を追加します。
構築中の情報へパーサの動作設定を追加します。
- InsertingSetup
動作設定の追加対象となる型
- UnusedKeys
パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)
- InsertedSetup
動作設定を追加した後の型
- InsertedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- setupUpdater
パーサの動作設定を追加可能なことを保証する
- setupNotExist
パーサの動作設定をまだ保持していないことを保証する
- returns
構築中の情報へパーサの動作設定を追加する型クラスインスタンス
- Definition Classes
- SetupInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UpdateSetup[UnusedKey, HasSetup <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], setupSelector: Aux[HasSetup, T, OParserSetup], setupUpdater: Aux[HasSetup, FieldType[T, OParserSetup], HasSetup]): Aux[@@[HasSetup, UnusedKey], UpdatedCategory[@@[HasSetup, UnusedKey]]]
構築中の情報が持つパーサの動作設定を更新します。
構築中の情報が持つパーサの動作設定を更新します。
- UnusedKey
パーサへのオプション追加時に使用する幽霊型(動作設定時は未使用)
- HasSetup
動作設定の型(更新前・更新後で同一)
- UpdatedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- setupSelector
パーサの動作設定が既に存在することを保証する
- setupUpdater
パーサの動作設定を更新可能なことを保証する
- returns
構築中の情報が持つパーサの動作設定を更新する型クラスインスタンス
- Definition Classes
- SetupInstances0
- 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