GraphRewriting.Pattern.InteractionNet

Offers an activePair pattern for convenient implementation of interaction nets.

Documentation

class INet n where

Index that identifies the principal port within the list of ports

Minimal complete definition

principalPort

Methods

principalPort :: n -> Port

data Pair a

Instead of (,) to save parentheses

Constructors

a :-: a

Instances

Functor Pair

Methods

fmap :: (a -> b) -> Pair a -> Pair b

(<$) :: a -> Pair b -> Pair a

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

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