Resultados da pesquisa a pedido "type-constraints"
Como colocar restrições nos dados associados?
Gostaria de afirmar que os dados associados são sempre uma instância de uma determinada classe.
Quando devo ou não devo estar usando restrições de tipo genérico?
Eu tenho uma classe base:
Instância de Functor para um GADT com restrição de tipo
Hoje eu queria investigar se é possível construir um tipo de dados de tal forma que ele não armazene os dados do tipo de sua assinatura de tipo, mas outra re...
Por que uma restrição de tipo genérico resulta em um erro de conversão sem referência implícita?
Eu criei algumas interfaces e classes genéricas para trabalhar com compromissos da agenda:
É possível introduzir variáveis de tipo adicionais em uma restrição de superclasse?
Ao lidar com famílias de tipos, geralmente é útil usar restrições de igualdade para evitar a necessidade de repetir o nome de alguma função de tipo em uma assinatura: class Foo f where type BulkyAssociatedType f :: * foo :: BulkyAssociatedType ...
Por que Haskell para de inferir as classes de tipo do tipo de dados nas assinaturas de função?
Em primeiro lugar, esta questão não é 100% específica para Haskell, sinta-se à vontade para comentar sobre o design geral de classes, interfaces e tipos. eu estou lendoLYAH - criando tipos e classes de ...
Por que isso viola a restrição de tipo?
Estou tentando personalizar o ASP.NET Identity 3 para que ele use chaves inteiras: public class ApplicationUserLogin : IdentityUserLogin<int> { } public class ApplicationUserRole : IdentityUserRole<int> { } public class ApplicationUserClaim : ...
Como o operador <: <trabalha no Scala?
Em Scala há uma aula<:< que testemunha uma restrição de tipo. DePredef.scala: sealed abstract class <:<[-From, +To] extends (From => To) with Serializable private[this] final val singleton_<:< = new <:<[Any,Any] { def apply(x: Any): Any = x } ...
Você pode criar uma instância de uma classe não para um tipo, mas para uma classe inteira em Haskell?
Suponha que eu queira transformar todos os números em uma instância deMonoid. Em vez de ter que criar uma instância para cadaNum como isso: instance Monoid Int where mappend = (+) mempty = 0 instance Monoid Float where mappend = (+) mempty = 0.0 ...
Métodos genéricos em C #, digite parâmetros na restrição de construtor new ()
Existe uma maneira de criar um método genérico que use o métodonew() restrição de construtor para exigir classes com construtores de tipos específicos? Por exemplo: Eu tenho o seguinte código: public T MyGenericMethod<T>(MyClass c) where T : ...
Página 1 do 2