Ideas.Common.Strategy.Symbol

This module defines special symbols for labeling and atomicity.

Documentation

class Eq a => AtomicSymbol a where

Minimal complete definition

atomicOpen, atomicClose

Methods

atomicOpen :: a

atomicClose :: a

Instances

AtomicSymbol (Rule a)

Defined in Ideas.Common.Strategy.Symbol

Methods

atomicOpen :: Rule a

atomicClose :: Rule a

AtomicSymbol (Leaf a)

Defined in Ideas.Common.Strategy.StrategyTree

Methods

atomicOpen :: Leaf a

atomicClose :: Leaf a

class Eq a => LabelSymbol a where

Minimal complete definition

isEnterSymbol

Methods

isEnterSymbol :: a -> Bool

Instances

LabelSymbol (Rule a)

Defined in Ideas.Common.Strategy.Symbol

Methods

isEnterSymbol :: Rule a -> Bool

LabelSymbol (Leaf a)

Defined in Ideas.Common.Strategy.StrategyTree

Methods

isEnterSymbol :: Leaf a -> Bool

enterRule :: Id -> Rule a

exitRule :: Id -> Rule a

isEnterRule :: Rule a -> Maybe Id

isExitRule :: Rule a -> Maybe Id