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

kind level identity in haskell

haskell type-families

Can type families evaluate to qualified types such as `C a => T`?

haskell type-families type-level-computation

Infer constraints of type families from constraints of arguments

haskell constraints typeclass type-families

What is wrong with this closed type family in GHC2021-GHC2024 as compared to Haskell2010?

haskell functional-programming ghc type-families

Evaluating a strongly typed computation graph with arbitrary number of dependencies per node

haskell existential-type type-families hlist

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