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-cloud-dataflow

firebase-realtime-data...

standard-deviation

denormalization

heroku-postgres

google-maps-autocomplete

google-cloud-data-tran...

google-cloud-transcoder

yaml-front-matter

django-settings

offline-caching

umbraco-ucommerce

processing-efficiency

gridlayoutmanager

code-search-engine

apache-bloodhound

mahout-recommender

symbolic-computation

odp.net-managed

membershipreboot

httpcontext.cache

set-include-path

Resources