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

Is there any way to convince GHC that this (injective) type family is injective?

haskell type-families data-kinds

How to type function which takes arguments of a DataKind indexed type instantiated with different indices?

haskell polymorphism gadt data-kinds

FromJSON instance with DataKinds

haskell aeson data-kinds

Decorating type level list with extra information from type level map

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

Using type-inequality within type-level programming in Haskell

haskell types gadt type-level-computation data-kinds

Type restriction in type declaration

haskell type-systems gadt data-kinds phantom-types

Generating a type annotation using DataKinds within a TH QuasiQuote

list haskell template-haskell data-kinds

What does the `forall a -> b` syntax mean?

haskell types existential-type data-kinds forall

Extract parameters from Haskell types with `DataKinds`

haskell types data-kinds type-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

How to use toSing from singletons library?

haskell singleton dependent-type data-kinds
Older Entries »