| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Ideas.Common.Strategy.Symbol
Description
This module defines special symbols for labeling and atomicity.
Documentation
class Eq a => AtomicSymbol a where Source
Methods
atomicOpen, atomicClose :: a Source
Instances
| AtomicSymbol (Rule a) Source |
class Eq a => LabelSymbol a where Source
Methods
isEnterSymbol :: a -> Bool Source
Instances
| LabelSymbol (Rule a) Source |
isEnterRule :: Rule a -> Maybe Id Source
isExitRule :: Rule a -> Maybe Id Source