pattern-synonyms

8calore

1risposta

Il sinonimo di Pattern non può unificare i tipi all'interno dell'elenco a livello di tipo

Viene visualizzato un errore quando si tenta di definire un sinonimo di modello basato su su un GADT che ha un elenco di tipo livello. sono riuscito a bollire fino a questo esempio: {-# LANGUAGE GADTs

12calore

1risposta

I sinonimi di pattern portano a pattern matching non esaustivo

Sono riuscito a costruire il seguente esempio "minimale" che mostra il mio problema. fornito estensione delle PatternSynonyms è abilitato data Vec = Vec Int Int pattern Ve x y = Vec x y f :: (Vec,

5calore

1risposta

Perché tutti i sinonimi di pattern ricorsivi sono stati rifiutati?

{-# LANGUAGE PatternSynonyms, ViewPatterns #-} data Quun = Foo | Bar | Oink Quun fooey :: Quun -> Bool fooey Foo = True fooey (Oink Yum) = True fooey _ = False pattern Yum <- (fooey -> True)

10calore

1risposta

modelli Combinando

considerare i seguenti tipi di dati e di pattern sinonimi: {-# LANGUAGE PatternSynonyms, NamedFieldPuns #-} data Foo = Foo { a :: Int , b :: String , c :: Maybe Bool } pattern Bar

5calore

1risposta

Come abbinare un vettore vuoto in Haskell?

dire che voglio implementare la funzione di lunghezza per le liste usando il pattern matching, allora avrei potuto fare qualcosa di simile: length' :: (Num b) => [a] -> b length' [] = 0 length' (_:x

12calore

1risposta

Una lista di cui "Nil" ha un valore?

fa qualche libreria standard Haskell definire un tipo di dati come questo data ListWithEnd e a = Cons a (ListWithEnd e a) | End e Quella è una lista il cui elemento di chiusura porta un val