Perguntas com a marcação «constraints»

Uma restrição é uma condição que deve ser cumprida em um determinado contexto. As restrições são normalmente usadas em bancos de dados e linguagens de programação para detectar erros, garantir a consistência e a precisão dos dados e aplicar os requisitos de negócios.

322
Técnicas para rastrear restrições

Aqui está o cenário: escrevi algum código com uma assinatura de tipo e as queixas do GHC não puderam deduzir x ~ y para alguns xe y. Geralmente, você pode jogar um osso no GHC e simplesmente adicionar o isomorfismo às restrições da função, mas essa é uma má idéia por vários motivos: Não enfatiza...

242
tentando animar uma restrição rapidamente

Eu tenho um UITextField que eu quero aumentar sua largura quando tocado. Configurei as restrições e verifiquei se a restrição à esquerda tem a prioridade mais baixa que a que estou tentando animar no lado direito. Aqui está o código que estou tentando usar. // move the input box...