| Portability | ghc |
|---|---|
| Stability | beta |
| Maintainer | Neil Sculthorpe <neil@ittc.ku.edu> |
| Safe Haskell | Safe-Inferred |
Language.KURE.BiTranslate
Contents
Description
A bi-directional translation is a tranlsation that can be applied in either direction.
- data BiTranslate c m a b
- type BiRewrite c m a = BiTranslate c m a a
- bidirectional :: Translate c m a b -> Translate c m b a -> BiTranslate c m a b
- forewardT :: BiTranslate c m a b -> Translate c m a b
- backwardT :: BiTranslate c m a b -> Translate c m b a
- whicheverR :: MonadCatch m => BiRewrite c m a -> Rewrite c m a
- invert :: BiTranslate c m a b -> BiTranslate c m b a
Bi-directional Translations
data BiTranslate c m a b Source
An undirected Translate.
Instances
| Monad m => Category (BiTranslate c m) |
type BiRewrite c m a = BiTranslate c m a aSource
A BiTranslate that shares the same source and target type.
bidirectional :: Translate c m a b -> Translate c m b a -> BiTranslate c m a bSource
Construct a BiTranslate from two opposite Translates.
forewardT :: BiTranslate c m a b -> Translate c m a bSource
Extract the foreward Translate from a BiTranslate.
backwardT :: BiTranslate c m a b -> Translate c m b aSource
Extract the backward Translate from a BiTranslate.
whicheverR :: MonadCatch m => BiRewrite c m a -> Rewrite c m aSource
Try the BiRewrite forewards, then backwards if that fails.
Useful when you know which rule you want to apply, but not which direction to apply it in.
invert :: BiTranslate c m a b -> BiTranslate c m b aSource
Invert the forewards and backwards directions of a BiTranslate.