Safe Haskell  None 

Language  Haskell2010 
Facilities for changing the lore of some fragment, with no context.
Synopsis
 rephraseProg :: Monad m => Rephraser m from to > Prog from > m (Prog to)
 rephraseFunDef :: Monad m => Rephraser m from to > FunDef from > m (FunDef to)
 rephraseExp :: Monad m => Rephraser m from to > Exp from > m (Exp to)
 rephraseBody :: Monad m => Rephraser m from to > Body from > m (Body to)
 rephraseStm :: Monad m => Rephraser m from to > Stm from > m (Stm to)
 rephraseLambda :: Monad m => Rephraser m from to > Lambda from > m (Lambda to)
 rephrasePattern :: Monad m => (from > m to) > PatternT from > m (PatternT to)
 rephrasePatElem :: Monad m => (from > m to) > PatElemT from > m (PatElemT to)
 data Rephraser m from to = Rephraser {
 rephraseExpLore :: ExpAttr from > m (ExpAttr to)
 rephraseLetBoundLore :: LetAttr from > m (LetAttr to)
 rephraseFParamLore :: FParamAttr from > m (FParamAttr to)
 rephraseLParamLore :: LParamAttr from > m (LParamAttr to)
 rephraseBodyLore :: BodyAttr from > m (BodyAttr to)
 rephraseRetType :: RetType from > m (RetType to)
 rephraseBranchType :: BranchType from > m (BranchType to)
 rephraseOp :: Op from > m (Op to)
 castStm :: (SameScope from to, ExpAttr from ~ ExpAttr to, BodyAttr from ~ BodyAttr to, RetType from ~ RetType to, BranchType from ~ BranchType to) => Stm from > Maybe (Stm to)
Documentation
data Rephraser m from to Source #
Rephraser  
