b8.      !"#$%&'()*+,- Safe'(~>)'! is a morphism between functors. 8To accumulate effects distributed over a data type, you  it. 8This class is a generalized, but non-pointed version of .. This A is useful for types which range over functors rather than sets. Safe.Validators transform identities into results. A type which is similar to /, except that it has a * slightly different Applicative instance. 0The . instance to  relies on its error type  being a 1&. That way, it can accumulate errors.  02   02None #A field contains a key and a type.  3    3None 4Append for type-level lists. #Fields of plain records are in the 5 functor. <A record is parameterized by a list of fields and a functor ( to be applied to each of those fields. $Fixes a polymorphic record into the 5 functor. Append for records. ;Shorthand for a record with a single field. Lifts the field's . value into the chosen functor automatically. 6 We provide a 7 instance for 5. 8Records may be , to accumulate the effects of their fields. 9&Records can be applied to each other. 4 :;689<=>?  4 :;689<=>?Safe<A constraint for implicit resolution of list subset proofs. #An inductive list subset relation. @A constraint for implicit resolution of list membership proofs. *An inductive list membership proposition. @ABC   @ABCNone %Generates a lens for a record in the 5 functor. !6Generates a lens of a record in an arbitrary functor.  !"#$DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456 !"#$ "#$!  !"#$DENone%FIf two records types are subtypes of each other, that means that they ! differ only in order of fields. 7EOne record is a subtype of another if the fields of the latter are a % subset of the fields of the former. &A subtyping relation. (Term-level record congruence. %7&'(8)9:%&'()&'%()%7&'(8)9:None*+,-*+,-,+*-*+,- NoneFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456  !"#$%&'();     !"#$%&'()*+,-./012345647897:;<7=>?@ABCDE7FGHIJKLMNOPQRSTU7VW7VXYZ[YZ\]^_]^`abcabdabeabfabgabhabiabjabkablabmabnaboabpabqabrastasuasvaswasxasyaszas{as|as}as~asasasasasasasasasasasasasasasasasasasasasasasasasasasasasasasasasasasasasaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa a a a a aaaaaaaaaaaaaaaaaaa a!a"a#a$a%a&'a&(a)*a)+a),a)-a).a)/a)0a)1a)2a)3a)4a)5a)6a)7a)8a)9a):a);a)<a)=a)>a)?a)@a)Aa)Ba)Ca)Da)Ea)Fa)Ga)Ha)Ia)Ja)Ka)La)Ma)Na)Oa)PaQRaQSaQTaQUaQVaQWaQXaQYaQZaQ[aQ\aQ]aQ^aQ_aQ`aQaaQbaQcaQdaQeaQfaQgaQhaQiaQjaQkaQlaQmaQnaQoaQpaQqaQraQsaQtaQuaQvaQwaQxaQyaQzaQ{aQ|aQ}aQ~aQaQaQaQaQaQaQaQaQaQaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa a a a a aaaaaaaaaaaaaaaaaaa a!a"a#a$a%a&a'a(a)a*a+a,a-a.a/a0a1a2a3a4a5a6a7a8a9a:a;a<a=a>a?a@aAaBaCaDaEFaEGaEHaEIaJKaJLaJMaJNaJOaJPaJQaJRaJSaJTaJUaJVaWXaWYaWZaW[aW\aW]aW^aW_aW`aWaaWbacdaceacfacgachaciacjackaclacmacnacoacpacqacracsactacuacvawxawyawzaw{aw|aw}aw~awawawawawawawawawawawawawawawawawawawawawawaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa a  a  a  a a a a a a a a a a a a a a a a a a a  a !a "a #a $a %a &a 'a (a )a *a +a ,a -a .a /a 0a 1a 2a 3a 4a 5a 6a 7a 8a 9a:;a<=a<>a<?a<@aABaCDaCEaCEaCFaGHaGHaGIaJKaJLaJMaJNaJOaJPaJQaJRaJSaJSaTUaTVaTWaTXaTXaYZaY[a\]a\^a_`aabaacdefdegdehdijdikdildemnopqr vinyl-0.1.3Data.Vinyl.ClassesData.Vinyl.ValidationData.Vinyl.FieldData.Vinyl.RecData.Vinyl.WitnessesData.Vinyl.LensData.Vinyl.RelationData.Vinyl.Unicode Data.Vinyl~>NTrunNTRunrunApply<<*>> ValidatorResultSuccessFailure:::FieldPlainRecRec:&RNil fixRecord<+>=:ISubsetSubset SubsetCons SubsetNilIElemElemThereHereImplicit implicitlyRLens'RLensrLensrLens'rGetrPutrMod:~:<:cast~=rIso≅⊆∈baseControl.Applicative Applicative Data.EitherEither$fApplicativeResult Data.MonoidMonoid$fFunctorResult $fShow:::++transformers-0.3.0.0Data.Functor.IdentityIdentity$fShowIdentityGHC.ShowShow$fRunRec$fApply(->)~>Rec $fStorableRec$fStorableRec0$fEqRec$fEqRec0 $fShowRec $fShowRec0$fImplicitSubset$fImplicitSubset0$fImplicitElem$fImplicitElem0rLensAux rLensPrependData.Traversable Traversabletraversebifunctors-3.2.0.1Data.Bifunctorbimap Bifunctorcontravariant-0.4Data.Functor.Contravariant contramap Contravariant lens-3.9.0.2Control.Lens.Actioniact^@!?^@!!^@! iperformsiperformliftActactsact^!?^!!^!performsperformActing IndexedActingControl.Lens.THdefaultFieldRules makeFieldsmakeFieldsWithcamelCaseFieldsunderscoreFields makeWrapped makePrismsmakeLensesWith makeClassyFor makeLensesFormakeIso makeClassy makeLensesisoRules classyRules lensRules defaultRules lensFlags lensClass lensFieldlensIsogenerateSignatures classRequiredcreateInstance createClasssingletonRequired singletonIsosingletonAndFieldhandleSingletonsbuildTraversals partialLenses simpleLenses SimpleLenses PartialLensesBuildTraversalsSingletonAndField SingletonIsoHandleSingletonsSingletonRequired CreateClassCreateInstance ClassRequiredGenerateSignaturesLensFlag LensRules FieldRulesControl.Lens.AtsansixEachixAtcontainsLookup containsTest containsNcontainsLength containsAt containsIxresultAt_atcontainsContainsIxValueixIxedatAtControl.Lens.Platedparts composOpFoldparaparaOf holesOnOfholesOnholes contextsOnOf contextsOn contextsOfcontextstransformMOnOf transformMOf transformMOn transformM transformOnOf transformOf transformOn transform universeOnOf universeOn universeOfuniverse rewriteMOnOf rewriteMOn rewriteMOfrewriteM rewriteOnOf rewriteOn rewriteOfrewritechildrenplatePlatedControl.Lens.EachIndexeachEachControl.Lens.Consunsnocsnoc|>_last_init_tail_headunconscons<|_ConsCons_SnocSnocControl.Lens.Tuple_1Field1_2Field2_3Field3_4Field4_5Field5_6Field6_7Field7_8Field8_9Field9Control.Lens.Internal.ZipperunsafelyRestoreTaperestoreNearTape restoreTapesaveTapefocusedContextrezip ifromWithin fromWithiniwithinswithinsiwithinwithin idownwarddownwardmoveTo moveTowardtugTojerkToteethjerksfarthesttugstug rightmostleftmostleftward rightwardupwardtoothzipperfocusTopZipper:@:>:>>ZippedZippingTapeControl.Lens.LevelilevelslevelsControl.Lens.Indexed imapAccumL imapAccumRiforMimapMiforitoListifoldlMifoldrMifind iconcatMapiforM_imapM_ifor_ itraverse_iallianyifoldingindexindicesasIndex withIndexicompose<.> reindexed.><.imappedimapFunctorWithIndexifoldl'ifoldr'ifoldlifoldrifoldedifoldMapFoldableWithIndex itraversed itraverseTraversableWithIndexControl.Lens.Traversalfailoverelements elementsOfelement elementOfignored traversed64 traversed imapAccumLOf imapAccumROfiforMOfimapMOfiforOf itraverseOfcloneIndexedTraversalcloneIndexPreservingTraversalcloneTraversaldroppingtakingbesidebothunsafeSingularsingularholesOfiunsafePartsOf'unsafePartsOf'iunsafePartsOf unsafePartsOf ipartsOf'partsOf'ipartsOfpartsOfilocilociscanl1Ofscanr1Of mapAccumLOf mapAccumROf transposeOf sequenceOfforMOfmapMOf sequenceAOfforOf traverseOf ATraversal ATraversal'AnIndexedTraversalAnIndexedTraversal' Traversing Traversing' traverseMin TraverseMin traverseMax TraverseMaxControl.Lens.Prismonly_Void_Nothing_Just_Right_Leftisn'twithoutasideoutsideprism'prism clonePrismAPrismAPrism'Control.Lens.LoupeLoupe SimpleLoupeControl.Lens.Lensuniteddevoid<#=<#~#%%=<#%=<#%~#%=#=#%%~#%~#~storing^#<<%@=<%@=%%@=%%@~<<%@~<%@~<<>=<<>~<<~<<.=<<%=<&&=<||=<**=<^^=<^=&Control.Lens.EqualitysimplyfromEqmapEqsubstEqrunEq Identical AnEquality AnEquality'Control.Lens.FoldheadOfidroppingWhile itakingWhile ifiltered^@?!^@?^@.. itoListOf ifoldlMOf ifoldrMOf ifoldlOf' ifoldrOf'ifindOf iconcatMapOfiforMOf_imapMOf_iforOf_ itraverseOf_iallOfianyOfifoldlOfifoldrOf ifoldMapOf backwardsipreusespreusesipreusepreuse ipreviewspreviewsipreviewpreviewipreprehasn'thasfoldlMOffoldrMOf foldl1Of' foldr1Of'foldlOf'foldrOf'foldl1Offoldr1OffindOf minimumByOf maximumByOf minimumOf maximumOf notNullOfnullOflastOffirstOf^?!^?lengthOfconcatOf concatMapOf notElemOfelemOfmsumOfasumOf sequenceOf_forMOf_mapMOf_ sequenceAOf_forOf_ traverseOf_sumOf productOfallOfanyOforOfandOf^..toListOffoldlOffoldrOffoldOf foldMapOf droppingWhile takingWhilefilterediteratedunfoldedcycled replicatedrepeatedfoldedfoldingControl.Lens.ZoomzoomZoommagnifyMagnifyControl.Lens.Wrappedalafala unwrappings wrappings unwrappingwrapping unwrapped'wrapped' unwrappedopwrappedWrappedControl.Lens.Reviewreusesreusereviews#reviewreuntoReviewReview'AReviewAReview'Control.Lens.Gettercoerced^@.iusesiuseiviewsiview ilistenings listenings ilistening listeningusesuse^.viewsviewtoGettingIndexedGetting AccessingControl.Lens.Isormappinglmapping dimapping contramappingimagmamagma involutedreversedflipped uncurriedcurriedanonnonsimplemappingenumunderaufaucloneIsowithIsofromisoAnIsoAnIso'swappedSwappedstrictStrictControl.Lens.Simple SimpleLensSimpleReifiedLensSimpleTraversalSimpleReifiedTraversalSimpleIndexedTraversalSimpleReifiedIndexedTraversal SimpleSetterSimpleReifiedSetterSimpleIndexedSetterSimpleReifiedIndexedSetter SimpleIso SimplePrismControl.Lens.Reified reflectLens ReifyLens ReifiedLens ReifiedLens'reflectIndexedLensReifyIndexedLensReifiedIndexedLensReifiedIndexedLens'reflectIndexedTraversalReifyIndexedTraversalReifiedIndexedTraversalReifiedIndexedTraversal'reflectTraversalReifyTraversalReifiedTraversalReifiedTraversal' reflectGetter ReifyGetter ReifiedGetterreflectIndexedGetterReifyIndexedGetterReifiedIndexedGetter reflectFold ReifyFold ReifiedFold reflectSetter ReifySetter ReifiedSetterReifiedSetter'reflectIndexedSetterReifyIndexedSetterReifiedIndexedSetterReifiedIndexedSetter' reflectIsoReifyIso ReifiedIso ReifiedIso' reflectPrism ReifyPrism ReifiedPrism ReifiedPrism'Control.Lens.SetterimapOfmapOf%@=%@~isetsiover icensoring censoringipassingpassingscribe<>=<>~