RingMorphism
Description
Stellt die Typklasse RingMorphism fuer Ringhomomorphismen bereit,
beispielsweise um Ganzheitsringe (deren Datum eben ein Ringhomomorphismus
ist) statisch typisieren zu koennen.
Documentation
class (Ring (Domain m), Ring (Codomain m)) ⇒ RingMorphism m where
Klasse fuer Ringhomomorphismen.
Associated Types
type Domain m ∷ *
Der Quellring des Ringmorphismus.
type Codomain m ∷ *
Der Zielring des Ringmorphismus.
Instances
data Zin a
Bezeichnung fuer den eindeutigen Ringhomomorphismus vom Ring der ganzen Zahlen in einen beliebigen Ring a (nur zu Demonstrationszwecken).
Zentral nutzen wir Complex.QinC fuer die algebraischen Zahlen.
Instances
| Ring a ⇒ RingMorphism (Zin a) |