Polytypic Printing and Parsing
The
PolyP
and
Haskell
source code accompanying the paper
Polytypic Data Conversion Programs.
- Polytypic read and show, with helpers:
Read.phs,
Show.phs,
ArrTypes.hs,
typeRead.hs,
typeShow.hs
- Example instances generated by PolyP:
Read.hs,
Show.hs,
- Arrow combinators and types:
Arrow.hs,
ArrowPlus.hs,
ArrowReadShow.hs,
ArrowTypes.hs,
ArrowEnv.hs,
ArrowClasses.hs
- Arrow instances and utilities:
KleisliArrowInstances.hs,
MonadFunctorInstances.hs,
StateFunctorInstances.hs,
RSArrowInstances.hs,
RS.hs,
ArrowTools.hs,
Parenthesis.hs
- Tools and utilities:
Bags.hs,
DataTypeUtils.hs,
DataTypes.hs,
Prec.hs,
Tools.hs,
MonadTools.hs,
ReaderMonad.hs,
ReadShowInstances.hs
- Main program
(TestReadShow.hs),
expected output
(TestReadShow.out),
and the
Makefile.
Compatibility
Some of the Haskell files use a few extensions to the Haskell 98
standard: multiparameter type classes and more liberal instance rules.
The Haskell part of the distribution has been tested with
- hugs 98 February 2001 (flags:
-98)
- ghc 4.09 (flags:
-fglasgow-exts -fallow-undecidable-instances)
The PolyP files were processed by PolyP version 1.6.
Last modified: Mon Feb 26 13:57:25 MET 2001
by
Patrik Jansson /
NOpatrikjSP@AMchalmers.se