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

dependency-injection

terraform-provider-azure

chrome-extension-manif...

beagleboneblack

in-app-purchase

google-cloud-composer

google-forms-api

cypress-component-test...

windows-container

probability-distribution

c++builder-10.2-tokyo

business-process-manag...

expression-encoder-sdk

android-coordinatorlayout

probabilistic-programming

scripting-language

intellij-idea-2018

javascript-globalize

ipython-parallel

campaign-monitor

exchange-server-2007

template-toolkit

linux-security-module

meego-harmattan

ie-compatibility-mode

resource-cleanup

Resources