Ableiten einer Art und ihre Abhängigkeiten
-
21-09-2019 - |
Frage
Ich habe mit newtype Wrapper gespielt für meine Indizes zu vermeiden Fehler, und ich habe einige Code wie folgt aus:
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
newtype PersonIdx = PersonIdx Int
deriving (Enum, Eq, Integral, Num, Ord, Real, Show)
herzuleiten Integral
, muss man alle seine Abhängigkeiten ableiten und (daher die obige Liste von Typ-Klassen).
Gibt es eine Möglichkeit, es zu machen, leitet alle Abhängigkeiten von Integral
zusammen mit ihm? Ich könnte mir vorstellen, so etwas wie:
newtype PersonIdx = PersonIdx Int
deriving (Integral(..))
Lösung
Nein, es gibt keine Abkürzung. Sie werden von allen abhängigen typeclasses ausdrücklich abzuleiten, sondern können diese leicht durch Eingabe :i Integral
in GHCI finden.
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow