org.kynthus.hatalib.argparse.instance

ParserInstances

trait ParserInstances extends ParserInstances0

パーサへの各種設定を行う型クラスインスタンスを定義します。

Version: 1.0.0
Since: 1.0.0

Linear Supertypes

ParserInstances0, Any

Known Subclasses

All, All, All, All, ParserInstances

Ordering

Alphabetic
By inheritance

Inherited

ParserInstances
ParserInstances0
Any

Hide All
Show all

Learn more about member selection

Visibility

Public
All

Abstract Value Members

abstract def getClass(): Class[_]

Definition Classes
Any

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

Inherited from ParserInstances0

Inherited from Any

Ungrouped