Searched refs:srcConstraint (Results 1 – 9 of 9) sorted by relevance
241 def get_transformed_constraints(srcConstraint): argument249 if srcConstraint.is_indexed():256 transBlock = _get_constraint_transBlock(srcConstraint)258 return transBlock._constraintMap['transformedConstraints'][srcConstraint]261 % srcConstraint.name)
54 [P.srcConstraint (P.Qualified Nothing $ P.ProperName "A") [] [] Nothing]
291 … return (TypeClassDictionary (srcConstraint className' kinds'' tys'' conInfo) context hints')332 return (Unsolved (srcConstraint className' kindArgs tyArgs conInfo))333 …| otherwise = throwError . errorMessage $ NoInstanceFound (srcConstraint className' kindArgs tyArg…530 , Just [ srcConstraint C.RowUnion kinds [rest, r, rowVar] Nothing ]590 …_ -> (not (null fixed), Just [ srcConstraint C.RowLacks kinds [srcTypeLevelString sym, rest] Nothi…
438 con <- checkConstraint (srcConstraint className [] tys Nothing)724 con <- checkConstraint (srcConstraint className [] tys Nothing)
922 def get_transformed_constraints(self, srcConstraint): argument923 return get_transformed_constraints(srcConstraint)
1054 def get_transformed_constraints(self, srcConstraint): argument1055 return get_transformed_constraints(srcConstraint)
309 (srcConstraint C.Partial [] [] (Just constraintData))
530 …errorMessage $ NoInstanceFound (srcConstraint Prim.Coercible [k] [a, b] Nothing) (any containsUnkn…
170 srcConstraint = Constraint NullSourceAnn function