github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-29 11:02:26 +03:00
Code Issues Projects Releases Wiki Activity

Diff/Term typealiases are public.

Browse Source
This commit is contained in:
Rob Rix 2015-10-06 12:03:58 -04:00
parent d020d17f60
commit f30ebc8cdb
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
prototype/Doubt/Algorithm.swift
View File

@ -40,10 +40,10 @@ public enum Algorithm<Recur, A> {
/// Where `Algorithm` models a single diffing strategy, `FreeAlgorithm` models the recursive selection of diffing strategies at each node. Thus, a value in `FreeAlgorithm` models an algorithm for constructing a value in the type `B` from the resulting diffs. By this means, diffing can be adapted not just to the specific grammar, but to specific trees produced by that grammar, and even the values of type `A` encapsulated at each node.
public enum FreeAlgorithm<A, B> {
/// The type of `Term`s over which `FreeAlgorithm`s operate.
typealias Term = Algorithm<FreeAlgorithm, A>.Term
public typealias Term = Algorithm<FreeAlgorithm, A>.Term
/// The type of `Diff`s which `FreeAlgorithm`s produce.
typealias Diff = Algorithm<FreeAlgorithm, A>.Diff
public typealias Diff = Algorithm<FreeAlgorithm, A>.Diff
/// The injection of a value of type `B` into an `Algorithm`.
///