Futhark.Analysis.Rephrase

Facilities for changing the lore of some fragment, with no context.

Documentation

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

Constructors

Rephraser

Fields

• 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)

Convert a binding from one lore to another, if possible.