fs2.data.pattern
Members list
Type members
Classlikes
A pattern matching compiler to decision tree, based on Compiling Successor ML Pattern Guards by J. Reppy and M. Zahir
A pattern matching compiler to decision tree, based on Compiling Successor ML Pattern Guards by J. Reppy and M. Zahir
Attributes
- Source
- Compiler.scala
- Supertypes
Attributes
- Companion
- object
- Source
- Selectable.scala
- Supertypes
Attributes
- Companion
- class
- Source
- Selectable.scala
- Supertypes
- Self type
-
ConstructorTree.type
Attributes
- Companion
- trait
- Source
- DecisionTree.scala
- Supertypes
- Self type
-
DecisionTree.type
Attributes
- Companion
- object
- Source
- Selectable.scala
- Supertypes
Attributes
- Companion
- trait
- Source
- Selectable.scala
- Supertypes
- Self type
-
Evaluator.type
A type class that describes how the pattern type Pat
can be decomposed into Skeletons.
A type class that describes how the pattern type Pat
can be decomposed into Skeletons.
Skeletons represent or
patterns, and are matched left to right.
Attributes
- Source
- IsPattern.scala
- Supertypes
Attributes
- Source
- IsTag.scala
- Supertypes
A sealed trait with no implementation so that it has no inhabitant. To be used when a pattern language has no guards.
A sealed trait with no implementation so that it has no inhabitant. To be used when a pattern language has no guards.
Attributes
- Companion
- object
- Source
- Selectable.scala
- Supertypes
Attributes
- Companion
- trait
- Source
- Selectable.scala
- Supertypes
- Self type
-
NoGuard.type
Attributes
- Source
- PatternException.scala
- Supertypes
Attributes
- Companion
- object
- Source
- RawSkeleton.scala
- Supertypes
- Known subtypes
-
Attributes
- Companion
- trait
- Source
- RawSkeleton.scala
- Supertypes
- Self type
-
RawSkeleton.type
Describes the structure of an expression in term of constructor trees that can be selected.
Describes the structure of an expression in term of constructor trees that can be selected.
Attributes
- Companion
- object
- Source
- Selectable.scala
- Supertypes
Attributes
- Companion
- trait
- Source
- Selectable.scala
- Supertypes
- Self type
-
Selectable.type
A Selector represents the part of the matched input that is under scrutinee during the pattern match.
Attributes
- Companion
- trait
- Source
- Selector.scala
- Supertypes
- Self type
-
Selector.type
Attributes
- Companion
- object
- Source
- Skeleton.scala
- Supertypes
- Known subtypes
Attributes
- Companion
- trait
- Source
- Skeleton.scala
- Supertypes
- Self type
-
Skeleton.type