compdata-0.7.0.1: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <paba@diku.dk>
Safe HaskellNone

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 pr.

Methods

pr :: b -> aSource

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) 
(a, b) :< (a, b)