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

microsoft-graph-api

advanced-installer

hook-woocommerce

firebase-remote-config

gnuradio-companion

swift-composable-archi...

facebook-instant-articles

windows-messages

microsoft-custom-vision

google-cloud-recommend...

android-anr-dialog

jhipster-gateway

memory-profiling

arbitrary-precision

mongodb-java-3.3.0

amber-framework

silverlight-3.0

ipython-parallel

bufferedinputstream

Resources