StackOverflow Questions for Tag: gadt

Evg

Reputation: 3080

Why haskell can't infer type for this GADT

haskelltypesgadt

Score: 1

Answers: 1

Max Heiber

Reputation: 15572

What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?

ocamlequalitydependent-typegadt

Score: 2

Answers: 1

Max Heiber

Reputation: 15572

Succinct way to use GADTs for exhaustiveness-checking in Scala?

scalaenumspattern-matchinggadtnon-exhaustive-patterns

Score: 0

Answers: 1

Alec

Reputation: 32319

Future of roles for GADT-like type variables?

haskelltypesghcrolesgadt

Score: 51

Answers: 1

WHITECOLOR

Reputation: 26182

Mapping rules with GADTS/Type Families

haskellgadttype-families

Score: 0

Answers: 2

tribbloid

Reputation: 3858

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

scalascala-3gadtdottyf-bounded-polymorphism

Score: 1

Answers: 0

Tozarin

Reputation: 13

Polymorphic function for phantom GADT type

ocamlgadtphantom-types

Score: 1

Answers: 1

fho

Reputation: 6798

Deriving Typeable and Data for GADTs?

ghcgadtderiving

Score: 7

Answers: 1

caeus

Reputation: 3716

scala3: Methods on enum case, possible?

scalaalgebraic-data-typesgadtscala-3

Score: 1

Answers: 1

danielbeard

Reputation: 9149

Extending GADTs examples - could not deduce

haskellgadt

Score: 1

Answers: 1

memorableusername

Reputation: 502

(Scala 2.12.8) pattern type is incompatible with expected type for parameterized type inside of parameterized class

scalatypespattern-matchinggadtscala-2.12

Score: 0

Answers: 2

Javran

Reputation: 3434

How does GADTs affect type inference in this case?

haskellgadt

Score: 3

Answers: 1

user_1357

Reputation: 7940

Scala Type Inference Not Working for GADTs in IntelliJ

scalaintellij-ideagadt

Score: 2

Answers: 1

David 天宇 Wong

Reputation: 4197

Why Peano numbers in OCaml not working due to scope error?

ocamlgadtpeano-numbers

Score: 3

Answers: 1

wss

Reputation: 13

What typing logic compels me to have the same return-types for GADT function alternatives?

ocamltype-inferencegadtlocally-abstract-type

Score: 0

Answers: 1

wss

Reputation: 13

How do I Pattern-match GADT Types Get Alternative More Concrete Return Types?

ocamlgadtlocally-abstract-type

Score: 1

Answers: 2

th-ch

Reputation: 21

Error matching types: using MultiParamTypeClasses and FunctionalDependencies to define heterogeneous lists and a function that returns first element

haskellghctypeclassfunctional-dependenciesgadt

Score: 2

Answers: 2

nick

Reputation: 119

Multiple types for f in this picture?

haskellgadt

Score: 6

Answers: 2

glennsl

Reputation: 29126

Scope error with locally abstract type when GADT constructor contains multiple type variables

typesocamlgadtlocally-abstract-type

Score: 3

Answers: 2

Kris

Reputation: 3957

What is the difference / meaning of `type a.` versus (type a):`

polymorphismocamlgadt

Score: 1

Answers: 0

PreviousPage 2Next

StackOverflow Questions for Tag: gadt

Why haskell can&#39;t infer type for this GADT

What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?

Succinct way to use GADTs for exhaustiveness-checking in Scala?

Future of roles for GADT-like type variables?

Mapping rules with GADTS/Type Families

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

Polymorphic function for phantom GADT type

Deriving Typeable and Data for GADTs?

scala3: Methods on enum case, possible?

Extending GADTs examples - could not deduce

(Scala 2.12.8) pattern type is incompatible with expected type for parameterized type inside of parameterized class

How does GADTs affect type inference in this case?

Scala Type Inference Not Working for GADTs in IntelliJ

Why Peano numbers in OCaml not working due to scope error?

What typing logic compels me to have the same return-types for GADT function alternatives?

How do I Pattern-match GADT Types Get Alternative More Concrete Return Types?

Error matching types: using MultiParamTypeClasses and FunctionalDependencies to define heterogeneous lists and a function that returns first element

Multiple types for f in this picture?

Scope error with locally abstract type when GADT constructor contains multiple type variables

What is the difference / meaning of `type a.` versus (type a):`

Why haskell can't infer type for this GADT