Safe-Inferred246MInstances of this class provide a test on some type a with an alternative case for when it fails. If it passes, it gives a value of type b; otherwise, it gives a value of type c.Instances of this class provide a test on some type a. If it passes, it gives a value of type b; otherwise, it gives Nothing.LA conditional using a PartialIf instance. This is just like the function   which decomposes a Maybe, except that the Maybe is produced through an PartialIf instance determined by the type of the positive case.JA conditional using a TotalIf instance. This is just like the function   which decomposes an Either, except that the Either is produced through a TotalIf instance determined by the types of the cases.Like  _ but with a bonus: if the condition passes, you actually get a hold of some new information.Like r but for the positive case (Left) of a TotalIf. Requires a proxy on the negative type in order to disambiguate.Like s but for the negative case (Right) of a TotalIf. Requires a proxy on the positive type in order to disambiguate.         RichConditional-0.1.0.0Control.RichConditionalTotalIfdecide PartialIfindicateinCaseifElseensureensurePositiveensureNegativebase Data.Maybemaybe Data.Eithereither Control.MonadguardDecision Indication$fTotalIfEitherab$fPartialIfMaybea