Portability	non-portable (GHC Extensions)
Stability	experimental
Maintainer	Patrick Bahr <paba@diku.dk>

Data.Comp.Automata.Product

Description

Synopsis

Documentation

class a :< b whereSource

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

Methods

pr :: b -> aSource

up :: a -> b -> bSource

Instances

a :< a
a0 :< (a0, a1)
a0 :< ((a0, a1), a2)
a0 :< (((a0, a1), a2), a3)
a0 :< ((((a0, a1), a2), a3), a4)
a0 :< (((((a0, a1), a2), a3), a4), a5)
a0 :< ((((((a0, a1), a2), a3), a4), a5), a6)
a0 :< (((((((a0, a1), a2), a3), a4), a5), a6), a7)
a0 :< ((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8)
a0 :< ((((((((a1, a0), a2), a3), a4), a5), a6), a7), a8)
a0 :< (((((((a1, a0), a2), a3), a4), a5), a6), a7)
a0 :< (((((((a1, (a0, a2)), a3), a4), a5), a6), a7), a8)
a0 :< (((((((a1, (a2, a0)), a3), a4), a5), a6), a7), a8)
a0 :< ((((((a1, a0), a2), a3), a4), a5), a6)
a0 :< ((((((a1, (a0, a2)), a3), a4), a5), a6), a7)
a0 :< ((((((a1, ((a0, a2), a3)), a4), a5), a6), a7), a8)
a0 :< ((((((a1, ((a2, a0), a3)), a4), a5), a6), a7), a8)
a0 :< ((((((a1, (a2, a0)), a3), a4), a5), a6), a7)
a0 :< ((((((a1, (a2, (a0, a3))), a4), a5), a6), a7), a8)
a0 :< ((((((a1, (a2, (a3, a0))), a4), a5), a6), a7), a8)
a0 :< (((((a1, a0), a2), a3), a4), a5)
a0 :< (((((a1, (a0, a2)), a3), a4), a5), a6)
a0 :< (((((a1, ((a0, a2), a3)), a4), a5), a6), a7)
a0 :< (((((a1, (((a0, a2), a3), a4)), a5), a6), a7), a8)
a0 :< (((((a1, (((a2, a0), a3), a4)), a5), a6), a7), a8)
a0 :< (((((a1, ((a2, a0), a3)), a4), a5), a6), a7)
a0 :< (((((a1, ((a2, (a0, a3)), a4)), a5), a6), a7), a8)
a0 :< (((((a1, ((a2, (a3, a0)), a4)), a5), a6), a7), a8)
a0 :< (((((a1, (a2, a0)), a3), a4), a5), a6)
a0 :< (((((a1, (a2, (a0, a3))), a4), a5), a6), a7)
a0 :< (((((a1, (a2, ((a0, a3), a4))), a5), a6), a7), a8)
a0 :< (((((a1, (a2, ((a3, a0), a4))), a5), a6), a7), a8)
a0 :< (((((a1, (a2, (a3, a0))), a4), a5), a6), a7)
a0 :< (((((a1, (a2, (a3, (a0, a4)))), a5), a6), a7), a8)
a0 :< (((((a1, (a2, (a3, (a4, a0)))), a5), a6), a7), a8)
a0 :< ((((a1, a0), a2), a3), a4)
a0 :< ((((a1, (a0, a2)), a3), a4), a5)
a0 :< ((((a1, ((a0, a2), a3)), a4), a5), a6)
a0 :< ((((a1, (((a0, a2), a3), a4)), a5), a6), a7)
a0 :< ((((a1, ((((a0, a2), a3), a4), a5)), a6), a7), a8)
a0 :< ((((a1, ((((a2, a0), a3), a4), a5)), a6), a7), a8)
a0 :< ((((a1, (((a2, a0), a3), a4)), a5), a6), a7)
a0 :< ((((a1, (((a2, (a0, a3)), a4), a5)), a6), a7), a8)
a0 :< ((((a1, (((a2, (a3, a0)), a4), a5)), a6), a7), a8)
a0 :< ((((a1, ((a2, a0), a3)), a4), a5), a6)
a0 :< ((((a1, ((a2, (a0, a3)), a4)), a5), a6), a7)
a0 :< ((((a1, ((a2, ((a0, a3), a4)), a5)), a6), a7), a8)
a0 :< ((((a1, ((a2, ((a3, a0), a4)), a5)), a6), a7), a8)
a0 :< ((((a1, ((a2, (a3, a0)), a4)), a5), a6), a7)
a0 :< ((((a1, ((a2, (a3, (a0, a4))), a5)), a6), a7), a8)
a0 :< ((((a1, ((a2, (a3, (a4, a0))), a5)), a6), a7), a8)
a0 :< ((((a1, (a2, a0)), a3), a4), a5)
a0 :< ((((a1, (a2, (a0, a3))), a4), a5), a6)
a0 :< ((((a1, (a2, ((a0, a3), a4))), a5), a6), a7)
a0 :< ((((a1, (a2, (((a0, a3), a4), a5))), a6), a7), a8)
a0 :< ((((a1, (a2, (((a3, a0), a4), a5))), a6), a7), a8)
a0 :< ((((a1, (a2, ((a3, a0), a4))), a5), a6), a7)
a0 :< ((((a1, (a2, ((a3, (a0, a4)), a5))), a6), a7), a8)
a0 :< ((((a1, (a2, ((a3, (a4, a0)), a5))), a6), a7), a8)
a0 :< ((((a1, (a2, (a3, a0))), a4), a5), a6)
a0 :< ((((a1, (a2, (a3, (a0, a4)))), a5), a6), a7)
a0 :< ((((a1, (a2, (a3, ((a0, a4), a5)))), a6), a7), a8)
a0 :< ((((a1, (a2, (a3, ((a4, a0), a5)))), a6), a7), a8)
a0 :< ((((a1, (a2, (a3, (a4, a0)))), a5), a6), a7)
a0 :< ((((a1, (a2, (a3, (a4, (a0, a5))))), a6), a7), a8)
a0 :< ((((a1, (a2, (a3, (a4, (a5, a0))))), a6), a7), a8)
a0 :< (((a1, a0), a2), a3)
a0 :< (((a1, (a0, a2)), a3), a4)
a0 :< (((a1, ((a0, a2), a3)), a4), a5)
a0 :< (((a1, (((a0, a2), a3), a4)), a5), a6)
a0 :< (((a1, ((((a0, a2), a3), a4), a5)), a6), a7)
a0 :< (((a1, (((((a0, a2), a3), a4), a5), a6)), a7), a8)
a0 :< (((a1, (((((a2, a0), a3), a4), a5), a6)), a7), a8)
a0 :< (((a1, ((((a2, a0), a3), a4), a5)), a6), a7)
a0 :< (((a1, ((((a2, (a0, a3)), a4), a5), a6)), a7), a8)
a0 :< (((a1, ((((a2, (a3, a0)), a4), a5), a6)), a7), a8)
a0 :< (((a1, (((a2, a0), a3), a4)), a5), a6)
a0 :< (((a1, (((a2, (a0, a3)), a4), a5)), a6), a7)
a0 :< (((a1, (((a2, ((a0, a3), a4)), a5), a6)), a7), a8)
a0 :< (((a1, (((a2, ((a3, a0), a4)), a5), a6)), a7), a8)
a0 :< (((a1, (((a2, (a3, a0)), a4), a5)), a6), a7)
a0 :< (((a1, (((a2, (a3, (a0, a4))), a5), a6)), a7), a8)
a0 :< (((a1, (((a2, (a3, (a4, a0))), a5), a6)), a7), a8)
a0 :< (((a1, ((a2, a0), a3)), a4), a5)
a0 :< (((a1, ((a2, (a0, a3)), a4)), a5), a6)
a0 :< (((a1, ((a2, ((a0, a3), a4)), a5)), a6), a7)
a0 :< (((a1, ((a2, (((a0, a3), a4), a5)), a6)), a7), a8)
a0 :< (((a1, ((a2, (((a3, a0), a4), a5)), a6)), a7), a8)
a0 :< (((a1, ((a2, ((a3, a0), a4)), a5)), a6), a7)
a0 :< (((a1, ((a2, ((a3, (a0, a4)), a5)), a6)), a7), a8)
a0 :< (((a1, ((a2, ((a3, (a4, a0)), a5)), a6)), a7), a8)
a0 :< (((a1, ((a2, (a3, a0)), a4)), a5), a6)
a0 :< (((a1, ((a2, (a3, (a0, a4))), a5)), a6), a7)
a0 :< (((a1, ((a2, (a3, ((a0, a4), a5))), a6)), a7), a8)
a0 :< (((a1, ((a2, (a3, ((a4, a0), a5))), a6)), a7), a8)
a0 :< (((a1, ((a2, (a3, (a4, a0))), a5)), a6), a7)
a0 :< (((a1, ((a2, (a3, (a4, (a0, a5)))), a6)), a7), a8)
a0 :< (((a1, ((a2, (a3, (a4, (a5, a0)))), a6)), a7), a8)
a0 :< (((a1, (a2, a0)), a3), a4)
a0 :< (((a1, (a2, (a0, a3))), a4), a5)
a0 :< (((a1, (a2, ((a0, a3), a4))), a5), a6)
a0 :< (((a1, (a2, (((a0, a3), a4), a5))), a6), a7)
a0 :< (((a1, (a2, ((((a0, a3), a4), a5), a6))), a7), a8)
a0 :< (((a1, (a2, ((((a3, a0), a4), a5), a6))), a7), a8)
a0 :< (((a1, (a2, (((a3, a0), a4), a5))), a6), a7)
a0 :< (((a1, (a2, (((a3, (a0, a4)), a5), a6))), a7), a8)
a0 :< (((a1, (a2, (((a3, (a4, a0)), a5), a6))), a7), a8)
a0 :< (((a1, (a2, ((a3, a0), a4))), a5), a6)
a0 :< (((a1, (a2, ((a3, (a0, a4)), a5))), a6), a7)
a0 :< (((a1, (a2, ((a3, ((a0, a4), a5)), a6))), a7), a8)
a0 :< (((a1, (a2, ((a3, ((a4, a0), a5)), a6))), a7), a8)
a0 :< (((a1, (a2, ((a3, (a4, a0)), a5))), a6), a7)
a0 :< (((a1, (a2, ((a3, (a4, (a0, a5))), a6))), a7), a8)
a0 :< (((a1, (a2, ((a3, (a4, (a5, a0))), a6))), a7), a8)
a0 :< (((a1, (a2, (a3, a0))), a4), a5)
a0 :< (((a1, (a2, (a3, (a0, a4)))), a5), a6)
a0 :< (((a1, (a2, (a3, ((a0, a4), a5)))), a6), a7)
a0 :< (((a1, (a2, (a3, (((a0, a4), a5), a6)))), a7), a8)
a0 :< (((a1, (a2, (a3, (((a4, a0), a5), a6)))), a7), a8)
a0 :< (((a1, (a2, (a3, ((a4, a0), a5)))), a6), a7)
a0 :< (((a1, (a2, (a3, ((a4, (a0, a5)), a6)))), a7), a8)
a0 :< (((a1, (a2, (a3, ((a4, (a5, a0)), a6)))), a7), a8)
a0 :< (((a1, (a2, (a3, (a4, a0)))), a5), a6)
a0 :< (((a1, (a2, (a3, (a4, (a0, a5))))), a6), a7)
a0 :< (((a1, (a2, (a3, (a4, ((a0, a5), a6))))), a7), a8)
a0 :< (((a1, (a2, (a3, (a4, ((a5, a0), a6))))), a7), a8)
a0 :< (((a1, (a2, (a3, (a4, (a5, a0))))), a6), a7)
a0 :< (((a1, (a2, (a3, (a4, (a5, (a0, a6)))))), a7), a8)
a0 :< (((a1, (a2, (a3, (a4, (a5, (a6, a0)))))), a7), a8)
a0 :< ((a1, a0), a2)
a0 :< ((a1, (a0, a2)), a3)
a0 :< ((a1, ((a0, a2), a3)), a4)
a0 :< ((a1, (((a0, a2), a3), a4)), a5)
a0 :< ((a1, ((((a0, a2), a3), a4), a5)), a6)
a0 :< ((a1, (((((a0, a2), a3), a4), a5), a6)), a7)
a0 :< ((a1, ((((((a0, a2), a3), a4), a5), a6), a7)), a8)
a0 :< ((a1, ((((((a2, a0), a3), a4), a5), a6), a7)), a8)
a0 :< ((a1, (((((a2, a0), a3), a4), a5), a6)), a7)
a0 :< ((a1, (((((a2, (a0, a3)), a4), a5), a6), a7)), a8)
a0 :< ((a1, (((((a2, (a3, a0)), a4), a5), a6), a7)), a8)
a0 :< ((a1, ((((a2, a0), a3), a4), a5)), a6)
a0 :< ((a1, ((((a2, (a0, a3)), a4), a5), a6)), a7)
a0 :< ((a1, ((((a2, ((a0, a3), a4)), a5), a6), a7)), a8)
a0 :< ((a1, ((((a2, ((a3, a0), a4)), a5), a6), a7)), a8)
a0 :< ((a1, ((((a2, (a3, a0)), a4), a5), a6)), a7)
a0 :< ((a1, ((((a2, (a3, (a0, a4))), a5), a6), a7)), a8)
a0 :< ((a1, ((((a2, (a3, (a4, a0))), a5), a6), a7)), a8)
a0 :< ((a1, (((a2, a0), a3), a4)), a5)
a0 :< ((a1, (((a2, (a0, a3)), a4), a5)), a6)
a0 :< ((a1, (((a2, ((a0, a3), a4)), a5), a6)), a7)
a0 :< ((a1, (((a2, (((a0, a3), a4), a5)), a6), a7)), a8)
a0 :< ((a1, (((a2, (((a3, a0), a4), a5)), a6), a7)), a8)
a0 :< ((a1, (((a2, ((a3, a0), a4)), a5), a6)), a7)
a0 :< ((a1, (((a2, ((a3, (a0, a4)), a5)), a6), a7)), a8)
a0 :< ((a1, (((a2, ((a3, (a4, a0)), a5)), a6), a7)), a8)
a0 :< ((a1, (((a2, (a3, a0)), a4), a5)), a6)
a0 :< ((a1, (((a2, (a3, (a0, a4))), a5), a6)), a7)
a0 :< ((a1, (((a2, (a3, ((a0, a4), a5))), a6), a7)), a8)
a0 :< ((a1, (((a2, (a3, ((a4, a0), a5))), a6), a7)), a8)
a0 :< ((a1, (((a2, (a3, (a4, a0))), a5), a6)), a7)
a0 :< ((a1, (((a2, (a3, (a4, (a0, a5)))), a6), a7)), a8)
a0 :< ((a1, (((a2, (a3, (a4, (a5, a0)))), a6), a7)), a8)
a0 :< ((a1, ((a2, a0), a3)), a4)
a0 :< ((a1, ((a2, (a0, a3)), a4)), a5)
a0 :< ((a1, ((a2, ((a0, a3), a4)), a5)), a6)
a0 :< ((a1, ((a2, (((a0, a3), a4), a5)), a6)), a7)
a0 :< ((a1, ((a2, ((((a0, a3), a4), a5), a6)), a7)), a8)
a0 :< ((a1, ((a2, ((((a3, a0), a4), a5), a6)), a7)), a8)
a0 :< ((a1, ((a2, (((a3, a0), a4), a5)), a6)), a7)
a0 :< ((a1, ((a2, (((a3, (a0, a4)), a5), a6)), a7)), a8)
a0 :< ((a1, ((a2, (((a3, (a4, a0)), a5), a6)), a7)), a8)
a0 :< ((a1, ((a2, ((a3, a0), a4)), a5)), a6)
a0 :< ((a1, ((a2, ((a3, (a0, a4)), a5)), a6)), a7)
a0 :< ((a1, ((a2, ((a3, ((a0, a4), a5)), a6)), a7)), a8)
a0 :< ((a1, ((a2, ((a3, ((a4, a0), a5)), a6)), a7)), a8)
a0 :< ((a1, ((a2, ((a3, (a4, a0)), a5)), a6)), a7)
a0 :< ((a1, ((a2, ((a3, (a4, (a0, a5))), a6)), a7)), a8)
a0 :< ((a1, ((a2, ((a3, (a4, (a5, a0))), a6)), a7)), a8)
a0 :< ((a1, ((a2, (a3, a0)), a4)), a5)
a0 :< ((a1, ((a2, (a3, (a0, a4))), a5)), a6)
a0 :< ((a1, ((a2, (a3, ((a0, a4), a5))), a6)), a7)
a0 :< ((a1, ((a2, (a3, (((a0, a4), a5), a6))), a7)), a8)
a0 :< ((a1, ((a2, (a3, (((a4, a0), a5), a6))), a7)), a8)
a0 :< ((a1, ((a2, (a3, ((a4, a0), a5))), a6)), a7)
a0 :< ((a1, ((a2, (a3, ((a4, (a0, a5)), a6))), a7)), a8)
a0 :< ((a1, ((a2, (a3, ((a4, (a5, a0)), a6))), a7)), a8)
a0 :< ((a1, ((a2, (a3, (a4, a0))), a5)), a6)
a0 :< ((a1, ((a2, (a3, (a4, (a0, a5)))), a6)), a7)
a0 :< ((a1, ((a2, (a3, (a4, ((a0, a5), a6)))), a7)), a8)
a0 :< ((a1, ((a2, (a3, (a4, ((a5, a0), a6)))), a7)), a8)
a0 :< ((a1, ((a2, (a3, (a4, (a5, a0)))), a6)), a7)
a0 :< ((a1, ((a2, (a3, (a4, (a5, (a0, a6))))), a7)), a8)
a0 :< ((a1, ((a2, (a3, (a4, (a5, (a6, a0))))), a7)), a8)
a0 :< ((a1, (a2, a0)), a3)
a0 :< ((a1, (a2, (a0, a3))), a4)
a0 :< ((a1, (a2, ((a0, a3), a4))), a5)
a0 :< ((a1, (a2, (((a0, a3), a4), a5))), a6)
a0 :< ((a1, (a2, ((((a0, a3), a4), a5), a6))), a7)
a0 :< ((a1, (a2, (((((a0, a3), a4), a5), a6), a7))), a8)
a0 :< ((a1, (a2, (((((a3, a0), a4), a5), a6), a7))), a8)
a0 :< ((a1, (a2, ((((a3, a0), a4), a5), a6))), a7)
a0 :< ((a1, (a2, ((((a3, (a0, a4)), a5), a6), a7))), a8)
a0 :< ((a1, (a2, ((((a3, (a4, a0)), a5), a6), a7))), a8)
a0 :< ((a1, (a2, (((a3, a0), a4), a5))), a6)
a0 :< ((a1, (a2, (((a3, (a0, a4)), a5), a6))), a7)
a0 :< ((a1, (a2, (((a3, ((a0, a4), a5)), a6), a7))), a8)
a0 :< ((a1, (a2, (((a3, ((a4, a0), a5)), a6), a7))), a8)
a0 :< ((a1, (a2, (((a3, (a4, a0)), a5), a6))), a7)
a0 :< ((a1, (a2, (((a3, (a4, (a0, a5))), a6), a7))), a8)
a0 :< ((a1, (a2, (((a3, (a4, (a5, a0))), a6), a7))), a8)
a0 :< ((a1, (a2, ((a3, a0), a4))), a5)
a0 :< ((a1, (a2, ((a3, (a0, a4)), a5))), a6)
a0 :< ((a1, (a2, ((a3, ((a0, a4), a5)), a6))), a7)
a0 :< ((a1, (a2, ((a3, (((a0, a4), a5), a6)), a7))), a8)
a0 :< ((a1, (a2, ((a3, (((a4, a0), a5), a6)), a7))), a8)
a0 :< ((a1, (a2, ((a3, ((a4, a0), a5)), a6))), a7)
a0 :< ((a1, (a2, ((a3, ((a4, (a0, a5)), a6)), a7))), a8)
a0 :< ((a1, (a2, ((a3, ((a4, (a5, a0)), a6)), a7))), a8)
a0 :< ((a1, (a2, ((a3, (a4, a0)), a5))), a6)
a0 :< ((a1, (a2, ((a3, (a4, (a0, a5))), a6))), a7)
a0 :< ((a1, (a2, ((a3, (a4, ((a0, a5), a6))), a7))), a8)
a0 :< ((a1, (a2, ((a3, (a4, ((a5, a0), a6))), a7))), a8)
a0 :< ((a1, (a2, ((a3, (a4, (a5, a0))), a6))), a7)
a0 :< ((a1, (a2, ((a3, (a4, (a5, (a0, a6)))), a7))), a8)
a0 :< ((a1, (a2, ((a3, (a4, (a5, (a6, a0)))), a7))), a8)
a0 :< ((a1, (a2, (a3, a0))), a4)
a0 :< ((a1, (a2, (a3, (a0, a4)))), a5)
a0 :< ((a1, (a2, (a3, ((a0, a4), a5)))), a6)
a0 :< ((a1, (a2, (a3, (((a0, a4), a5), a6)))), a7)
a0 :< ((a1, (a2, (a3, ((((a0, a4), a5), a6), a7)))), a8)
a0 :< ((a1, (a2, (a3, ((((a4, a0), a5), a6), a7)))), a8)
a0 :< ((a1, (a2, (a3, (((a4, a0), a5), a6)))), a7)
a0 :< ((a1, (a2, (a3, (((a4, (a0, a5)), a6), a7)))), a8)
a0 :< ((a1, (a2, (a3, (((a4, (a5, a0)), a6), a7)))), a8)
a0 :< ((a1, (a2, (a3, ((a4, a0), a5)))), a6)
a0 :< ((a1, (a2, (a3, ((a4, (a0, a5)), a6)))), a7)
a0 :< ((a1, (a2, (a3, ((a4, ((a0, a5), a6)), a7)))), a8)
a0 :< ((a1, (a2, (a3, ((a4, ((a5, a0), a6)), a7)))), a8)
a0 :< ((a1, (a2, (a3, ((a4, (a5, a0)), a6)))), a7)
a0 :< ((a1, (a2, (a3, ((a4, (a5, (a0, a6))), a7)))), a8)
a0 :< ((a1, (a2, (a3, ((a4, (a5, (a6, a0))), a7)))), a8)
a0 :< ((a1, (a2, (a3, (a4, a0)))), a5)
a0 :< ((a1, (a2, (a3, (a4, (a0, a5))))), a6)
a0 :< ((a1, (a2, (a3, (a4, ((a0, a5), a6))))), a7)
a0 :< ((a1, (a2, (a3, (a4, (((a0, a5), a6), a7))))), a8)
a0 :< ((a1, (a2, (a3, (a4, (((a5, a0), a6), a7))))), a8)
a0 :< ((a1, (a2, (a3, (a4, ((a5, a0), a6))))), a7)
a0 :< ((a1, (a2, (a3, (a4, ((a5, (a0, a6)), a7))))), a8)
a0 :< ((a1, (a2, (a3, (a4, ((a5, (a6, a0)), a7))))), a8)
a0 :< ((a1, (a2, (a3, (a4, (a5, a0))))), a6)
a0 :< ((a1, (a2, (a3, (a4, (a5, (a0, a6)))))), a7)
a0 :< ((a1, (a2, (a3, (a4, (a5, ((a0, a6), a7)))))), a8)
a0 :< ((a1, (a2, (a3, (a4, (a5, ((a6, a0), a7)))))), a8)
a0 :< ((a1, (a2, (a3, (a4, (a5, (a6, a0)))))), a7)
a0 :< ((a1, (a2, (a3, (a4, (a5, (a6, (a0, a7))))))), a8)
a0 :< ((a1, (a2, (a3, (a4, (a5, (a6, (a7, a0))))))), a8)
c :< b => c :< (a, b)