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