summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b22c137)
Cosmetic changes.
Documentation of Data.Generics at
http://www.cs.vu.nl/boilerplate/
is now also again well in line with the major
revision of Data.Generics from last week.
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
--- See <http://www.cs.vu.nl/boilerplate/>.
+-- See <http://www.cs.vu.nl/boilerplate/>. To scrap your boilerplate it
+-- is sufficient to import the present module, which simply re-exports all
+-- themes of the Data.Generics library.
--
-----------------------------------------------------------------------------
module Data.Generics (
--
-----------------------------------------------------------------------------
module Data.Generics (
- -- * To scrap your boilerplate it is sufficient to import this module.
- -- This module does nothing more than import all themes of the
- -- Data.Generics library.
- --
+ -- * All Data.Generics modules
module Data.Generics.Basics, -- primitives
module Data.Generics.Aliases, -- aliases for type case, generic types
module Data.Generics.Schemes, -- traversal schemes (everywhere etc.)
module Data.Generics.Text, -- generic read and show
module Data.Generics.Twins, -- twin traversal, e.g., generic eq
module Data.Generics.Basics, -- primitives
module Data.Generics.Aliases, -- aliases for type case, generic types
module Data.Generics.Schemes, -- traversal schemes (everywhere etc.)
module Data.Generics.Text, -- generic read and show
module Data.Generics.Twins, -- twin traversal, e.g., generic eq
- module Data.Generics.Reify -- experimental reification stuff
+ module Data.Generics.Reify -- experimental reification theme
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
--- See <http://www.cs.vu.nl/boilerplate/>.
+-- See <http://www.cs.vu.nl/boilerplate/>. The present module provides
+-- a number of declarations for typical generic function types,
+-- corresponding type case, and others.
--
-----------------------------------------------------------------------------
--
-----------------------------------------------------------------------------
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
--- See <http://www.cs.vu.nl/boilerplate/>.
+-- See <http://www.cs.vu.nl/boilerplate/>. The present module provides
+-- the Data class with its primitives for generic programming.
--
-----------------------------------------------------------------------------
--
-----------------------------------------------------------------------------
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
--- See <http://www.cs.vu.nl/boilerplate/>.
+-- See <http://www.cs.vu.nl/boilerplate/>. The present module provides
+-- some preliminary support to compute on types.
--
-----------------------------------------------------------------------------
--
-----------------------------------------------------------------------------
resType, -- :: (a -> b) -> TypeVal b
paraType, -- :: t a -> TypeVal a
TypeFun, -- functions on types
resType, -- :: (a -> b) -> TypeVal b
paraType, -- :: t a -> TypeVal a
TypeFun, -- functions on types
+ GTypeFun, -- polymorphic functions on types
-- * Generic operations to reify terms
glength,
-- * Generic operations to reify terms
glength,
-- Generic type functions,
-- i.e., functions mapping types to values
--
-- Generic type functions,
-- i.e., functions mapping types to values
--
-type GTypeFun r = forall a. Typeable a => TypeFun a r
+type GTypeFun r = forall a. Data a => TypeFun a r
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
--- See <http://www.cs.vu.nl/boilerplate/>.
+-- See <http://www.cs.vu.nl/boilerplate/>. The present module provides
+-- frequently used generic traversal schemes.
--
-----------------------------------------------------------------------------
module Data.Generics.Schemes (
--
-----------------------------------------------------------------------------
module Data.Generics.Schemes (
- -- * Frequently used generic traversal schemes
everywhere,
everywhere',
everywhereBut,
everywhere,
everywhere',
everywhereBut,
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
--- See <http://www.cs.vu.nl/boilerplate/>.
+-- See <http://www.cs.vu.nl/boilerplate/>. The present module provides
+-- generic operations for text serialisation of terms.
--
-----------------------------------------------------------------------------
module Data.Generics.Text (
--
-----------------------------------------------------------------------------
module Data.Generics.Text (
- -- * Generic operations for string representations of terms
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
-- Portability : non-portable
--
-- \"Scrap your boilerplate\" --- Generic programming in Haskell
--- See <http://www.cs.vu.nl/boilerplate/>.
+-- See <http://www.cs.vu.nl/boilerplate/>. The present module
+-- provides support for multi-parameter traversal, which is also
+-- demonstrated with generic operations like equality.
--
-----------------------------------------------------------------------------
--
-----------------------------------------------------------------------------