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

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

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