org.kynthus.unixista.argparse.instance

InitialInstances

trait InitialInstances extends InitialInstances0

初期値を持つフィールドを追加するための型クラスインスタンスを定義します。

Version

1.0.0

Since

1.0.0

Linear Supertypes
InitialInstances0, Any
Known Subclasses
All, All, All, All, InitialInstances
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. InitialInstances
  2. InitialInstances0
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def getClass(): Class[_]

    Definition Classes
    Any

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  2. final def ##(): Int

    Definition Classes
    Any

  3. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

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

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

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

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  8. def equals(arg0: Any): Boolean

    Definition Classes
    Any

  9. def hashCode(): Int

    Definition Classes
    Any

  10. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  11. def toString(): String

    Definition Classes
    Any

Inherited from InitialInstances0

Inherited from Any

Ungrouped