Copyright | (c) 2012--2014 The University of Kansas |
---|---|
License | BSD3 |
Maintainer | Neil Sculthorpe <neil@ittc.ku.edu> |
Stability | beta |
Portability | ghc |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
A bi-directional transformation is a transformation that can be applied in either direction.
- data BiTransform c m a b
- type BiTranslate c m a b = BiTransform c m a b
- type BiRewrite c m a = BiTransform c m a a
- bidirectional :: Transform c m a b -> Transform c m b a -> BiTransform c m a b
- forwardT :: BiTransform c m a b -> Transform c m a b
- backwardT :: BiTransform c m a b -> Transform c m b a
- whicheverR :: MonadCatch m => BiRewrite c m a -> Rewrite c m a
- invertBiT :: BiTransform c m a b -> BiTransform c m b a
- beforeBiR :: Monad m => Transform c m a b -> (b -> BiRewrite c m a) -> BiRewrite c m a
- afterBiR :: Monad m => BiRewrite c m a -> Rewrite c m a -> BiRewrite c m a
Bi-directional Transformations
type BiTranslate c m a b = BiTransform c m a b Source
A deprecated synonym for BiTranslate
.
type BiRewrite c m a = BiTransform c m a a Source
A BiTransform
that shares the same source and target type.
bidirectional :: Transform c m a b -> Transform c m b a -> BiTransform c m a b Source
Construct a BiTransform
from two opposite Transform
s.
forwardT :: BiTransform c m a b -> Transform c m a b Source
Extract the forward Transform
from a BiTransform
.
backwardT :: BiTransform c m a b -> Transform c m b a Source
Extract the backward Transform
from a BiTransform
.
whicheverR :: MonadCatch m => BiRewrite c m a -> Rewrite c m a Source
Try the BiRewrite
forwards, then backwards if that fails.
Useful when you know which rule you want to apply, but not which direction to apply it in.
invertBiT :: BiTransform c m a b -> BiTransform c m b a Source
Invert the forwards and backwards directions of a BiTransform
.