Perguntas com a marcação «roles»

1165
Qual é o objetivo do atributo "role" em HTML?

Continuo vendo atributos de função no trabalho de algumas pessoas. Eu também o uso, mas não tenho certeza sobre seu efeito. Por exemplo: <header id="header" role="banner"> Header stuff in here </header> Ou: <section id="facebook" role="contentinfo"> Facebook stuff in...

126
Grupo versus função (alguma diferença real?)

Alguém pode me dizer, qual é a verdadeira diferença entre grupo e função? Eu tenho tentado descobrir isso há algum tempo e quanto mais informações eu leio, mais tenho a sensação de que isso é trazido apenas para confundir as pessoas e não há diferença real. Ambos podem fazer o trabalho do outro. Eu...

122
Crie PostgreSQL ROLE (usuário) se não existir

Como escrevo um script SQL para criar um ROLE no PostgreSQL 9.1, mas sem gerar um erro se ele já existir? O script atual simplesmente tem: CREATE ROLE my_user LOGIN PASSWORD 'my_password'; Isso falhará se o usuário já existir. Eu gostaria de algo como: IF NOT EXISTS (SELECT * FROM pg_user WHERE...

11
Digite papéis e comportamento confuso ao `coagir`

Eu tenho um tipo Id ae estou tentando evitar a coação acidental, por exemplo, um Id Doublepara um Id Int. Se eu entendo as funções de digitação corretamente, o seguinte não deve ser compilado. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id...