package patterns
Declaration patterns in the sense of Horozal's PhD thesis, realized as two special cases of structural features: - Pattern for the patterns (elaborates to nothing) - Instance for the instances of patterns (elaborates by looking up the pattern)
- Source
- package.scala
- Alphabetic
- By Inheritance
- patterns
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- class InstanceFeature extends StructuralFeature
-
class
PatternFeature extends StructuralFeature with ParametricTheoryLike
patterns are derived declarations that are syntactically parametric theories