MonadCfgInsertion m fs l => MonadCfgInsertion (MaybeT m) fs l Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.CfgInserter Methods dominatingPrependFirstOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> MaybeT m () Source # dominatingPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> MaybeT m () Source # dominatingAppendFirstOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> MaybeT m () Source # dominatingAppendLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> MaybeT m () Source # firstPredPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> MaybeT m () Source # restPredPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> MaybeT m () Source # dominatingPrependFirst :: TermLab fs i -> TermLab fs l -> MaybeT m () Source # dominatingPrependLast :: TermLab fs i -> TermLab fs l -> MaybeT m () Source # dominatingAppendFirst :: TermLab fs i -> TermLab fs l -> MaybeT m () Source # dominatingAppendLast :: TermLab fs i -> TermLab fs l -> MaybeT m () Source # firstPredPrependLast :: TermLab fs i -> TermLab fs l -> MaybeT m () Source # restPredPrependLast :: TermLab fs i -> TermLab fs l -> MaybeT m () Source #
MonadCfgInsertion m fs l => MonadCfgInsertion (ReaderT s m) fs l Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.CfgInserter Methods dominatingPrependFirstOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> ReaderT s m () Source # dominatingPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> ReaderT s m () Source # dominatingAppendFirstOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> ReaderT s m () Source # dominatingAppendLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> ReaderT s m () Source # firstPredPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> ReaderT s m () Source # restPredPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> ReaderT s m () Source # dominatingPrependFirst :: TermLab fs i -> TermLab fs l -> ReaderT s m () Source # dominatingPrependLast :: TermLab fs i -> TermLab fs l -> ReaderT s m () Source # dominatingAppendFirst :: TermLab fs i -> TermLab fs l -> ReaderT s m () Source # dominatingAppendLast :: TermLab fs i -> TermLab fs l -> ReaderT s m () Source # firstPredPrependLast :: TermLab fs i -> TermLab fs l -> ReaderT s m () Source # restPredPrependLast :: TermLab fs i -> TermLab fs l -> ReaderT s m () Source #
Monad m => MonadCfgInsertion (CfgInserterT fs l m) fs l Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.CfgInserter Methods dominatingPrependFirstOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> CfgInserterT fs l m () Source # dominatingPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> CfgInserterT fs l m () Source # dominatingAppendFirstOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> CfgInserterT fs l m () Source # dominatingAppendLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> CfgInserterT fs l m () Source # firstPredPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> CfgInserterT fs l m () Source # restPredPrependLastOpts :: TermLab fs i -> TermLab fs l -> EmptyInsertOkay -> CfgInserterT fs l m () Source # dominatingPrependFirst :: TermLab fs i -> TermLab fs l -> CfgInserterT fs l m () Source # dominatingPrependLast :: TermLab fs i -> TermLab fs l -> CfgInserterT fs l m () Source # dominatingAppendFirst :: TermLab fs i -> TermLab fs l -> CfgInserterT fs l m () Source # dominatingAppendLast :: TermLab fs i -> TermLab fs l -> CfgInserterT fs l m () Source # firstPredPrependLast :: TermLab fs i -> TermLab fs l -> CfgInserterT fs l m () Source # restPredPrependLast :: TermLab fs i -> TermLab fs l -> CfgInserterT fs l m () Source #

type CfgInserterT (fs :: Signature) l (m :: Type -> Type) = WriterT [Action fs l] m Source #

performCfgInsertions :: forall l (fs :: Signature) m i. (MonadAnnotater Label m, InsertAt fs l, All HTraversable fs, All HFunctor fs, All HFoldable fs) => ProgInfo fs -> RewriteM (CfgInserterT fs l m) (TermLab fs) i -> RewriteM m (TermLab fs) i Source #