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

New posts in data-kinds

What is '[] and ': in Haskell?

haskell types type-level-computation data-kinds heterogeneous-array

Deciphering DataKind type promotion in Servant library

haskell data-kinds servant

Pattern synonym can't unify types within type-level list

haskell data-kinds pattern-synonyms

Reflecting Heterogeneous Promoted Types back to Values, Compositionally

haskell reflection typeclass dependent-type data-kinds

Why compiler couldn't match type 'a==a' with '`True' for type family?

haskell type-families data-kinds

Using * as a primitive on Nat

haskell ghc ghci data-kinds

Data type parametrized by constant in Haskell

haskell types dependent-type data-kinds parameterized-types

DataKind Unions

haskell data-kinds

Confused on DataKinds extension

haskell types data-kinds

Haskell type family applications are not evaluated

haskell gadt type-families data-kinds

Retrieving information from DataKinds constrained existential types

haskell existential-type data-kinds

Singletons in Heterogenous Lists

haskell dependent-type data-kinds singleton-type

Constructor that lifts (via DataKinds) to * -> A

haskell data-kinds

Haskell version of yin-yang puzzle : Kind incompatibility error

haskell data-kinds

Is there a reason we can't populate types with DataKinds?

haskell data-kinds

Implementing a zipper for length-indexed lists

haskell data-kinds

Understanding the casts involved in patterns matching a datatype that is indexed over a user defined kind

haskell casting ghc type-families data-kinds

Why does :k [False] result in an error in GHCI?

haskell data-kinds
« Newer Entries Older Entries »