object ParserInstances extends ParserInstances
パーサへの各種設定を行う型クラスインスタンスをインポートできます。
- Version
1.0.0
- Since
1.0.0
- Alphabetic
- By Inheritance
- ParserInstances
- ParserInstances
- ParserInstances0
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit final def InsertElementParser[Input, Instance, NewInput, InsertingParser <: HList, InsertedParser <: HList, InsertedCategory[_]](implicit arg0: Read[NewInput], runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], currentUpdater: Aux[InsertingParser, FieldType[T, OParser[NewInput, Instance]], InsertedParser], currentNotExist: Refute[Selector[InsertingParser, T]]): Aux[@@[InsertingParser, @@[Input, Instance]], NewInput, Instance, InsertedCategory[@@[InsertedParser, @@[NewInput, Instance]]]]
構築中の情報へ新しい型に対応したオプションを付与します。
構築中の情報へ新しい型に対応したオプションを付与します。
- Input
パーサの現在値の型
- Instance
現在の初期値の型
- NewInput
パーサの新しい型
- InsertingParser
新しい型に対応したオプションを付与する型
- InsertedParser
新しい型に対応したオプションを付与した型
- InsertedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- currentUpdater
構築中の情報が持つ現在設定中のパーサを更新できることを保証する
- currentNotExist
構築中の情報が現在設定中のパーサを持たないことを保証する
- returns
構築中の情報へ新しい型に対応したオプションを付与する型クラスインスタンス
- Definition Classes
- ParserInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def InsertUnitParser[UnusedInput, Instance, InsertingParser <: HList, InsertedParser <: HList, InsertedCategory[_]](implicit runCategory: @@[ResultCategory[InsertedCategory], Run.type], applicative: Applicative[InsertedCategory], currentUpdater: Aux[InsertingParser, FieldType[T, OParser[Unit, Instance]], InsertedParser], currentNotExist: Refute[Selector[InsertingParser, T]]): Aux[@@[InsertingParser, @@[UnusedInput, Instance]], Instance, InsertedCategory[@@[InsertedParser, @@[Unit, Instance]]]]
構築中の情報へ型を持たないオプションを付与します。
構築中の情報へ型を持たないオプションを付与します。
- UnusedInput
パーサの現在値の型(未使用)
- Instance
現在の初期値の型
- InsertingParser
型を持たないオプションを付与する型
- InsertedParser
型を持たないオプションを付与した型
- InsertedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- currentUpdater
構築中の情報が持つ現在設定中のパーサを更新できることを保証する
- currentNotExist
構築中の情報が現在設定中のパーサを持たないことを保証する
- returns
構築中の情報へ型を持たないオプションを付与する型クラスインスタンス。
- Definition Classes
- ParserInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UpdateChildrenParser[Input, Instance, UpdatingParser <: HList, ExistHierarchy <: HList, RemovedCurrent <: HList, RemovedHierarchy <: HList, UpdatedHierarchy <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], hierarchyRemover: shapeless.ops.record.Remover.Aux[RemovedCurrent, T, (ExistHierarchy, RemovedHierarchy)], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], hierarchyUpdater: Aux[RemovedHierarchy, FieldType[T, ::[OParser[Input, Instance], ExistHierarchy]], UpdatedHierarchy], decidedUpdater: Aux[UpdatedHierarchy, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], UpdatedCategory[@@[UpdatedDecided, @@[Input, Instance]]]]
構築中の情報を子パーサへ分岐させます。
構築中の情報を子パーサへ分岐させます。
- Input
パーサの現在値の型
- Instance
現在の初期値の型
- UpdatingParser
子パーサへの分岐を行う型
- ExistHierarchy
現在のパーサ階層の型
- RemovedCurrent
構築中の情報から現在設定中のパーサを削除した後の型
- RemovedHierarchy
構築中の情報からパーサ階層を削除した後の型
- UpdatedHierarchy
パーサ階層を更新した後の型
- UpdatedDecided
決定済みパーサを更新した後の型
- UpdatedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- currentRemover
構築中の情報から現在設定中のパーサを削除できることを保証する
- hierarchyRemover
構築中の情報からパーサ階層を削除できることを保証する
- decidedSelector
構築中の情報に決定済みパーサが存在することを保証する
- hierarchyUpdater
構築中の情報が持つパーサ階層を更新できることを保証する
- decidedUpdater
構築中の情報が持つ決定済みパーサを更新できることを保証する
- returns
構築中の情報を子パーサへ分岐させる型クラスインスタンス
- Definition Classes
- ParserInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UpdateConfigParser[Input, Instance, UpdatingParser <: HList, UpdatedParser <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentSelector: Aux[UpdatingParser, T, OParser[Input, Instance]], currentUpdater: Aux[UpdatingParser, FieldType[T, OParser[Input, Instance]], UpdatedParser]): Aux[@@[UpdatingParser, @@[Input, Instance]], Input, Instance, UpdatedCategory[@@[UpdatedParser, @@[Input, Instance]]]]
構築中の情報のうちオプションに対する詳細設定を追加します。
構築中の情報のうちオプションに対する詳細設定を追加します。
- Input
パーサの現在値の型
- Instance
現在の初期値の型
- UpdatingParser
詳細設定を追加する型
- UpdatedParser
詳細設定を追加した型
- UpdatedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- currentSelector
構築後の情報に現在設定中のパーサが存在することを保証する
- currentUpdater
構築中の情報が持つ現在設定中のパーサを更新できることを保証する
- returns
構築中の情報のうちオプションに対する詳細設定を追加する型クラスインスタンス
- Definition Classes
- ParserInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UpdateElementParser[Input, Instance, NewInput, UpdatingParser <: HList, RemovedCurrent <: HList, UpdatedCurrent <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit arg0: Read[NewInput], runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], currentUpdater: Aux[RemovedCurrent, FieldType[T, OParser[NewInput, Instance]], UpdatedCurrent], decidedUpdater: Aux[UpdatedCurrent, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], NewInput, Instance, UpdatedCategory[@@[UpdatedDecided, @@[NewInput, Instance]]]]
構築中の情報へ新しい型に対応したオプションを追加します。
構築中の情報へ新しい型に対応したオプションを追加します。
- Input
パーサの現在値の型
- Instance
現在の初期値の型
- NewInput
パーサの新しい型
- UpdatingParser
新しい型に対応したオプションを追加する型
- RemovedCurrent
現在設定中のパーサを削除した後の型
- UpdatedCurrent
現在設定中のパーサを新しい型に対応したオプションで設定しなおした型
- UpdatedDecided
決定済みパーサを更新した型
- UpdatedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- currentRemover
構築中の情報から現在設定中のパーサを削除できることを保証する
- decidedSelector
構築中の情報に決定済みパーサが存在することを保証する
- currentUpdater
構築中の情報が持つ現在設定中のパーサを更新できることを保証する
- decidedUpdater
構築中の情報が持つ決定済みパーサを更新できることを保証する
- returns
構築中の情報へ新しい型に対応したオプションを追加する型クラスインスタンス
- Definition Classes
- ParserInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UpdateParentParser[Input, Instance, NewInput, UpdatingParser <: HList, RemovedCurrent <: HList, UpdatedCurrent <: HList, TailHierarchy <: HList, RemovedHierarchy <: HList, UpdatedHierarchy <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], lazyHierarchyRemover: Lazy[shapeless.ops.record.Remover.Aux[RemovedCurrent, T, (::[OParser[NewInput, Instance], TailHierarchy], RemovedHierarchy)]], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], currentUpdater: Aux[RemovedHierarchy, FieldType[T, OParser[NewInput, Instance]], UpdatedCurrent], hierarchyUpdater: Aux[UpdatedCurrent, FieldType[T, TailHierarchy], UpdatedHierarchy], decidedUpdater: Aux[UpdatedHierarchy, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], UpdatedCategory[@@[UpdatedDecided, @@[NewInput, Instance]]]]
構築中の情報を親パーサへ合流させます。
構築中の情報を親パーサへ合流させます。
- Input
パーサの現在値の型
- Instance
現在の初期値の型
- NewInput
親パーサへの合流後の現在値の型
- UpdatingParser
親パーサへの合流を行う型
- RemovedCurrent
構築中の情報から現在設定中のパーサを削除した後の型
- UpdatedCurrent
現在設定中のパーサを更新した後の型
- TailHierarchy
パーサ階層の2番目以降の型
- RemovedHierarchy
構築中の情報からパーサ階層を削除した後の型
- UpdatedHierarchy
パーサ階層を更新した後の型
- UpdatedDecided
決定済みパーサを更新した後の型
- UpdatedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- currentRemover
構築中の情報から現在設定中のパーサを削除できることを保証する
- lazyHierarchyRemover
構築中の情報からパーサ階層を削除できることを保証する(再帰的なので遅延)
- decidedSelector
構築中の情報に決定済みパーサが存在することを保証する
- currentUpdater
構築中の情報が持つ現在設定中のパーサを更新できることを保証する
- hierarchyUpdater
構築中の情報が持つパーサ階層を更新できることを保証する
- decidedUpdater
構築中の情報が持つ決定済みパーサを更新できることを保証する
- returns
構築中の情報を親パーサへ合流させる型クラスインスタンス
- Definition Classes
- ParserInstances0
- Version
1.0.0
- Since
1.0.0
- implicit final def UpdateUnitParser[Input, Instance, UpdatingParser <: HList, RemovedCurrent <: HList, UpdatedCurrent <: HList, UpdatedDecided <: HList, UpdatedCategory[_]](implicit runCategory: @@[ResultCategory[UpdatedCategory], Run.type], applicative: Applicative[UpdatedCategory], currentRemover: shapeless.ops.record.Remover.Aux[UpdatingParser, T, (OParser[Input, Instance], RemovedCurrent)], decidedSelector: Aux[UpdatingParser, T, List[Queue[OParser[_, Instance]]]], currentUpdater: Aux[RemovedCurrent, FieldType[T, OParser[Unit, Instance]], UpdatedCurrent], decidedUpdater: Aux[UpdatedCurrent, FieldType[T, List[Queue[OParser[_, Instance]]]], UpdatedDecided]): Aux[@@[UpdatingParser, @@[Input, Instance]], Instance, UpdatedCategory[@@[UpdatedDecided, @@[Unit, Instance]]]]
構築中の情報へ型を持たないオプションを追加します。
構築中の情報へ型を持たないオプションを追加します。
- Input
パーサの現在値の型
- Instance
現在の初期値の型
- UpdatingParser
型を持たないオプションを追加する型
- RemovedCurrent
現在設定中のパーサを削除した後の型
- UpdatedCurrent
現在設定中のパーサを型を持たないオプションで設定しなおした型
- UpdatedDecided
決定済みパーサを更新した型
- UpdatedCategory
構築中の情報をラップする型
- runCategory
動作設定を持つ値を格納する型を決定するマーカー
- applicative
構築中の情報をラップ可能なことを保証する
- currentRemover
構築中の情報から現在設定中のパーサを削除できることを保証する
- decidedSelector
構築中の情報に決定済みパーサが存在することを保証する
- currentUpdater
構築中の情報が持つ現在設定中のパーサを更新できることを保証する
- decidedUpdater
構築中の情報が持つ決定済みパーサを更新できることを保証する
- returns
構築中の情報へ型を持たないオプションを追加する型クラスインスタンス
- Definition Classes
- ParserInstances0
- Version
1.0.0
- Since
1.0.0
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()