typeclass

typeclass

Can I always replace do ... pure ... with ado ... in ... in Purescript?

How do I turn on specialization to eliminate runtime dictionary passing?

Instantiate type classes in locale contexts

How can I use functions and terms defined in locale after interpretation?

How can I have multiple arbitrary types in a typeclass definiton in Isabelle?

How to prove a thereom about a type class outside the original type class definition?

Ord: No type class instance was found for Data.Eq.Eq (Extended a0). PureScript by Example book, Chapter 6

"failed to synthesize type class instance" in rewrite subproof

extending or inferring (PID / UFD) in a Lean class definition

Using interfaces to define partial functions on Type

Idiomatically capturing "all idempotent semirings induce a partial order"

Type kind error when creating instance of Functor typeclass

Why does 'neutral' not normalize to '[]' in the List monoid?

Diamond-like interface constraints issue

Purescript Union of Rows

Why is defining an instance of Choice failing with unknown value?

Equality in definitions (decidable equality? e.g. replace elements in list)

Specialize `Map` typeclass into `PartialMap` typeclass

How to express typeclass that has a function returning a value of the same typeclass

Coq: import information about instances

Fixpoint functions in Type Class Instances

Coq: usage of `PartialOrder` typeclass

Using TypeClass Instances Within Typeclasses

"Type synonym instances are disallowed" even though I have a newtype monad transformer

'No type class instance was found' on multi-parameter type class

Unfolding nested definitions in Coq

named implementation to default implementation

How to declare "free" instance of type class?

Type classes, instances and wrappers

Coq: typeclasses vs dependent records

Type classes in Nim

How to reference type class-polymorphic variables in a theorem type?

Coq: unfolding class instances

Rust: using traits/typeclasses to implement a generic numeric function

polymorphic instances for typeclasses in Mercury language

How can I make a Maybe-Transformer MaybeT into an instance of MonadWriter?

What is the effect of type synonyms on instances of type classes? What does the TypeSynonymInstances pragma in GHC do?

page:1 of 1 main page

Categories

google-my-business-api

stored-procedures

dependency-injection

entity-framework-6

ngrx-component-store

atlassian-crucible

azure-devops-rest-api

tensorflow-federated

zend-framework2

android-vibration

calling-convention

splunk-dashboard

spring-cloud-skipper

django-staticfiles

offline-caching

umbraco-ucommerce

oracle-call-interface

playframework-2.6

terminal-emulator

modalviewcontroller

mysql-error-1452

smooth-streaming

stream-processing

angularjs-ng-pattern

requirejs-rails

visual-studio-addins

copy-constructor

Resources