Safe Haskell	Safe-Inferred
Language	Haskell2010

GraphRewriting.Pattern.InteractionNet

Description

Offers an activePair pattern for convenient implementation of interaction nets.

Synopsis

Documentation

class INet n where Source #

Index that identifies the principal port within the list of ports

Methods

Instead of (,) to save parentheses

Constructors

a :-: a

Instances details

Functor Pair Source #
Instance details Defined in GraphRewriting.Pattern.InteractionNet Methods fmap :: (a -> b) -> Pair a -> Pair b # (<$) :: a -> Pair b -> Pair a #

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