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

Symbols
Fields symPnts :: SymPoint symNums :: SymNum

Instances

Eq Symbols Source #
Methods (==) :: Symbols -> Symbols -> Bool # (/=) :: Symbols -> Symbols -> Bool #
Show Symbols Source #
Methods showsPrec :: Int -> Symbols -> ShowS # show :: Symbols -> String # showList :: [Symbols] -> ShowS #
HasRelax Symbols Source #
Methods relax :: Symbols Source #
HasConcat Symbols Source #
Methods (&) :: Symbols -> Symbols -> Symbols Source #

Constructors

SymPName Name Int Int
SymPHier Name Int SymPoint
SymPUnion SymPoint SymPoint
SymPUnion3 SymPoint SymPoint SymPoint
SymPTrans SymPoint Int
SymPRelax

Instances

Eq SymPoint Source #
Methods (==) :: SymPoint -> SymPoint -> Bool # (/=) :: SymPoint -> SymPoint -> Bool #
Show SymPoint Source #
Methods showsPrec :: Int -> SymPoint -> ShowS # show :: SymPoint -> String # showList :: [SymPoint] -> ShowS #
HasConcat SymPoint Source #
Methods (&) :: SymPoint -> SymPoint -> SymPoint Source #

Constructors

SymNName Name Int Int
SymNHier Name Int SymNum
SymNUnion SymNum SymNum
SymNUnion3 SymNum SymNum SymNum
SymNRelax

Instances

Eq SymNum Source #
Methods (==) :: SymNum -> SymNum -> Bool # (/=) :: SymNum -> SymNum -> Bool #
Show SymNum Source #
Methods showsPrec :: Int -> SymNum -> ShowS # show :: SymNum -> String # showList :: [SymNum] -> ShowS #
HasConcat SymNum Source #
Methods (&) :: SymNum -> SymNum -> SymNum Source #