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

Multiplication problem involving kind `Nat`

haskell data-kinds

Understanding this definition of HList

haskell types ghc type-level-computation data-kinds

Using GADTs with DataKinds for type level data constructor constraints in functions

haskell gadt existential-type data-kinds

How to derive Eq for a GADT with a non-* kinded phantom type parameter

haskell gadt deriving data-kinds

Hierarchical module name for type-level programs

haskell module type-families data-kinds

Type Inference with Reflection and DataKinds

haskell reflection type-inference data-kinds

Defining custom type families over the Nat kind

haskell type-level-computation data-kinds

How to specify the type for a heterogenous collection in a GADT formulated AST?

haskell existential-type gadt data-kinds

How exactly do kind lists work?

haskell data-kinds

Functions that only work with one constructor of a type

haskell types message-queue data-kinds

Building values dynamically with GADTs using Data Kinds

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