Ideas.Common.Strategy.Abstract

Documentation

data Strategy a

Abstract data type for strategies

Instances

Apply Strategy

LiftView Strategy

IsStrategy Strategy

Typed a (Strategy (Context a))

Show (Strategy a)

(Arbitrary a, CoArbitrary a) => Arbitrary (Strategy a)

class IsStrategy f where

Type class to turn values into strategies

Methods

toStrategy :: f a -> Strategy a

Instances

IsStrategy RewriteRule

IsStrategy Rule

IsStrategy LabeledStrategy

IsStrategy Strategy

data LabeledStrategy a

A strategy which is labeled with a string

Instances

Apply LabeledStrategy

LiftView LabeledStrategy

IsLabeled LabeledStrategy

IsStrategy LabeledStrategy

Show (LabeledStrategy a)

HasId (LabeledStrategy a)

label :: (IsId l, IsStrategy f) => l -> f a -> LabeledStrategy a

Labels a strategy with an identifier. Labels are used to identify substrategies and to specialize feedback messages. The first argument of label can be of type String, in which case the string is used as identifier (and not as description).

unlabel :: LabeledStrategy a -> Strategy a

Removes the label from a strategy

fullDerivationTree :: IsStrategy f => f a -> a -> DerivationTree (Step LabelInfo a) a

Returns the derivation tree for a strategy and a term, including all minor rules

derivationTree :: IsStrategy f => f a -> a -> DerivationTree (Rule a, Environment) a

Returns the derivation tree for a strategy and a term with only major rules

rulesInStrategy :: IsStrategy f => f a -> [Rule a]

Returns a list of all major rules that are part of a labeled strategy

mapRules :: (Rule a -> Rule b) -> LabeledStrategy a -> LabeledStrategy b

Apply a function to all the rules that make up a labeled strategy

mapRulesS :: (Rule a -> Rule b) -> Strategy a -> Strategy b

cleanUpStrategy :: (a -> a) -> LabeledStrategy a -> LabeledStrategy a

Use a function as do-after hook for all rules in a labeled strategy, but also use the function beforehand

cleanUpStrategyAfter :: (a -> a) -> LabeledStrategy a -> LabeledStrategy a

Use a function as do-after hook for all rules in a labeled strategy

toCore :: Strategy a -> Core LabelInfo a

fromCore :: Core LabelInfo a -> Strategy a

liftCore :: IsStrategy f => (Core LabelInfo a -> Core LabelInfo a) -> f a -> Strategy a

liftCore2 :: (IsStrategy f, IsStrategy g) => (Core LabelInfo a -> Core LabelInfo a -> Core LabelInfo a) -> f a -> g a -> Strategy a

makeLabeledStrategy :: IsStrategy f => LabelInfo -> f a -> LabeledStrategy a

toLabeledStrategy :: Monad m => Strategy a -> m (LabeledStrategy a)

data LabelInfo

Instances

Eq LabelInfo

Ord LabelInfo

Show LabelInfo

Arbitrary LabelInfo

HasId LabelInfo

processLabelInfo :: (l -> LabelInfo) -> Core l a -> Core l a

changeInfo :: IsLabeled f => (LabelInfo -> LabelInfo) -> f a -> LabeledStrategy a

makeInfo :: IsId a => a -> LabelInfo

removed :: LabelInfo -> Bool

collapsed :: LabelInfo -> Bool

hidden :: LabelInfo -> Bool

class IsLabeled f where

Methods

toLabeled :: f a -> LabeledStrategy a

Instances

IsLabeled RewriteRule

IsLabeled Rule

IsLabeled LabeledStrategy

noInterleaving :: IsStrategy f => f a -> Strategy a