Version française
Home     About     Download     Resources     Contact us    
Browse thread
[ANN] Tywith - Generating functions from type definitions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Martin Sandin <om_sandin@y...>
Subject: [ANN] Tywith - Generating functions from type definitions
Tywith Module version 0.3 - initial release

Tywith is an OCaml camlp4 parser extension which
derives functions from type definitions. It's
currently capable of generating 'string_of_<type>',
'map_<type>', and 'fold_<type>' functions for alias
and variant types containing tuples and other types
with the appropriate functions defined. Tywith
special-cases built-in types such as list, int, and
string to provide or use the appropriate functions.

This package extends OCaml with the following
syntactic construction

   type <def> with <id> [,<id>..])

The id's currently supported are 'string_of', 'map',
and 'fold', which will result in the generation of the
appropriate functions. The fold functions will
typically depend on the presence of a map function for
any type mentioned inside the definition which depend
on a type parameter.

Download Tywith from
http://www.seedwiki.com/wiki/shifting_focus/tywith
or directly from
http://www.guldheden.com/~sandin/files/tywith03.zip


Martin Sandin
om_sandin@yahoo.com

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com