Sök…


Introduktion

GHCs typsystem stöder explicit universalmängd i godtycklig rang i typer genom användning av Rank2Types och RankNTypes .

Syntax

  • Arbiträr rangkvantifiering är aktiverad med Rank2Types eller RankNTypes .
  • Med den här tillägget aktiverat kan forall nyckelordet användas för att lägga till kvantifiering med högre rang.

RankNTypes

StackOverflow tvingar mig att ha ett exempel. Om detta ämne är godkänt, bör vi flytta detta exempel här.



Modified text is an extract of the original Stack Overflow Documentation
Licensierat under CC BY-SA 3.0
Inte anslutet till Stack Overflow