GraphRewriting.Pattern.InteractionNet
Description
Offers an activePair
pattern for convenient implementation of interaction nets.
Documentation
Index that identifies the principal port within the list of ports
Methods
principalPort :: v -> IntSource