Ideas.Common.Rule.Transformation

Trans data type

type Transformation a

data Trans a b

Constructor functions

class MakeTrans f

transPure

transMaybe

transList

transEnvMonad

transRewrite

transRef

Lifting transformations

transUseEnvironment

transLiftView

transLiftViewIn

transLiftContext

transLiftContextIn

makeTransLiftContext

makeTransLiftContext_

Using transformations

transApply

transApplyWith

getRewriteRules

isZeroTrans