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