Safe Haskell | None |
---|
Offers an activePair
pattern for convenient implementation of interaction nets.
Documentation
Index that identifies the principal port within the list of ports
principalPort :: n -> PortSource
Safe Haskell | None |
---|
Offers an activePair
pattern for convenient implementation of interaction nets.
Index that identifies the principal port within the list of ports
principalPort :: n -> PortSource