Commit 9dd44fc6 authored by Ian Lynagh's avatar Ian Lynagh

Add docs for DatatypeContexts extension

parent c9bb6b63
......@@ -1894,6 +1894,26 @@ not <literal>*</literal> then an explicit kind annotation must be used
Nevertheless, they can be useful when defining "phantom types".</para>
<sect2 id="datatype-contexts">
<title>Data type contexts</title>
<para>Haskell allows datatypes to be given contexts, e.g.</para>
data Eq a => Set a = NilSet | ConsSet a (Set a)
<para>give constructors with types:</para>
NilSet :: Set a
ConsSet :: Eq a => a -> Set a -> Set a
<para>In GHC this feature is an extension called
<literal>DatatypeContexts</literal>, and on by default.</para>
<sect2 id="infix-tycons">
<title>Infix type constructors, classes, and type variables</title>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment