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

Cofree can be explored.

Browse Source
This commit is contained in:
Rob Rix 2015-11-05 10:45:21 -05:00
parent 224f636f9b
commit 4d867db4c4
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
prototype/Doubt/Cofree.swift
View File

@ -177,4 +177,28 @@ extension CofreeType where Self.Annotation == Range<String.Index> {
}
// MARK: - Weaving
extension Cofree {
public func explore() -> Location<Cofree> {
func weave(cofree: Cofree) -> Location<Cofree>.Unweave {
switch cofree {
case .Unroll(_, .Leaf):
return Location.nullary
case let .Unroll(annotation, .Indexed(i)):
return Location.variadic(i, weave, { Cofree(annotation, .Indexed($0)) })
case let .Unroll(annotation, .Fixed(f)):
return Location.variadic(f, weave, { Cofree(annotation, .Fixed($0)) })
case let .Unroll(annotation, .Keyed(k)):
return Location.variadic(k, weave, { Cofree(annotation, .Keyed($0)) })
}
}
return Location.explore(weave)(self)
}
}
import Prelude