Ideas.Common.Rule.Transformation

This module defines transformations. Given a term, a transformation returns a list of results (often a singleton list or the empty list).

Trans data type

type Transformation a = Trans a a

data Trans a b

Instances

Arrow Trans

ArrowZero Trans

ArrowPlus Trans

ArrowChoice Trans

ArrowApply Trans

Category * Trans

Monoid (Trans a b)

HasRefs (Trans a b)

Constructor functions

class MakeTrans f where

A type class for constructing a transformation. If possible, makeTrans should be used. Use specialized constructor functions for disambiguation.

Methods

makeTrans :: (a -> f b) -> Trans a b

Instances

MakeTrans []

MakeTrans Maybe

MakeTrans EnvMonad

transPure :: (a -> b) -> Trans a b

transMaybe :: (a -> Maybe b) -> Trans a b

transList :: (a -> [b]) -> Trans a b

transEnvMonad :: (a -> EnvMonad b) -> Trans a b

transRewrite :: RewriteRule a -> Trans a a

transRef :: Typeable a => Ref a -> Trans a a

Lifting transformations

transUseEnvironment :: Trans a b -> Trans (a, Environment) (b, Environment)

transLiftView :: View a b -> Transformation b -> Transformation a

transLiftViewIn :: View a (b, c) -> Transformation b -> Transformation a

transLiftContext :: Transformation a -> Transformation (Context a)

transLiftContextIn :: Transformation (a, Environment) -> Transformation (Context a)

makeTransLiftContext :: MakeTrans f => (a -> f a) -> Transformation (Context a)

Overloaded variant of transLiftContext

makeTransLiftContext_ :: MakeTrans f => (a -> f ()) -> Transformation (Context a)

Overloaded variant of transLiftContext; ignores result

Using transformations

transApply :: Trans a b -> a -> [(b, Environment)]

transApplyWith :: Environment -> Trans a b -> a -> [(b, Environment)]

getRewriteRules :: Trans a b -> [Some RewriteRule]

isZeroTrans :: Trans a b -> Bool