Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 :: n -> Port Source #
Instead of (,)
to save parentheses
Constructors
a :-: a |