github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-25 21:43:07 +03:00
Code Issues Projects Releases Wiki Activity

Equality over Cofrees of equatable types.

Browse Source
This commit is contained in:
Rob Rix 2015-10-14 10:53:29 -04:00
parent 889dab1df2
commit 3dcfbc0d38
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
prototype/Doubt/Cofree.swift
View File

@ -74,5 +74,9 @@ extension Cofree {
} }
} }
public func == <A: Equatable, B: Equatable> (left: Cofree<A, B>, right: Cofree<A, B>) -> Bool {
return Cofree.equals(annotation: ==, leaf: ==)(left, right)
}
import Prelude import Prelude