sequences

Type Members

1. class ArraySeqTheory extends SeqTheory

   

2. class ArraySeqTheoryBuilder extends SeqTheoryBuilder

   

3. case class SeqMonoid(seqTheory: SeqTheory) extends Monoid with Product with Serializable

   

   Every string theory gives rise to a monoid.

4. trait SeqTheory extends Theory

   

5. abstract class SeqTheoryBuilder extends TheoryBuilder

   

   Interface to construct sequence theory objects.