At Filter FilterNot

shadedshapeless

adjoin

coproduct hlist tuple

record

shadedshapeless

shadedshapeless

shadedshapeless

UnwrappedInstances

shadedshapeless

ApplyUnapplyFacet

shadedshapeless

ApplyUnapplyFacet

Default

Default

coproduct hlist tuple

Poly10Builder Poly11Builder Poly12Builder Poly13Builder Poly14Builder Poly15Builder Poly16Builder Poly17Builder Poly18Builder Poly19Builder Poly1Builder Poly20Builder Poly21Builder Poly22Builder Poly2Builder Poly3Builder Poly4Builder Poly5Builder Poly6Builder Poly7Builder Poly8Builder Poly9Builder

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 CoproductToEither Drop EitherToCoproduct ExtendBy ExtendLeftBy Impl ExtendRight ExtendRightBy Filter FilterNot FlatMap Folder InitLast IsCCons LeftFolder Length LiftAll LowPriorityRemove LowPriorityRemoveLast LowPriorityRotateRight LowestPriorityPrepend Mapper Partition Reify Reverse RotateLeft Impl Split Take ToHList Unifier ZipConst ZipWith ZipWithIndex Impl ZipWithKeys FromNat ToNat At Collect Combinations ConstMapper Drop Fill Filter FilterNot FlatMapInterleave FlatMapper Grouper HKernelAux Init Interleave IsHCons Last LeftFolder LeftReducer LeftScanner Length LiftAll LowPriorityCollectFirst LowPriorityComapped LowPriorityDiff LowPriorityIntersection LowPriorityPrepend LowPriorityRemove LowPriorityReversePrepend LowPriorityRotateLeft LowPriorityRotateRight LowPriorityToCoproductTraversable LowPriorityUnion LowPriorityZipOne LowestPriorityPrepend MapCons Mapped Mapper Modifier ModifierAt PadTo PaddedGrouper Partition Patcher Permutations Reify RemoveAll Repeat ReplaceAt Replacer Reverse ReverseSplit ReverseSplitLeft ReverseSplitRight RightFolder RightReducer RightScanner RightScanner0 SelectMany SelectRange Slice Split SplitLeft SplitRight SubtypeUnifier Take ToCoproduct ToSized ToSum ToTraversable Transposer Unifier Unzip Zip ZipApply ZipConst ZipWith ZipWithIndex Helper ZipWithKeys Diff Div GCD LCM Max Min Mod Pow Pred Prod Range Sum ProductLength ToHList ToMap ToRecord ToSized ToTraversable ToTuple AlignByKeys Fields Keys LowPriorityDeepMerger LowPriorityMergeWith LowPriorityMerger LowPriorityRemove LowPriorityRemover MapValues Modifier RemoveAll Renamer SelectAll Selector SwapRecord ToMap UnzipFields 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 UnzipFields Values Delete Down First Get Insert Last Left LeftBy LeftTo Modify Put Reify Right RightBy RightTo Root Up

LowPriorityMkPathOptic

BoundedRange

CaseClassMacros

CaseClassMacros

Instance

State

ops

CoproductOps HListOps

CoproductOps HListOps TupleOps

RecordOps

CaseClassMacros

Refute

Poly

Typeable

Typeable

Typeable

ToTraversable

CaseClassMacros

Annotation Annotations ApplyEverything ApplyUnapplyCompanion ApplyUnapplyOps BasisConstraint CtorDtor FieldType 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 FillWithOps HMap HMapBuilder HasCoproductGeneric HasProductGeneric IsCCons1 IsDistinctConstraint IsHCons1 IsTuple KeyConstraint LUBConstraint LabelledGeneric LabelledProductTypeClassCompanion Lazy Instance TypeWrapper Lens MkCoproductSelectPrism MkCtorPrism MkFieldLens MkGenericLens MkHListNthLens MkHListSelectLens MkLabelledGenericLens MkNthFieldLens MkPathOptic MkRecordSelectLens MkSelectDynamicOptic Nat NatWith NotContainsConstraint 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 ~> Function10TypeAt Function11TypeAt Function12TypeAt Function13TypeAt Function14TypeAt Function15TypeAt Function16TypeAt Function17TypeAt Function18TypeAt Function19TypeAt Function1TypeAt Function20TypeAt Function21TypeAt Function22TypeAt Function2TypeAt Function3TypeAt Function4TypeAt Function5TypeAt Function6TypeAt Function7TypeAt Function8TypeAt Function9TypeAt AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux AtAux 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 LiftAll Curried Mapper Partition Prepend Reify Remove RemoveLast Reverse Reverse0 RotateLeft RotateRight RuntimeInject Selector Split Take ToHList Unifier ZipConst ZipWith ZipWithIndex Impl ZipWithKeys FromNat ToNat FnFromProduct FnToProduct Align At Collect CollectFirst Comapped Combinations ConstMapper Diff Drop Fill FillWith Filter FilterNot FlatMapInterleave FlatMapper Grouper HKernel Init Interleave Intersection IsHCons Last LeftFolder LeftReducer LeftScanner Length LiftAll Curried LowPriorityZipOne MapCons MapFolder Mapped Mapper Modifier ModifierAt NatTRel PadTo PaddedGrouper Partition Patcher Permutations Prepend Reify Remove RemoveAll Repeat 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 ZipWith ZipWithIndex Helper ZipWithKeys FromMap BoundedRange Diff Div GCD GT GTEq LCM LT LTEq Max Min Mod Pow Pred Prod Range Sum ToInt Inst ProductLength ToHList ToMap ToRecord ToSized ToTraversable ToTuple AlignByKeys DeepMerger Extractor Fields Keys LacksKey MapValues MergeWith Merger Modifier Remove RemoveAll Remover Renamer SelectAll Selector SwapRecord ToMap UnsafeModifier UnsafeRemover UnsafeSelector UnsafeUpdater UnzipFields Updater Values ToHList FromTraversable ToSizedHList Align 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 UnzipFields 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 compileTime illTyped the

Widen WitnessWith

LowPriorityWitnessWith NatWith

FromProductArgs FromRecordArgs NatProductArgs ProductArgs RecordArgs SingletonProductArgs Record

RecordArgs Record Union

TheMacros ToIntMacros LacksKeyMacros ModifierMacros RemoverMacros SelectorMacros UpdaterMacros CompileTimeMacros 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 Poly10Builder Poly11Builder Poly12Builder Poly13Builder Poly14Builder Poly15Builder Poly16Builder Poly17Builder Poly18Builder Poly19Builder Poly1Builder Poly20Builder Poly21Builder Poly22Builder Poly2Builder Poly3Builder Poly4Builder Poly5Builder Poly6Builder Poly7Builder Poly8Builder Poly9Builder SizedOps At CoproductOps HListOps TupleOps

Function10TypeAt Function11TypeAt Function12TypeAt Function13TypeAt Function14TypeAt Function15TypeAt Function16TypeAt Function17TypeAt Function18TypeAt Function19TypeAt Function1TypeAt Function20TypeAt Function21TypeAt Function22TypeAt Function2TypeAt Function3TypeAt Function4TypeAt Function5TypeAt Function6TypeAt Function7TypeAt Function8TypeAt Function9TypeAt

FieldPoly

Function10TypeAt Function11TypeAt Function12TypeAt Function13TypeAt Function14TypeAt Function15TypeAt Function16TypeAt Function17TypeAt Function18TypeAt Function19TypeAt Function1TypeAt Function20TypeAt Function21TypeAt Function22TypeAt Function2TypeAt Function3TypeAt Function4TypeAt Function5TypeAt Function6TypeAt Function7TypeAt Function8TypeAt Function9TypeAt

RecordMacros ReprTypes SingletonSymbolType UnionMacros