GraphRewriting.Pattern.InteractionNet

Offers an activePair pattern for convenient implementation of interaction nets.

Documentation

class INet v where

Index that identifies the principal port within the list of ports

Methods

principalPort :: v -> Int

data Pair x

Instead of (,) to save parentheses

Constructors

x :-: x

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

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