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

New posts in type-families

Is there any way to convince GHC that this (injective) type family is injective?

haskell type-families data-kinds

monads-tf: MonadReader instance for MonadState

haskell monads typeclass monad-transformers type-families

Associated data families and overlapping instances

haskell ghc type-families associated-types

YesodAuthEmail could not deduce m ~ HandlerFor site0 [duplicate]

haskell authorization yesod type-families

Please explain type synonyms

haskell yesod type-families

Why are type instances (a->a) and (a->a->a) conflicting in GHC 7.8?

haskell type-families

FunctionalDependencies does not unify on uniquely identified type

haskell functional-dependencies type-families

Decorating type level list with extra information from type level map

haskell gadt type-families type-level-computation data-kinds

Defined a type family (++); any way to prove that (vs ++ us) ~ '[] implies (vs ~ '[]) and (us ~ '[])?

haskell functional-dependencies type-families

How do I simplify this type-level function that compares symbols?

haskell type-families

Type families - cannot derive Base Int?

haskell types type-families

How to prove that the type parameters of an Injective Type Family are Equivalent? [duplicate]

haskell ghc type-families

Is there a way to use a kind level class with type families?

haskell typeclass type-families type-level-computation

Data family instance binding illegally to built in syntax: ()

haskell compiler-errors type-families

functional dependencies vs type families

haskell functional-dependencies type-families

ghc-mod expecting MonadBaseControl to have `StM` associated newtype instead of `StT` associated type

haskell monad-transformers type-families ghc-mod

Untouchable types when specializing an unused type variable

haskell compiler-errors type-families

How to implement default associated type family for OVERLAPPABLE instance, monomorphic container and newtype wrapper?

haskell type-families

haskell type family result not matching

haskell type-families
Older Entries »