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

Compile error with type families, GADTs and named records

haskell gadt type-families

How to produce a polymorphic "unit scalar" for using with Data.VectorSpace

haskell algebra type-families

How to specify a type family with multiparameter injectivity?

haskell typeclass type-constraints type-families

inferring type class constraint when using associated type families

haskell types typeclass type-families

Specifying a dependent type via type family in a GADT data constructor

haskell gadt type-families data-kinds rank-n-types

Writing a function (a -> b -> ... -> t) -> (Monad m => m a -> m b -> ... -> m t)

haskell types monads type-families

Use type synonym in type declaration mapping

haskell 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
Older Entries »