rose-0.9.5.1: Bindings for the ROSE compilerContentsIndex
ROSE.Sage3.SYB
Description
Provides DataMc instance for SgNode and subclasses, and type extension functions for queries and transformations for the SgNode DataMc instance.
Synopsis
mkMn :: (MonadIO m, Typeable n, Typeable n', Typeable sn) => (SgNode n -> m (SgNode n')) -> SgNode sn -> m (SgNode sn)
mkMqn :: (MonadIO m, Typeable n, Typeable sn) => r -> (SgNode n -> m r) -> SgNode sn -> m r
extMn :: (MonadIO m, Typeable n, Typeable n', Typeable sn) => (SgNode sn -> m (SgNode sn)) -> (SgNode n -> m (SgNode n')) -> SgNode sn -> m (SgNode sn)
extMqn :: (MonadIO m, Typeable n, Typeable sn) => (SgNode sn -> m r) -> (SgNode n -> m r) -> SgNode sn -> m r
Documentation
mkMn :: (MonadIO m, Typeable n, Typeable n', Typeable sn) => (SgNode n -> m (SgNode n')) -> SgNode sn -> m (SgNode sn)
Creates a transformation type extension.
mkMqn :: (MonadIO m, Typeable n, Typeable sn) => r -> (SgNode n -> m r) -> SgNode sn -> m r
Creates a query type extension.
extMn :: (MonadIO m, Typeable n, Typeable n', Typeable sn) => (SgNode sn -> m (SgNode sn)) -> (SgNode n -> m (SgNode n')) -> SgNode sn -> m (SgNode sn)
Extends a transformation type extension.
extMqn :: (MonadIO m, Typeable n, Typeable sn) => (SgNode sn -> m r) -> (SgNode n -> m r) -> SgNode sn -> m r
Extends a query type extension.
Produced by Haddock version 2.4.2