From e0718f203f2448ba2029e70d14aed075860b7fac Mon Sep 17 00:00:00 2001 From: nand Date: Tue, 4 Feb 2014 22:13:27 +0100 Subject: Add support for type/data families This adds support for type/data families with their respective instances, as well as closed type families and associated type/data families. Signed-off-by: Mateusz Kowalczyk --- html-test/ref/TypeFamilies.html | 674 ++++++++++++++++++++++++++++++++++----- html-test/ref/TypeFamilies2.html | 113 +++++++ html-test/ref/ocean.css | 19 ++ 3 files changed, 727 insertions(+), 79 deletions(-) create mode 100644 html-test/ref/TypeFamilies2.html (limited to 'html-test/ref') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 27a4564c..bfafc3d0 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -17,11 +17,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; >

TypeFamilies

Description

Doc for: module TypeFamilies

Synopsis

Documentation

data X

Doc for: data X

Constructors

X

Doc for: X

XX

Doc for: XX

XXX

Doc for: XXX

Instances

Assoc X

Doc for: instance Assoc X

Test X

Doc for: instance Test X

data AssocD X = AssocX 
type AssocT X = Foo X 
data Bat X

Doc for: data instance Bat X

type Foo X = Y

Doc for: type instance Foo X = Y

data Y

Doc for: data Y

Instances

Assoc Y

Doc for: instance Assoc Y

Test Y

Doc for: instance Test Y

data AssocD Y = AssocY 
type AssocT Y = Bat Y 
data Bat Y

Doc for: data instance Bat Y

type Foo Y = X

Doc for: type instance Foo Y = X

class Test a

Doc for: class Test a

Instances

Test Y

Doc for: instance Test Y

Test X

Doc for: instance Test X

type family G Foo a

Doc for: type family Foo a

Instances

type Foo Y = X

Doc for: type instance Foo Y = X

type Foo X = Y

Doc for: type instance Foo X = Y

data family Bat a :: *

Type family G

Doc for: data family Bat a

Instances

data Bat Y

Doc for: data instance Bat Y

data Bat X

Doc for: data instance Bat X

class A a where

Assoc a

A class with an associated type

Doc for: class Assoc a

data B a :: * -> *

AssocD a :: *

An associated type

Doc for: data AssocD a

Methods

f :: B a Int

type AssocT a :: *

A method

Doc for: type AssocT a

Instances

A IntAssoc Y

Doc for: instance Assoc Y

Assoc X

Doc for: instance Assoc X

 

type family F a

Bar b

Doc for family

Doc for: type family Bar b

Equations

Bar X = X 
Bar y = Y 

g :: B Int Integer

+TypeFamilies2
Safe HaskellSafe-Inferred

TypeFamilies2

Documentation

data X

Instances

type Foo X = Y 

type family Foo a

Instances

type Foo X = Y 
diff --git a/html-test/ref/ocean.css b/html-test/ref/ocean.css index 42238709..05597d79 100644 --- a/html-test/ref/ocean.css +++ b/html-test/ref/ocean.css @@ -420,6 +420,19 @@ div#style-menu-holder { margin: 0; } +.subs ul { + height: 100%; + padding: 0.5em; + margin: 0; +} + +.subs ul, +.subs ul li.src { + list-style: none; + margin-left: 1em; +} + + .top p.src { border-top: 1px solid #ccc; } @@ -457,6 +470,12 @@ div#style-menu-holder { /* @group Auxillary Pages */ + +.extension-list { + list-style-type: none; + margin-left: 0; +} + #mini { margin: 0 auto; padding: 0 1em 1em; -- cgit v1.2.3