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

How to get better error messages with type-families?

haskell type-families data-kinds

Mapping a Dependent Type over a List of Types

haskell type-families data-kinds

Change values to indices in a `Conkin.Traversable` without `unsafeCoerce`

haskell traversal existential-type data-kinds

Singletons, type families, and existential types for a FromJSON instance

haskell typeclass existential-type data-kinds

Using a promoted data constructor as a phantom parameter

haskell data-kinds

Covering all the cases of a promoted datatype

haskell data-kinds

How to export type constructors when using DataKinds extension?

haskell types data-kinds

Typeable instance for Constraint tupling

haskell data-kinds constraint-kinds

Playing with DataKinds - Kind mis-match errors

haskell ghc type-families type-level-computation 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
Older Entries »