Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
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]]
-
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]]]]
-
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]]]]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from InitialInstances0
初期値を持つフィールドを追加するための型クラスインスタンスをインポートできます。
1.0.0
1.0.0