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

Can I write a function using DataKinds that returns a value of type encoded by the parameter?

haskell types data-kinds

Sequence over heterogeneous list in Haskell

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

DataKinds and type class instances

haskell typeclass data-kinds

Pattern match phantom type

haskell data-kinds phantom-types

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