package example
- Alphabetic
- Public
- All
Type Members
- class TraverseUsage extends AnyRef
Value Members
- object CaseInsensitiveUsage extends App
- object ContravariantCoyonedaUsage extends App
- object DirectTypeClassUsage extends App
- object EnumUsage extends App
- object FibStateExample extends App
- object FingerTreeUsage extends App
- object FormatterUsage extends App
- object IListUsage extends App
- object IsomorphismUsage extends App
- object IterateeUsage extends App
-
object
LaunchburyInterpreter
extends App
Simple call-by-need (i.e.
Simple call-by-need (i.e. lazy) interpreter for Lambda Calculus based off of John Launchbury's "A Natural Semantics for Lazy Evaluation" Uses the "Barendregt convention": All variable names are globally unique (i.e. you cannot shadow variable names), and renames variables after substitution to maintain this invariant.
- object MixedBag extends App
- object NameNeedValueUsage extends App
- object NewTypeUsage extends App
- object ParserUsage extends App
- object PartiallyApplied extends App
- object StateTUsage extends App
- object StringUsage extends App
- object SyntaxUsage extends App
- object TrampolineUsage extends App
- object TypelevelUsage extends App
-
object
UnapplyInference
extends App
Examples showing the use of Unapply to reduce the need for type annotations
- object UnionUsage