Safe Haskell | None |
---|---|
Language | Haskell98 |
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
Minimal complete definition
Methods
principalPort :: n -> Port Source #
Instead of (,)
to save parentheses
Constructors
a :-: a |