Questions marquées «constraints»

Une contrainte est une condition qui doit être remplie dans un contexte donné. Les contraintes sont généralement utilisées dans les bases de données et les langages de programmation pour détecter les erreurs, garantir la cohérence et l'exactitude des données et appliquer les exigences métier.

322
Techniques de traçage des contraintes

Voici le scénario: j'ai écrit du code avec une signature de type et GHC ne peut pas déduire x ~ y pour certains xet y. Vous pouvez généralement lancer un os GHC et simplement ajouter l'isomorphisme aux contraintes de fonction, mais c'est une mauvaise idée pour plusieurs raisons: Il ne met pas...

242
essayer d'animer une contrainte rapidement

J'ai un UITextField que je veux agrandir sa largeur lorsqu'il est tapé dessus. J'ai configuré les contraintes et je me suis assuré que la contrainte de gauche a la priorité inférieure à celle que j'essaie d'animer du côté droit. Voici le code que j'essaie d'utiliser. // move the input box...