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)

Label l (GCore l a)

Atomic (GCore l a)

Succeed

Fail

Rule a

Generalized constructor (not restricted to rules)

Var Int

Let (CoreEnv l a) (GCore l a)

Instances

BiFunctor GCore

Functor (GCore l)

Sequential (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

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

coreSubstAll :: GCore l a -> GCore l a

noLabels :: GCore l a -> GCore l a

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