Îõ³h'S* Safe-Inferred.0ÀÁÂÃÄËÖØÙÛî÷ if-instanceIsSat ct returns True if ct is satisfied, and False otherwise.ÒThe satisfiability check occurs at the moment of performing type-family reduction. if-instancedispatch @c @d a b returns a if the constraint c is satisfied, otherwise b. 7dispatch :: ( c || d ) => ( c => r ) -> ( d => r ) -> rRequires the if-instance : add ){-# OPTIONS_GHC -fplugin=IfSat.Plugin #-} to the header of your module.?Note: the selection happens at the point in the code where the c || d constraint is solved. if-instance ifSat @ct a b returns a if the constraint ct is satisfied, and b otherwise.Requires the if-instance : add ){-# OPTIONS_GHC -fplugin=IfSat.Plugin #-} to the header of your module.?Note: the selection happens at the point in the code where the IfSat ct constraint is solved. Safe-Inferred&,0Óê$ if-instance#A type-checking plugin that solves  ct_l || ct_r6 constraints. This allows users to branch on whether ct_l is satisfied.To use this plugin, add ){-# OPTIONS_GHC -fplugin=IfSat.Plugin #-} to your module header.A  ct_l || ct_r( instance is solved by trying to solve ct_l:if solving succeeds, the * function will pick the first branch, otherwise,  will pick the second branch.ÛThis means that the branch selection occurs precisely at the moment at which we solve the  ct_l || ct_r( constraint. See the documentation of  for more information. if-instanceLook up whether a  has been filled with evidence.  if-instance-0.3.0.0-inplaceData.Constraint.If IfSat.PluginplugindispatchIsSatIfSat||ifSat lookupEvTermghcGHC.Tc.Types.ConstraintTcEvDest