Questions marquées «typeclass»

2
Quelle est la classe de types Comonad dans Haskell?
Quelle est la classe de types Comonad dans Haskell? Comme dans Comonad de Control.Comonad dans le paquet comonad (les explications de tout autre paquet qui fournit une classe de type Comonad sont également les bienvenues). J'ai vaguement entendu parler de Comonad, mais tout ce que je sais vraiment, c'est qu'il …
6
Instances orphelines dans Haskell
Lors de la compilation de mon application Haskell avec l' -Walloption, GHC se plaint des instances orphelines, par exemple: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result La classe de type ToSElemn'est pas la mienne, elle est définie par HStringTemplate . Maintenant, je sais comment résoudre ce problème (déplacez la déclaration …
86 haskell  ghc  typeclass 
1
Création d'une concaténation complètement dépendante
Un beau fait vrai sur la concaténation est que si je connais deux variables dans l'équation: a ++ b = c Alors je connais le troisième. Je voudrais capturer cette idée dans mon propre concat donc j'utilise une dépendance fonctionnelle. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, …
1
Pourquoi le «truc de contrainte» ne fonctionne-t-il pas dans cette instance HasField définie manuellement?
J'ai ce code (certes bizarre) qui utilise l' objectif et le GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.