| 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 #
Minimal complete definition
Methods
atomicOpen, atomicClose :: a Source #
Instances
| AtomicSymbol (Rule a) Source # | |
| AtomicSymbol (Leaf a) Source # | |
class Eq a => LabelSymbol a where Source #
Minimal complete definition
Methods
isEnterSymbol :: a -> Bool Source #
Instances
| LabelSymbol (Rule a) Source # | |
| LabelSymbol (Leaf a) Source # | |