Support associated types / associated data types

Aperta
#1 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
25/100
Tipo di issue
Funzionalità
Chiarezza
Da chiarire
Stato di attività
Ferma
Stack tecnologico
haskell
Ambito
compilers

Direzione di ricerca

No files, tests, or entry points are named in the issue. First inspect how ban-instance represents banned typeclass instances, then establish the expected representation for the proposed TypeError associated type and Void-like associated data type; done means both forms have an agreed implementation and tests.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

What does a banned instance for this class look like?

class Foo a where
  type Bar a
  data Baz a

For the associated type we can probably use TypeError, and something Void-alike for the associated data type.

Lingua principale
Haskell
Stelle
11
Fork
3
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di qfpl/ban-instance

Tutte le issue di qfpl/ban-instance

Issue simili

Altre issue su Haskell

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.