At Filter FilterNot

shapeless

adjoin

coproduct hlist

shapeless

shapeless

shapeless

UnwrappedInstances

shapeless

ApplyUnapplyFacet

shapeless

ApplyUnapplyFacet

Default

Default

coproduct hlist tuple

Annotations Case1 Case10 Case11 Case12 Case13 Case14 Case15 Case16 Case17 Case18 Case19 Case2 Case20 Case21 Case22 Case3 Case4 Case5 Case6 Case7 Case8 Case9 DataT0 AsOptions Helper AsRecord Helper Default DefaultSymbolicLabelling Generic Generic1 InferProduct IsCCons1 IsHCons1 LabelledGeneric Wrap LowPriorityMkPathOptic LowPriorityMkSelectDynamicOptic LowPrioritySegment MkFieldLens MkGenericLens MkHListNthLens MkLabelledGenericLens MkNthFieldLens MkRecordSelectLens NatWith OpticComposer ProductCase Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case Case0 Split1 Unwrapped AnyValHelper Widen Witness WitnessWith FnFromProductInstances FnToProductInstances TuplerInstances LowPriorityAdjoin At Basis Drop ExtendBy ExtendLeftBy Impl ExtendRight ExtendRightBy Filter FilterNot FlatMap Folder InitLast IsCCons LeftFolder Length LowPriorityRemove LowPriorityRemoveLast LowPriorityRotateRight LowestPriorityPrepend Mapper Partition Reverse RotateLeft Impl Split Take ToHList Unifier ZipOne ZipWithIndex Impl ZipWithKeys FromNat ToNat At Collect ConstMapper Drop Fill Filter FilterNot FlatMapInterleave FlatMapper Grouper Init Interleave IsHCons Last LeftFolder LeftReducer LeftScanner Length LiftAll LowPriorityCollectFirst LowPriorityComapped LowPriorityDiff LowPriorityIntersection LowPriorityPrepend LowPriorityRemove LowPriorityReversePrepend LowPriorityRotateLeft LowPriorityRotateRight LowPriorityToCoproductTraversable LowPriorityUnion LowestPriorityPrepend MapCons Mapped Mapper Modifier ModifierAt PadTo PaddedGrouper Partition Patcher Permutations RemoveAll ReplaceAt Replacer Reverse ReverseSplit ReverseSplitLeft ReverseSplitRight RightFolder RightReducer RightScanner SelectMany SelectRange Selector Slice Split SplitLeft SplitRight SubtypeUnifier Take ToCoproduct ToSized ToSum ToTraversable Transposer Unifier Unzip Zip ZipApply ZipConst ZipOne ZipWith ZipWithIndex Helper ZipWithKeys Diff Div GCD LCM Max Min Mod Pow Pred Prod Range Sum ProductLength ToHList ToMap ToRecord ToSized ToTraversable ToTuple Fields Keys LowPriorityMerger LowPriorityRemove LowPriorityRemover MapValues Modifier RemoveAll Renamer SelectAll Selector ToMap Updater Values ToHList ToSizedHList At Collect ConstMapper Drop Fill Filter FilterNot FlatMapper Grouper Init IsComposite Last LeftFolder LeftReducer LeftScanner Length Mapper Modifier ModifierAt PaddedGrouper Permutations Prepend Remove RemoveAll ReplaceAt Replacer Reverse ReversePrepend ReverseSplit ReverseSplitLeft ReverseSplitRight RightFolder RightReducer RightScanner RotateLeft RotateRight Selector Split SplitLeft SplitRight SubtypeUnifier Take ToArray ToCoproduct ToList ToSized ToSum ToTraversable Transposer Unifier ZipApply ZipConst ZipOne ZipWithIndex Fields Keys LowPrioritySelector MapValues ToMap Values Delete Down First Get Insert Last Left LeftBy LeftTo Modify Put Reify Right RightBy RightTo Root Up

LowPriorityMkPathOptic

CaseClassMacros

CaseClassMacros

Instance

State

ops

CoproductOps HListOps

CoproductOps HListOps

CaseClassMacros

Poly

Typeable

Typeable

Typeable

ToTraversable

CaseClassMacros

Annotation Annotations ApplyEverything ApplyUnapplyCompanion ApplyUnapplyOps BasisConstraint CtorDtor HasApplyUnapply HasCtorUnapply Case1 Case10 Case11 Case12 Case13 Case14 Case15 Case16 Case17 Case18 Case19 Case2 Case20 Case21 Case22 Case3 Case4 Case5 Case6 Case7 Case8 Case9 Coproduct MkCoproduct Data DataT Default AsOptions Helper AsRecord Helper DefaultSymbolicLabelling DepFn0 DepFn1 DepFn2 FieldCaseBuilder Fin Generic Generic1 HList HMap HMapBuilder HasCoproductGeneric HasProductGeneric IsCCons1 IsHCons1 IsTuple KeyConstraint LUBConstraint LabelledGeneric LabelledProductTypeClassCompanion Lazy Instance TypeWrapper Lens MkCoproductSelectPrism MkCtorPrism MkFieldLens MkGenericLens MkHListNthLens MkHListSelectLens MkLabelledGenericLens MkNthFieldLens MkPathOptic MkRecordSelectLens MkSelectDynamicOptic Nat NatWith OpticComposer OpticDefns RootLens Path Poly CaseBuilder ProductCase CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder CaseBuilder PolyApply Case Case0 identity ~> Prism ProductTypeClassCompanion SingletonSymbolType Sized SizedBuilder SizedOps Split1 Strict TypeCase Typeable UnaryTCConstraint Unwrapped ValueConstraint Widen Witness WrappedOrphan Zipper FieldBuilder lazily newtype Adjoin Align At Basis Drop ExtendBy ExtendLeftBy ExtendRight ExtendRightBy Filter FilterNot FlatMap Folder InitLast Inject IsCCons LeftFolder Length Mapper Partition Prepend Remove RemoveLast Reverse Reverse0 RotateLeft RotateRight Selector Split Take ToHList Unifier ZipOne ZipWithIndex Impl ZipWithKeys FromNat ToNat FnFromProduct FnToProduct Align At Collect CollectFirst Comapped ConstMapper Diff Drop Fill Filter FilterNot FlatMapInterleave FlatMapper Grouper HKernel Init Interleave Intersection IsHCons Last LeftFolder LeftReducer LeftScanner Length LiftAll Curried MapCons MapFolder Mapped Mapper Modifier ModifierAt NatTRel PadTo PaddedGrouper Partition Patcher Permutations Prepend Remove RemoveAll ReplaceAt Replacer Reverse Reverse0 ReversePrepend ReverseSplit ReverseSplit0 ReverseSplitLeft ReverseSplitLeft0 ReverseSplitRight ReverseSplitRight0 RightFolder RightReducer RightScanner RotateLeft RotateRight SelectMany SelectRange Selector Slice Split Split0 SplitLeft SplitLeft0 SplitRight SplitRight0 SubtypeUnifier Take ToCoproduct ToSized ToSum ToTraversable Transposer Tupler Unifier Union Unzip Zip ZipApply ZipConst ZipOne ZipWith ZipWithIndex Helper ZipWithKeys FromMap Diff Div GCD GT GTEq LCM LT LTEq Max Min Mod Pow Pred Prod Range Sum ToInt ProductLength ToHList ToMap ToRecord ToSized ToTraversable ToTuple Fields Keys MapValues Merger Modifier Remove RemoveAll Remover Renamer SelectAll Selector ToMap UnsafeSelector UnsafeUpdater Updater Values ToHList FromTraversable ToSizedHList At Collect ConstMapper Drop Fill Filter FilterNot FlatMapper Grouper Init IsComposite Last LeftFolder LeftReducer LeftScanner Length MapFolder Mapper Modifier ModifierAt PaddedGrouper Patcher Permutations Prepend Remove RemoveAll ReplaceAt Replacer Reverse ReversePrepend ReverseSplit ReverseSplitLeft ReverseSplitRight RightFolder RightReducer RightScanner RotateLeft RotateRight Selector Split SplitLeft SplitRight SubtypeUnifier Take ToArray ToCoproduct ToList ToSized ToSum ToTraversable Transposer Unifier ZipApply ZipConst ZipOne ZipWithIndex Fields Keys MapValues Selector ToMap Values Delete Down First Get Insert Last Left LeftBy LeftTo Modify Put Reify Right RightBy RightTo Root Up HListOps PatchAux ReinsertAllAux ReinsertAux ReplaceTypeAux UpdatedAtAux UpdatedTypeAux RecordOps UnionOps TupleOps PatchAux ReplaceTypeAux UpdateWithAux UpdatedAtAux UpdatedTypeAux tag Tagger TypeTrace illTyped the

Widen WitnessWith

LowPriorityWitnessWith NatWith

NatProductArgs ProductArgs RecordArgs SingletonProductArgs Record

RecordArgs Record Union

TheMacros SelectorMacros UpdaterMacros IllTypedMacros TypeTraceMacros

IllTypedMacros

SelectManyAux

AdditiveCollection

AsOptions

AsRecord

Poly0 Poly1 Poly10 Poly11 Poly12 Poly13 Poly14 Poly15 Poly16 Poly17 Poly18 Poly19 Poly2 Poly20 Poly21 Poly22 Poly3 Poly4 Poly5 Poly6 Poly7 Poly8 Poly9 SizedOps At CoproductOps HListOps TupleOps

FieldPoly

RecordMacros ReprTypes SingletonSymbolType UnionMacros