Copyright	(c) 2011 Patrick Bahr
License	BSD3
Maintainer	Patrick Bahr <paba@diku.dk>
Stability	experimental
Portability	non-portable (GHC Extensions)
Safe Haskell	None
Language	Haskell98

Data.Comp.Automata.Product

Description

Synopsis

Documentation

class a :< b where Source

An instance a :< b means that a is a component of b. a can be extracted from b via the method pr.

Methods

pr :: b -> a Source

Instances

a :< a
(:<) c b => c :< (a, b)
a :< ((a, (a, (a, (a, (a, (a, (a, a))))))), a)
a :< ((a, (a, (a, (a, (a, (a, (a, a))))))), a)
a :< ((a, (a, (a, (a, (a, (a, a)))))), a)
a :< ((a, (a, (a, (a, (a, ((a, a), a)))))), a)
a :< ((a, (a, (a, (a, (a, ((a, a), a)))))), a)
a :< ((a, (a, (a, (a, (a, (a, a)))))), a)
a :< ((a, (a, (a, (a, (a, a))))), a)
a :< ((a, (a, (a, (a, ((a, (a, a)), a))))), a)
a :< ((a, (a, (a, (a, ((a, (a, a)), a))))), a)
a :< ((a, (a, (a, (a, ((a, a), a))))), a)
a :< ((a, (a, (a, (a, (((a, a), a), a))))), a)
a :< ((a, (a, (a, (a, (((a, a), a), a))))), a)
a :< ((a, (a, (a, (a, ((a, a), a))))), a)
a :< ((a, (a, (a, (a, (a, a))))), a)
a :< ((a, (a, (a, (a, a)))), a)
a :< ((a, (a, (a, ((a, (a, (a, a))), a)))), a)
a :< ((a, (a, (a, ((a, (a, (a, a))), a)))), a)
a :< ((a, (a, (a, ((a, (a, a)), a)))), a)
a :< ((a, (a, (a, ((a, ((a, a), a)), a)))), a)
a :< ((a, (a, (a, ((a, ((a, a), a)), a)))), a)
a :< ((a, (a, (a, ((a, (a, a)), a)))), a)
a :< ((a, (a, (a, ((a, a), a)))), a)
a :< ((a, (a, (a, (((a, (a, a)), a), a)))), a)
a :< ((a, (a, (a, (((a, (a, a)), a), a)))), a)
a :< ((a, (a, (a, (((a, a), a), a)))), a)
a :< ((a, (a, (a, ((((a, a), a), a), a)))), a)
a :< ((a, (a, (a, ((((a, a), a), a), a)))), a)
a :< ((a, (a, (a, (((a, a), a), a)))), a)
a :< ((a, (a, (a, ((a, a), a)))), a)
a :< ((a, (a, (a, (a, a)))), a)
a :< ((a, (a, (a, a))), a)
a :< ((a, (a, ((a, (a, (a, (a, a)))), a))), a)
a :< ((a, (a, ((a, (a, (a, (a, a)))), a))), a)
a :< ((a, (a, ((a, (a, (a, a))), a))), a)
a :< ((a, (a, ((a, (a, ((a, a), a))), a))), a)
a :< ((a, (a, ((a, (a, ((a, a), a))), a))), a)
a :< ((a, (a, ((a, (a, (a, a))), a))), a)
a :< ((a, (a, ((a, (a, a)), a))), a)
a :< ((a, (a, ((a, ((a, (a, a)), a)), a))), a)
a :< ((a, (a, ((a, ((a, (a, a)), a)), a))), a)
a :< ((a, (a, ((a, ((a, a), a)), a))), a)
a :< ((a, (a, ((a, (((a, a), a), a)), a))), a)
a :< ((a, (a, ((a, (((a, a), a), a)), a))), a)
a :< ((a, (a, ((a, ((a, a), a)), a))), a)
a :< ((a, (a, ((a, (a, a)), a))), a)
a :< ((a, (a, ((a, a), a))), a)
a :< ((a, (a, (((a, (a, (a, a))), a), a))), a)
a :< ((a, (a, (((a, (a, (a, a))), a), a))), a)
a :< ((a, (a, (((a, (a, a)), a), a))), a)
a :< ((a, (a, (((a, ((a, a), a)), a), a))), a)
a :< ((a, (a, (((a, ((a, a), a)), a), a))), a)
a :< ((a, (a, (((a, (a, a)), a), a))), a)
a :< ((a, (a, (((a, a), a), a))), a)
a :< ((a, (a, ((((a, (a, a)), a), a), a))), a)
a :< ((a, (a, ((((a, (a, a)), a), a), a))), a)
a :< ((a, (a, ((((a, a), a), a), a))), a)
a :< ((a, (a, (((((a, a), a), a), a), a))), a)
a :< ((a, (a, (((((a, a), a), a), a), a))), a)
a :< ((a, (a, ((((a, a), a), a), a))), a)
a :< ((a, (a, (((a, a), a), a))), a)
a :< ((a, (a, ((a, a), a))), a)
a :< ((a, (a, (a, a))), a)
a :< ((a, (a, a)), a)
a :< ((a, ((a, (a, (a, (a, (a, a))))), a)), a)
a :< ((a, ((a, (a, (a, (a, (a, a))))), a)), a)
a :< ((a, ((a, (a, (a, (a, a)))), a)), a)
a :< ((a, ((a, (a, (a, ((a, a), a)))), a)), a)
a :< ((a, ((a, (a, (a, ((a, a), a)))), a)), a)
a :< ((a, ((a, (a, (a, (a, a)))), a)), a)
a :< ((a, ((a, (a, (a, a))), a)), a)
a :< ((a, ((a, (a, ((a, (a, a)), a))), a)), a)
a :< ((a, ((a, (a, ((a, (a, a)), a))), a)), a)
a :< ((a, ((a, (a, ((a, a), a))), a)), a)
a :< ((a, ((a, (a, (((a, a), a), a))), a)), a)
a :< ((a, ((a, (a, (((a, a), a), a))), a)), a)
a :< ((a, ((a, (a, ((a, a), a))), a)), a)
a :< ((a, ((a, (a, (a, a))), a)), a)
a :< ((a, ((a, (a, a)), a)), a)
a :< ((a, ((a, ((a, (a, (a, a))), a)), a)), a)
a :< ((a, ((a, ((a, (a, (a, a))), a)), a)), a)
a :< ((a, ((a, ((a, (a, a)), a)), a)), a)
a :< ((a, ((a, ((a, ((a, a), a)), a)), a)), a)
a :< ((a, ((a, ((a, ((a, a), a)), a)), a)), a)
a :< ((a, ((a, ((a, (a, a)), a)), a)), a)
a :< ((a, ((a, ((a, a), a)), a)), a)
a :< ((a, ((a, (((a, (a, a)), a), a)), a)), a)
a :< ((a, ((a, (((a, (a, a)), a), a)), a)), a)
a :< ((a, ((a, (((a, a), a), a)), a)), a)
a :< ((a, ((a, ((((a, a), a), a), a)), a)), a)
a :< ((a, ((a, ((((a, a), a), a), a)), a)), a)
a :< ((a, ((a, (((a, a), a), a)), a)), a)
a :< ((a, ((a, ((a, a), a)), a)), a)
a :< ((a, ((a, (a, a)), a)), a)
a :< ((a, ((a, a), a)), a)
a :< ((a, (((a, (a, (a, (a, a)))), a), a)), a)
a :< ((a, (((a, (a, (a, (a, a)))), a), a)), a)
a :< ((a, (((a, (a, (a, a))), a), a)), a)
a :< ((a, (((a, (a, ((a, a), a))), a), a)), a)
a :< ((a, (((a, (a, ((a, a), a))), a), a)), a)
a :< ((a, (((a, (a, (a, a))), a), a)), a)
a :< ((a, (((a, (a, a)), a), a)), a)
a :< ((a, (((a, ((a, (a, a)), a)), a), a)), a)
a :< ((a, (((a, ((a, (a, a)), a)), a), a)), a)
a :< ((a, (((a, ((a, a), a)), a), a)), a)
a :< ((a, (((a, (((a, a), a), a)), a), a)), a)
a :< ((a, (((a, (((a, a), a), a)), a), a)), a)
a :< ((a, (((a, ((a, a), a)), a), a)), a)
a :< ((a, (((a, (a, a)), a), a)), a)
a :< ((a, (((a, a), a), a)), a)
a :< ((a, ((((a, (a, (a, a))), a), a), a)), a)
a :< ((a, ((((a, (a, (a, a))), a), a), a)), a)
a :< ((a, ((((a, (a, a)), a), a), a)), a)
a :< ((a, ((((a, ((a, a), a)), a), a), a)), a)
a :< ((a, ((((a, ((a, a), a)), a), a), a)), a)
a :< ((a, ((((a, (a, a)), a), a), a)), a)
a :< ((a, ((((a, a), a), a), a)), a)
a :< ((a, (((((a, (a, a)), a), a), a), a)), a)
a :< ((a, (((((a, (a, a)), a), a), a), a)), a)
a :< ((a, (((((a, a), a), a), a), a)), a)
a :< ((a, ((((((a, a), a), a), a), a), a)), a)
a :< ((a, ((((((a, a), a), a), a), a), a)), a)
a :< ((a, (((((a, a), a), a), a), a)), a)
a :< ((a, ((((a, a), a), a), a)), a)
a :< ((a, (((a, a), a), a)), a)
a :< ((a, ((a, a), a)), a)
a :< ((a, (a, a)), a)
a :< ((a, a), a)
a :< (((a, (a, (a, (a, (a, (a, a)))))), a), a)
a :< (((a, (a, (a, (a, (a, (a, a)))))), a), a)
a :< (((a, (a, (a, (a, (a, a))))), a), a)
a :< (((a, (a, (a, (a, ((a, a), a))))), a), a)
a :< (((a, (a, (a, (a, ((a, a), a))))), a), a)
a :< (((a, (a, (a, (a, (a, a))))), a), a)
a :< (((a, (a, (a, (a, a)))), a), a)
a :< (((a, (a, (a, ((a, (a, a)), a)))), a), a)
a :< (((a, (a, (a, ((a, (a, a)), a)))), a), a)
a :< (((a, (a, (a, ((a, a), a)))), a), a)
a :< (((a, (a, (a, (((a, a), a), a)))), a), a)
a :< (((a, (a, (a, (((a, a), a), a)))), a), a)
a :< (((a, (a, (a, ((a, a), a)))), a), a)
a :< (((a, (a, (a, (a, a)))), a), a)
a :< (((a, (a, (a, a))), a), a)
a :< (((a, (a, ((a, (a, (a, a))), a))), a), a)
a :< (((a, (a, ((a, (a, (a, a))), a))), a), a)
a :< (((a, (a, ((a, (a, a)), a))), a), a)
a :< (((a, (a, ((a, ((a, a), a)), a))), a), a)
a :< (((a, (a, ((a, ((a, a), a)), a))), a), a)
a :< (((a, (a, ((a, (a, a)), a))), a), a)
a :< (((a, (a, ((a, a), a))), a), a)
a :< (((a, (a, (((a, (a, a)), a), a))), a), a)
a :< (((a, (a, (((a, (a, a)), a), a))), a), a)
a :< (((a, (a, (((a, a), a), a))), a), a)
a :< (((a, (a, ((((a, a), a), a), a))), a), a)
a :< (((a, (a, ((((a, a), a), a), a))), a), a)
a :< (((a, (a, (((a, a), a), a))), a), a)
a :< (((a, (a, ((a, a), a))), a), a)
a :< (((a, (a, (a, a))), a), a)
a :< (((a, (a, a)), a), a)
a :< (((a, ((a, (a, (a, (a, a)))), a)), a), a)
a :< (((a, ((a, (a, (a, (a, a)))), a)), a), a)
a :< (((a, ((a, (a, (a, a))), a)), a), a)
a :< (((a, ((a, (a, ((a, a), a))), a)), a), a)
a :< (((a, ((a, (a, ((a, a), a))), a)), a), a)
a :< (((a, ((a, (a, (a, a))), a)), a), a)
a :< (((a, ((a, (a, a)), a)), a), a)
a :< (((a, ((a, ((a, (a, a)), a)), a)), a), a)
a :< (((a, ((a, ((a, (a, a)), a)), a)), a), a)
a :< (((a, ((a, ((a, a), a)), a)), a), a)
a :< (((a, ((a, (((a, a), a), a)), a)), a), a)
a :< (((a, ((a, (((a, a), a), a)), a)), a), a)
a :< (((a, ((a, ((a, a), a)), a)), a), a)
a :< (((a, ((a, (a, a)), a)), a), a)
a :< (((a, ((a, a), a)), a), a)
a :< (((a, (((a, (a, (a, a))), a), a)), a), a)
a :< (((a, (((a, (a, (a, a))), a), a)), a), a)
a :< (((a, (((a, (a, a)), a), a)), a), a)
a :< (((a, (((a, ((a, a), a)), a), a)), a), a)
a :< (((a, (((a, ((a, a), a)), a), a)), a), a)
a :< (((a, (((a, (a, a)), a), a)), a), a)
a :< (((a, (((a, a), a), a)), a), a)
a :< (((a, ((((a, (a, a)), a), a), a)), a), a)
a :< (((a, ((((a, (a, a)), a), a), a)), a), a)
a :< (((a, ((((a, a), a), a), a)), a), a)
a :< (((a, (((((a, a), a), a), a), a)), a), a)
a :< (((a, (((((a, a), a), a), a), a)), a), a)
a :< (((a, ((((a, a), a), a), a)), a), a)
a :< (((a, (((a, a), a), a)), a), a)
a :< (((a, ((a, a), a)), a), a)
a :< (((a, (a, a)), a), a)
a :< (((a, a), a), a)
a :< ((((a, (a, (a, (a, (a, a))))), a), a), a)
a :< ((((a, (a, (a, (a, (a, a))))), a), a), a)
a :< ((((a, (a, (a, (a, a)))), a), a), a)
a :< ((((a, (a, (a, ((a, a), a)))), a), a), a)
a :< ((((a, (a, (a, ((a, a), a)))), a), a), a)
a :< ((((a, (a, (a, (a, a)))), a), a), a)
a :< ((((a, (a, (a, a))), a), a), a)
a :< ((((a, (a, ((a, (a, a)), a))), a), a), a)
a :< ((((a, (a, ((a, (a, a)), a))), a), a), a)
a :< ((((a, (a, ((a, a), a))), a), a), a)
a :< ((((a, (a, (((a, a), a), a))), a), a), a)
a :< ((((a, (a, (((a, a), a), a))), a), a), a)
a :< ((((a, (a, ((a, a), a))), a), a), a)
a :< ((((a, (a, (a, a))), a), a), a)
a :< ((((a, (a, a)), a), a), a)
a :< ((((a, ((a, (a, (a, a))), a)), a), a), a)
a :< ((((a, ((a, (a, (a, a))), a)), a), a), a)
a :< ((((a, ((a, (a, a)), a)), a), a), a)
a :< ((((a, ((a, ((a, a), a)), a)), a), a), a)
a :< ((((a, ((a, ((a, a), a)), a)), a), a), a)
a :< ((((a, ((a, (a, a)), a)), a), a), a)
a :< ((((a, ((a, a), a)), a), a), a)
a :< ((((a, (((a, (a, a)), a), a)), a), a), a)
a :< ((((a, (((a, (a, a)), a), a)), a), a), a)
a :< ((((a, (((a, a), a), a)), a), a), a)
a :< ((((a, ((((a, a), a), a), a)), a), a), a)
a :< ((((a, ((((a, a), a), a), a)), a), a), a)
a :< ((((a, (((a, a), a), a)), a), a), a)
a :< ((((a, ((a, a), a)), a), a), a)
a :< ((((a, (a, a)), a), a), a)
a :< ((((a, a), a), a), a)
a :< (((((a, (a, (a, (a, a)))), a), a), a), a)
a :< (((((a, (a, (a, (a, a)))), a), a), a), a)
a :< (((((a, (a, (a, a))), a), a), a), a)
a :< (((((a, (a, ((a, a), a))), a), a), a), a)
a :< (((((a, (a, ((a, a), a))), a), a), a), a)
a :< (((((a, (a, (a, a))), a), a), a), a)
a :< (((((a, (a, a)), a), a), a), a)
a :< (((((a, ((a, (a, a)), a)), a), a), a), a)
a :< (((((a, ((a, (a, a)), a)), a), a), a), a)
a :< (((((a, ((a, a), a)), a), a), a), a)
a :< (((((a, (((a, a), a), a)), a), a), a), a)
a :< (((((a, (((a, a), a), a)), a), a), a), a)
a :< (((((a, ((a, a), a)), a), a), a), a)
a :< (((((a, (a, a)), a), a), a), a)
a :< (((((a, a), a), a), a), a)
a :< ((((((a, (a, (a, a))), a), a), a), a), a)
a :< ((((((a, (a, (a, a))), a), a), a), a), a)
a :< ((((((a, (a, a)), a), a), a), a), a)
a :< ((((((a, ((a, a), a)), a), a), a), a), a)
a :< ((((((a, ((a, a), a)), a), a), a), a), a)
a :< ((((((a, (a, a)), a), a), a), a), a)
a :< ((((((a, a), a), a), a), a), a)
a :< (((((((a, (a, a)), a), a), a), a), a), a)
a :< (((((((a, (a, a)), a), a), a), a), a), a)
a :< (((((((a, a), a), a), a), a), a), a)
a :< ((((((((a, a), a), a), a), a), a), a), a)
a :< ((((((((a, a), a), a), a), a), a), a), a)
a :< (((((((a, a), a), a), a), a), a), a)
a :< ((((((a, a), a), a), a), a), a)
a :< (((((a, a), a), a), a), a)
a :< ((((a, a), a), a), a)
a :< (((a, a), a), a)
a :< ((a, a), a)
a :< (a, a)
(a, b) :< (a, b)