Ideas.Common.Strategy.Core

The core strategy combinators. This module defines the interal data structure of a strategy, and some utility functions that operate directly on it.

Documentation

data GCore l a

A generalized Core expression, not restricted to rules. This makes GCore a (traversable and foldable) functor.

Constructors

(GCore l a) :*: (GCore l a)

(GCore l a) :|: (GCore l a)

(GCore l a) :|>: (GCore l a)

(GCore l a) :%: (GCore l a)

(GCore l a) :!%: (GCore l a)

Many (GCore l a)

Repeat (GCore l a)

Not (GCore l a)

Label l (GCore l a)

Atomic (GCore l a)

Succeed

Fail

Rule a

Generalized constructor (not restricted to rules)

Var Int

Rec Int (GCore l a)

Instances

BiFunctor GCore

Functor (GCore l)

Foldable (GCore l)

Traversable (GCore l)

(Show l, Show a) => Show (GCore l a)

(Arbitrary l, Arbitrary a) => Arbitrary (GCore l a)

Uniplate (GCore l a)

type Core l a = GCore l (Rule a)

Core expression, with rules

(.|.) :: GCore l a -> GCore l a -> GCore l a

(.*.) :: GCore l a -> GCore l a -> GCore l a

(.%.) :: GCore l a -> GCore l a -> GCore l a

coreMany :: GCore l a -> GCore l a

coreRepeat :: GCore l a -> GCore l a

coreOrElse :: GCore l a -> GCore l a -> GCore l a

coreFix :: (GCore l a -> GCore l a) -> GCore l a

noLabels :: GCore l a -> GCore l a

substCoreVar :: Int -> GCore l a -> GCore l a -> GCore l a