graph-rewriting-0.7.3: Monadic graph rewriting of hypergraphs with ports and multiedges

Safe HaskellNone

GraphRewriting.Pattern.InteractionNet

Description

Offers an activePair pattern for convenient implementation of interaction nets.

Synopsis

Documentation

class INet n whereSource

Index that identifies the principal port within the list of ports

Methods

principalPort :: n -> PortSource

data Pair a Source

Instead of (,) to save parentheses

Constructors

a :-: a 

Instances

pair :: Pair a -> (a, a)Source

activePair :: (View [Port] n, View v n, INet v) => Pattern n (Pair v)Source