StackOverflow Questions for Tag: gadt

Dan

Reputation: 13180

GHC can't determine type equality with GADTs and arrows

haskellgadtarrow-abstraction

Score: 3

Answers: 0

Dan

Reputation: 13180

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

haskellgadtarrow-abstraction

Score: 22

Answers: 1

lafras

Reputation: 9186

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

haskellabstract-syntax-treegadtarrow-abstraction

Score: 3

Answers: 3

Mikael Vejdemo-Johansson

Reputation: 535

Combining new Scala typeclass syntax with GADT types

scalatypeclassscala-3gadttype-members

Score: 1

Answers: 1

amakarov

Reputation: 524

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

haskellghcgadt

Score: 14

Answers: 1

user1713450

Reputation: 1429

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

haskellgadt

Score: 4

Answers: 2

JeanJouX

Reputation: 2741

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

classhaskellgadttype-familiesforall

Score: 1

Answers: 1

Thomas Eding

Reputation: 1

Write GADT record with constrained type

haskellrecordtype-constraintsgadt

Score: 17

Answers: 1

stormckey

Reputation: 5

How to use menhir to parse into a GADT expression?

ocamlinterpretergadtmenhir

Score: 0

Answers: 1

Didier Dupont

Reputation: 29538

Eq or Ord instances for existential GADT

haskellgadtexistential-type

Score: 3

Answers: 2

Clinton

Reputation: 23135

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

haskellghcgadtexistential-type

Score: 1

Answers: 1

Clinton

Reputation: 23135

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

haskellghctypeclassgadt

Score: 7

Answers: 1

Carlos Saltos

Reputation: 1511

How to create and GADT type with Kotlin

kotlingenericsfunctional-programminggadt

Score: 0

Answers: 0

mofu

Reputation: 1

Cannot solve a type mismatching with GADT

ocamlgadt

Score: 0

Answers: 1

John Smith

Reputation: 53

Length indexed heterogeneous vector

haskellgadttype-level-computation

Score: 3

Answers: 1

pgmcr

Reputation: 79

Difference between GADTs and GADTSyntax

haskelltypesfunctional-programminggadt

Score: 4

Answers: 2

Viaceslavus

Reputation: 330

Reverse heterogeneous gadt list with recursively dependent elements

ocamlreversegadtheterogeneous-list

Score: 2

Answers: 1

radrow

Reputation: 7169

How close can I get to GADTs in Rust?

genericsrusttypesenumsgadt

Score: 5

Answers: 1

Patrick Prémont

Reputation: 938

Understanding the limits of Scala GADT support

scalatype-systemsgadtscala-compiler

Score: 16

Answers: 5

Agnishom Chattopadhyay

Reputation: 2041

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

haskellpolymorphismgadtdata-kinds

Score: 2

Answers: 2

PreviousPage 1Next

StackOverflow Questions for Tag: gadt

GHC can&#39;t determine type equality with GADTs and arrows

Odd ghc error message, &quot;My brain just exploded&quot;?

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

Combining new Scala typeclass syntax with GADT types

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

What does it mean in Haskell when a function doesn&#39;t handle every constructor of a data type?

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

Write GADT record with constrained type

How to use menhir to parse into a GADT expression?

Eq or Ord instances for existential GADT

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

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

How to create and GADT type with Kotlin

Cannot solve a type mismatching with GADT

Length indexed heterogeneous vector

Difference between GADTs and GADTSyntax

Reverse heterogeneous gadt list with recursively dependent elements

How close can I get to GADTs in Rust?

Understanding the limits of Scala GADT support

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

GHC can't determine type equality with GADTs and arrows

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

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