Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

# Documentation

Hypergraph that holds nodes of type `n`

. Nodes can be referenced by type `Node`

, edges by type `Port`

, see GraphRewriting.Graph.Read and GraphRewriting.Graph.Write

#### Instances

MonadReader (Graph n) (Rewrite n) Source # | |

MonadState (Graph n) (Rewrite n) Source # | |

#### Instances

MonadFail (Rewrite n) Source # | |

Defined in GraphRewriting.Graph.Internal | |

MonadFix (Rewrite n) Source # | |

Defined in GraphRewriting.Graph.Internal | |

Applicative (Rewrite n) Source # | |

Functor (Rewrite n) Source # | |

Monad (Rewrite n) Source # | |

MonadReader (Graph n) (Rewrite n) Source # | |

MonadState (Graph n) (Rewrite n) Source # | |