Stellt den Dummytyp Proxy
ohne Elemente bereit. Wird in RingMorphism,
TypeLevelNat und einigen anderen Stellen verwendet, um den Code besser
lesbar zu gestalten.
Documentation
data Proxy s
Dummytyp ohne Elemente (abgesehen von undefined :: Proxy s), um bei der Typerschliessung zu helfen.
Man koennte auch einfach undefined :: s schreiben; wir verwenden den expliziten Proxy-Typ, um im Code andeuten zu koennen, dass es nur auf das Typgeschehen ankommt. Auch wird so verhindert, dass wir aus Versehen einen solchen undefined-Wert vom Typ s in einer Rechnung nutzen.
Functor Proxy |
asTypeOfProxy ∷ s → Proxy s → s