úÎ/-     Safe+The transformer version of  Validation. A value of the type err or a and isomorphic to  Data.Either.9_Success # (+1) <*> _Success # 7 :: Validation String Int Success 8=_Failure # ["f1"] <*> _Success # 7 :: Validation [String] IntFailure ["f1"]@_Success # (+1) <*> _Failure # ["f2"] :: Validation [String] IntFailure ["f2"]B_Failure # ["f1"] <*> _Failure # ["f2"] :: Validation [String] IntFailure ["f1"] A value of the type err or a, however, the  Applicative8 instance accumulates values. This is witnessed by the  Semigroup context on the instance. ,Note that there is no Monad such that ap = ( *).<_Success # (+1) <*> _Success # 7 :: AccValidation String Int AccSuccess 8@_Failure # ["f1"] <*> _Success # 7 :: AccValidation [String] IntAccFailure ["f1"]C_Success # (+1) <*> _Failure # ["f2"] :: AccValidation [String] IntAccFailure ["f2"]E_Failure # ["f1"] <*> _Failure # ["f2"] :: AccValidation [String] IntAccFailure ["f1","f2"] \((x `mappend` y) `mappend` z) == (x `mappend` (y `mappend` z :: AccValidation [String] Int))7mempty `mappend` x == (x :: AccValidation [String] Int)7x `mappend` mempty == (x :: AccValidation [String] Int)@((x <> y) <> z) == (x <> (y <> z :: AccValidation [String] Int))b   !"#$%&'()*+,-./0123456789 :;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX YZ[\]^_`a   X   !"#$%&'()*+,-./0123456789 :;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX YZ[\]^_`ab      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcvalidation-0.4.1Data.ValidationValidate _Validation _Validation'_AccValidation_Either Validation' ValidationTrunValidationT Validation AccValidation_Failure_Success$fMonoidAccValidation$fSemigroupAccValidationSuccessFailure AccSuccess AccFailurefmapAccValidationapAccValidationaltAccValidationfoldrAccValidationtraverseAccValidationbimapAccValidationbifoldrAccValidationbitraverseAccValidationappsAccValidationappmAccValidationemptyAccValidationfmapValidation apValidation altValidationfoldrValidationtraverseValidationbimapValidationbifoldrValidationbitraverseValidationbindValidationfmapValidationT apValidationTpureValidationTaplValidationTaltValidationTfoldrValidationTtraverseValidationTbimapValidationTbifoldrValidationTbitraverseValidationTbindValidationTreturnValidationT _ValidationV'_AccValidationV_EitherV_AccValidationValidationIso_AccValidationEitherIso_EitherValidationIso_EitherAccValidationIsoswappedAccValidationswappedValidationswappedValidationT$fSwappedValidationT$fSwappedValidation$fSwappedAccValidation$fValidateEither$fValidateAccValidation$fValidateValidation$fMonadValidationT$fBindValidationT$fBitraversableValidationT$fBifoldableValidationT$fBifunctorValidationT$fTraversableValidationT$fFoldableValidationT$fAltValidationT$fApplicativeValidationT$fApplyValidationT$fFunctorValidationT$fMonadValidation$fBindValidation$fBitraversableValidation$fBifoldableValidation$fBifunctorValidation$fTraversableValidation$fFoldableValidation$fAltValidation$fApplicativeValidation$fApplyValidation$fFunctorValidation$fBitraversableAccValidation$fBifoldableAccValidation$fBifunctorAccValidation$fTraversableAccValidation$fFoldableAccValidation$fAltAccValidation$fApplicativeAccValidation$fApplyAccValidation$fFunctorAccValidation