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

Type-level list of a single type level-tuple in Haskell

haskell data-kinds

How to create a "kind class" in Haskell, or ad-hoc polymorphism at the type-level using type families

haskell types typeclass type-families data-kinds

Couldn't match kind '*' with 'Nat'

haskell types data-kinds

Can't specify type signature in GHCI when using DataKinds

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