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.
- Alphabetic
- By Inheritance
- loner
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
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
-
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 isS * T = { S if ¬(a ∈ S); (S - {a}) ∪ T if a ∈ S }
- a
the zero element
-
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