| Copyright | (c) 2003-2010 Peter Simons (c) 2002-2003 Ferenc Wágner (c) 2002-2003 Meik Hellmund (c) 1998-2002 Ralf Hinze (c) 1998-2002 Joachim Korittky (c) 1998-2002 Marco Kuhlmann |
|---|---|
| License | GPLv3 |
| Maintainer | simons@cryp.to |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
FMP.Symbols
Description
Documentation
Constructors
| SymPName Name Int Int | |
| SymPHier Name Int SymPoint | |
| SymPUnion SymPoint SymPoint | |
| SymPUnion3 SymPoint SymPoint SymPoint | |
| SymPTrans SymPoint Int | |
| SymPRelax |
Constructors
| SymNName Name Int Int | |
| SymNHier Name Int SymNum | |
| SymNUnion SymNum SymNum | |
| SymNUnion3 SymNum SymNum SymNum | |
| SymNRelax |
symPUnions :: [SymPoint] -> SymPoint #
symNUnions :: [SymNum] -> SymNum #