StackOverflow Questions for Tag: gadt

Dan
Dan

Reputation: 13180

GHC can't determine type equality with GADTs and arrows

Score: 3

Views: 114

Answers: 0

Read More
Dan
Dan

Reputation: 13180

Odd ghc error message, "My brain just exploded"?

Score: 22

Views: 1817

Answers: 1

Read More
lafras
lafras

Reputation: 9186

Evaluation of an AST (as a GADT) with arrows as atomic values

Score: 3

Views: 312

Answers: 3

Read More

Combining new Scala typeclass syntax with GADT types

Score: 1

Views: 70

Answers: 1

Read More
amakarov
amakarov

Reputation: 524

Phantom type makes pattern matching irrefutable, but that seemingly does not work inside do notation

Score: 14

Views: 699

Answers: 1

Read More
user1713450
user1713450

Reputation: 1429

What does it mean in Haskell when a function doesn't handle every constructor of a data type?

Score: 4

Views: 79

Answers: 2

Read More
JeanJouX
JeanJouX

Reputation: 2741

How to embed Multiple parameter types in a single type container with a class constraint?

Score: 1

Views: 90

Answers: 1

Read More
Thomas Eding
Thomas Eding

Reputation: 1

Write GADT record with constrained type

Score: 17

Views: 4931

Answers: 1

Read More
stormckey
stormckey

Reputation: 5

How to use menhir to parse into a GADT expression?

Score: 0

Views: 84

Answers: 1

Read More
Didier Dupont
Didier Dupont

Reputation: 29538

Eq or Ord instances for existential GADT

Score: 3

Views: 434

Answers: 2

Read More
Clinton
Clinton

Reputation: 23135

How to change the order of type application parameters for a constructor

Score: 1

Views: 70

Answers: 1

Read More
Clinton
Clinton

Reputation: 23135

Why does Data.Dynamic contain a witness instead of a typeclass constraint?

Score: 7

Views: 112

Answers: 1

Read More
Carlos Saltos
Carlos Saltos

Reputation: 1511

How to create and GADT type with Kotlin

Score: 0

Views: 22

Answers: 0

Read More
mofu
mofu

Reputation: 1

Cannot solve a type mismatching with GADT

Score: 0

Views: 52

Answers: 1

Read More
John Smith
John Smith

Reputation: 53

Length indexed heterogeneous vector

Score: 3

Views: 100

Answers: 1

Read More
pgmcr
pgmcr

Reputation: 79

Difference between GADTs and GADTSyntax

Score: 4

Views: 166

Answers: 2

Read More
Viaceslavus
Viaceslavus

Reputation: 330

Reverse heterogeneous gadt list with recursively dependent elements

Score: 2

Views: 94

Answers: 1

Read More
radrow
radrow

Reputation: 7169

How close can I get to GADTs in Rust?

Score: 5

Views: 2003

Answers: 1

Read More
Patrick Prémont
Patrick Prémont

Reputation: 938

Understanding the limits of Scala GADT support

Score: 16

Views: 3860

Answers: 5

Read More
Agnishom Chattopadhyay
Agnishom Chattopadhyay

Reputation: 2041

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

Score: 2

Views: 89

Answers: 2

Read More
PreviousPage 1Next