Data.Transform.Internal

This module provides a simple way to transform parts of complex data structures.

Types

data EndoList

Heterogeneous list structure holding endomorphisms.

Instances

IsList EndoList

Monoid EndoList

Transformation EndoList

type Item EndoList = EndoItem

data EndoItem

Wrapper object holding some endomorphism without exposing its type.

Instances

Transformation EndoItem

data EndoListM m

Heterogeneous list structure holding endomorphisms in a monadic context.

Instances

Monad m => IsList (EndoListM m)

Monoid (EndoListM m)

Monad m => MonadicTransformation (EndoListM m) m

type Item (EndoListM m) = EndoMItem m

data EndoMItem m

Wrapper object holding some endomorphism in a monadic context without exposing its type.

Instances

Monad m => MonadicTransformation (EndoMItem m) m

Classes

class Transformation d

Class of transformations, i.e. objects containing endomorphisms.

Minimal complete definition

mkEndoList

Instances

Transformation EndoList

Transformation EndoItem

Transformation a => Transformation [a]

Data a => Transformation (Endo a)

Data a => Transformation (a -> a)

class Monad m => MonadicTransformation d m | d -> m

Monadic version of Transformation.

Minimal complete definition

mkEndoListM

Instances

MonadicTransformation a m => MonadicTransformation [a] m

Monad m => MonadicTransformation (EndoListM m) m

Monad m => MonadicTransformation (EndoMItem m) m

(Monad m, Data a) => MonadicTransformation (a -> m a) m

Wrapper functions

mkItem :: Data a => (a -> a) -> EndoItem

Wrap a function as an EndoItem.

mkItemM :: (Monad m, Data a) => (a -> m a) -> EndoMItem m

Wrap a monadic function as an EndoMItem.

Transformation functions

transform :: (Transformation d, Data a) => d -> a -> a

Transform some data structure by applying one or more endomorphisms to the data structure or any sub-term of it. Sub-terms are transformed before the terms containing them are transformed. If the given endomorphisms contain two or more endomorphisms working on the same type the latter endomorphisms will be applied to the result of the former endomorphisms

NOTE: This function attempts to check at runtime if all given endomorphisms can be applied to at least one term in the given argument. If at least one endomorphism can never be applied because of its type, error is called. If you don't want this behavior consider using unsafeTransform instead.

Example:

>>> transform (+1) (1, 4.0, (False, [4, 5, 6]))
(2, 4.0, (False, [5, 6, 7]))

>>> transform [mkItem (+1), mkItem (sqrt :: Double -> Double), mkItem (*2)] (1, 4.0, (False, [4, 5, 6]))
(4, 2.0, (False, [10, 12, 14]))

>>> transform (+1) False
*** Exception: Data.DataTraverse.transform: Could not find all needed types when mapping over a value of type Bool. Types of missing terms: [Integer]

transformM :: (MonadicTransformation d m, Data a) => d -> a -> m a

Same as transform but with a monadic function. Calls fail instead of error if a type-error is detected.

unsafeTransform :: (Transformation d, Data a) => d -> a -> a

Same as transform but omits any type checking (and hence does not call error).

unsafeTransformM :: (MonadicTransformation d m, Data a) => d -> a -> m a

Same as transformM but omits any type checking (and hence does not call fail).

Searching functions

getSubterms :: (Data a, Data b, Monoid m) => (b -> m) -> a -> m

Returns all sub-terms (intermediate and non intermediate) of some type of a value transformed by the supplied function to some Monoid.

NOTE: Calls error if no sub-term which the needed type can exist.

Example:

>>> getSubterms (\ x -> if x then [x] else []) (3, 4.0, True, 'c', (False, (True, 5, 6)))
[True, True]

getSubterms' :: (Data a, Data b) => a -> [b]

Returns all sub-terms (intermediate and non intermediate) of some type of a value as a list.

NOTE: Calls error if no sub-term which the needed type can exist.

Example:

>>> getSubterms' (3, 4.0, True, 'c', (False, (True, 5, 6))) :: [Integer]
[3, 5, 6]

getSubtermsBy :: (Data a, Data b) => (b -> Bool) -> a -> [b]

Returns all sub-terms (intermediate and non intermediate) of some type of a value which fulfill the predicate.

NOTE: Calls error if no sub-term which the needed type can exist.

Example:

>>> getSubtermsBy (<6) (3, 4.0, True, 'c', (False, (True, 5, 6)))
[3, 5]

getSubtermsWith :: (Data a, Data b, Monoid m) => (b -> Maybe m) -> a -> m

Returns all sub-terms (intermediate and non intermediate) of some type of a value which could be transformed to some Monoid.

NOTE: Calls error if no sub-term which the needed type can exist.

Example:

>>> getSubtermsWith (\ x -> guard (x < 6) >> return [x]) (3, 4.0, True, 'c', (False, (True, 5, 6)))
[3, 5]