Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in typeclass

Why does Enum require to implement toEnum and fromEnum, if that's not enough for types larger than Int?

haskell enums functional-programming typeclass bounded-types

Why do instances in PureScript have names?

typeclass purescript

Is this weaker semialign a known abstraction?

haskell typeclass

What instance of `Num` is used with literals e.g. in `print 1`?

haskell typeclass

How to write a Representable instance using only Distributive properties?

haskell typeclass representable distributive

When to use Multiparameter type classes in Haskell?

haskell typeclass

Higher-kinded types—why possible Scala but not F#? [closed]

scala f# typeclass higher-kinded-types

Generic way to check if range contains value in Scala

scala generics typeclass

How do the implementation of Eq typeclass function: x == y = not (x /= y) x /= y = not (x == y) work?

haskell recursion typeclass mutual-recursion

How to state that a type variable in a newtype statement is of a type that belongs to some type class?

haskell typeclass newtype

Overlapping instances for between Double and Integral types

haskell typeclass

Type constraints on typeclass instances in Haskell?

haskell typeclass type-constraints

Is there such a thing as a 'not' constraint operator?

haskell constraints typeclass

Why is there no type class for monoids on functors in Haskell?

haskell typeclass functor monoids alternative-functor

Avoiding use of unsafeCoerce in Hughes' list functor instance

haskell typeclass functor coercion difference-lists

Nim - Create sequence of objects which implement a method

interface typeclass nim-lang multimethod

How to interpret this Haskell code that type checks?

haskell typeclass

Role of functional dependency in `Unfoldable` typeclass of Haskell Collection API

haskell typeclass functional-dependencies

MonadError instance for a Free Monad

haskell typeclass free-monad overlapping-instances

Why can't Haskell unify my types when using a constraint as class parameter?

haskell constraints typeclass
Older Entries »