1
1
mirror of https://github.com/github/semantic.git synced 2024-12-02 11:23:05 +03:00

Doc comments for the Term and Diff typealiases.

This commit is contained in:
Rob Rix 2015-10-02 17:25:52 -04:00
parent f26d4349c7
commit bbd41b209d

View File

@ -1,6 +1,9 @@
/// A language of diffing algorithms.
enum Algorithm<Recur, A> {
/// The type of `Term`s over which `Algorithm`s operate.
typealias Term = Fix<A>
/// The type of `Diff`s which `Algorithm`s produce.
typealias Diff = Free<A, Patch<A>>
case Recursive(Term, Diff -> Recur)