DEVHIDE
Login Or Sign up

List Question

20
169
Views

Constructor that lifts (via DataKinds) to * -> A

Published on
#haskell #data-kinds
182
Views

Defining custom type families over the Nat kind

Published on
#haskell #type-level-computation #data-kinds
460
Views

FromJSON instance with DataKinds

Published on
#haskell #aeson #data-kinds
155
Views

Typeclass instantiated on every value of a data kind

Published on
#haskell #typeclass #data-kinds
193
Views

Nested Type-Level Programming

Published on
#haskell #data-kinds
1.5k
Views

Can't specify type signature in GHCI when using DataKinds

Published on
#haskell #data-kinds
330
Views

How to process a recursive GADT with kind :: '[SomeDataKind]

Published on
#haskell #recursion #gadt #data-kinds
25.9k
Views

What is the DataKinds extension of Haskell?

Published on
#haskell #types #algebraic-data-types #data-kinds
188
Views

forall in a kind signature

Published on
#haskell #dependent-type #data-kinds #singleton-type
250
Views

Promoting complex GADTs

Published on
#haskell #gadt #dependent-type #data-kinds
434
Views

Fixed size arrays in Haskell

Published on
#arrays #haskell #data-kinds
180
Views

Is it possible to promote a value to type level?

Published on
#haskell #data-kinds
52
Views

Shrinking types and values together without exponential blowup

Published on
#time-complexity #dependent-type #quickcheck #data-kinds #singleton-type
1.1k
Views

Haskell pattern matching on GADTs with Data Kinds

Published on
#haskell #pattern-matching #gadt #data-kinds
1.2k
Views

Playing with DataKinds - Kind mis-match errors

Published on
#haskell #ghc #type-families #type-level-computation #data-kinds
131
Views

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

Published on
#haskell #traversal #existential-type #data-kinds
427
Views

Motivation for limitation on data kind promotion

Published on
#haskell #ghc #data-kinds
605
Views

How do you formulate n-ary product and sum types in this typed lambda calculus universe?

Published on
#haskell #lambda-calculus #algebraic-data-types #gadt #data-kinds
156
Views

IdGeneratorStrategy unique for each kind

Published on
#google-app-engine #google-cloud-datastore #data-kinds
434
Views

Android ContactsContract.Display_Name returns contact phone number or any other available data

Published on
#android #android-contacts #contactscontract #data-kinds

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.