Ideas.Common.Rule.Transformation

Trans data type

type Transformation a

data Trans a b

Constructor functions

class MakeTrans f

transPure

transMaybe

transList

transGuard

transRewrite

Reading and writing (with references)

readRef

readRefDefault

readRefMaybe

writeRef

writeRef_

writeRefMaybe

Lifting transformations

transUseEnvironment

transLiftView

transLiftViewIn

transLiftContext

transLiftContextIn

Using transformations

transApply

transApplyWith

getRewriteRules