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

Bring the typealiases from Algorithm into FreeAlgorithm.

Browse Source
This commit is contained in:
Rob Rix 2015-10-05 17:25:17 -04:00
parent 3fdda99653
commit 1ef04248cb
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
prototype/Doubt/Algorithm.swift
View File

@ -68,6 +68,12 @@ extension Algorithm {
///
/// 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
/// The type of `Diff`s which `FreeAlgorithm`s produce.
typealias Diff = Algorithm<FreeAlgorithm, A>.Diff
/// The injection of a value of type `B` into an `Algorithm`.
///
/// Equally, a way to return a result or throw an error during computation, as determined by the type which `B` is instantiated to, and the specific context in which it is being evaluated.