Arcane.Tipos
Reflexao sobre tipos: os metadados de um 'type' declarado (especie, base, regra, opaco), 'satisfaz' para conferir sem levantar, a forma ESTRUTURAL de um valor ('Cluster<Integer>', 'Tuple<Integer, String>') e os campos de um record ou instancia com o tipo de cada um.
Funções (10)#
| Assinatura |
|---|
campos(valor) |
conferir(valor, nome) |
de(nome) |
declarados() |
e_colecao(valor) |
e_imutavel(valor) |
existe(nome) |
forma(valor, profundidade=3) |
nome_de(valor) |
satisfaz(valor, nome) |