Packages

package loner

Provides types for computing whether or not an org.benknoble.ebnf.Grammar is in LL(1)

Overview

The main object is org.benknoble.loner.Loner. Given a grammar object g, Loner(g) or Loner.isLLone(g) is true iff g is in LL(1).

Depends on org.benknoble.ebnf.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. loner
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait Monoid[A] extends Subgroup[A]

    A moinoid over members of type A

    A moinoid over members of type A

    From category theory: A monoid is a subgroup equipped with a left-and-right identity value called zero

  2. case class SetFilter[A](a: A) extends Monoid[Set[A]] with Product with Serializable

    A set-filtering monoid.

    A set-filtering monoid.

    Given an element a of the domain, the identity element is {a} and the subgroup operation is S * T = { S if ¬(a ∈ S); (S - {a}) ∪ T if a ∈ S }

    a

    the zero element

  3. trait Subgroup[A] extends AnyRef

    A subgroup over members of type A

    A subgroup over members of type A

    From category theory: A subgroup is a domain of elements (A) and an associative binary operation

Value Members

  1. object Loner

    LL(1) computer

    LL(1) computer

    Applicable to org.benknoble.ebnf.Grammar instances

    Annotations
    @JSExportTopLevel( "Loner" )
  2. object Main

Inherited from AnyRef

Inherited from Any

Ungrouped