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

Defined in Ideas.Common.Rule.Transformation

Methods

arr :: (b -> c) -> Trans b c

first :: Trans b c -> Trans (b, d) (c, d)

second :: Trans b c -> Trans (d, b) (d, c)

(***) :: Trans b c -> Trans b' c' -> Trans (b, b') (c, c')

(&&&) :: Trans b c -> Trans b c' -> Trans b (c, c')

ArrowZero Trans

Defined in Ideas.Common.Rule.Transformation

Methods

zeroArrow :: Trans b c

ArrowPlus Trans

Defined in Ideas.Common.Rule.Transformation

Methods

(<+>) :: Trans b c -> Trans b c -> Trans b c

ArrowChoice Trans

Defined in Ideas.Common.Rule.Transformation

Methods

left :: Trans b c -> Trans (Either b d) (Either c d)

right :: Trans b c -> Trans (Either d b) (Either d c)

(+++) :: Trans b c -> Trans b' c' -> Trans (Either b b') (Either c c')

(|||) :: Trans b d -> Trans c d -> Trans (Either b c) d

Functor (Trans a)

Defined in Ideas.Common.Rule.Transformation

Methods

fmap :: (a0 -> b) -> Trans a a0 -> Trans a b

(<$) :: a0 -> Trans a b -> Trans a a0

Applicative (Trans a)

Defined in Ideas.Common.Rule.Transformation

Methods

pure :: a0 -> Trans a a0

(<*>) :: Trans a (a0 -> b) -> Trans a a0 -> Trans a b

liftA2 :: (a0 -> b -> c) -> Trans a a0 -> Trans a b -> Trans a c

(*>) :: Trans a a0 -> Trans a b -> Trans a b

(<*) :: Trans a a0 -> Trans a b -> Trans a a0

Alternative (Trans a)

Defined in Ideas.Common.Rule.Transformation

Methods

empty :: Trans a a0

(<|>) :: Trans a a0 -> Trans a a0 -> Trans a a0

some :: Trans a a0 -> Trans a [a0]

many :: Trans a a0 -> Trans a [a0]

Category Trans

Defined in Ideas.Common.Rule.Transformation

Methods

id :: Trans a a

(.) :: Trans b c -> Trans a b -> Trans a c

Semigroup (Trans a b)

Defined in Ideas.Common.Rule.Transformation

Methods

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

sconcat :: NonEmpty (Trans a b) -> Trans a b

stimes :: Integral b0 => b0 -> Trans a b -> Trans a b

Monoid (Trans a b)

Defined in Ideas.Common.Rule.Transformation

Methods

mempty :: Trans a b

mappend :: Trans a b -> Trans a b -> Trans a b

mconcat :: [Trans a b] -> Trans a b

HasRefs (Trans a b)

Defined in Ideas.Common.Rule.Transformation

Methods

getRefs :: Trans a b -> [Some Ref]

allRefs :: Trans a b -> [Some Ref]

getRefIds :: Trans a b -> [Id]

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.

Minimal complete definition

makeTrans

Methods

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

Instances

MakeTrans []

Defined in Ideas.Common.Rule.Transformation

Methods

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

MakeTrans Maybe

Defined in Ideas.Common.Rule.Transformation

Methods

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

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

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

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

transGuard :: (a -> Bool) -> Trans a a

transRewrite :: RewriteRule a -> Trans a a

Reading and writing (with references)

readRef :: Ref a -> Trans x a

readRefDefault :: a -> Ref a -> Trans x a

readRefMaybe :: Ref a -> Trans x (Maybe a)

writeRef :: Ref a -> Trans a a

writeRef_ :: Ref a -> Trans a ()

writeRefMaybe :: Ref a -> Trans (Maybe 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)

Using transformations

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

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

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