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

Stub in a GEq1 typeclass.

Browse Source
This commit is contained in:
Rob Rix 2017-02-21 16:03:35 -05:00
parent e31191f4fa
commit 1cd3216f47
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Data/Functor/Classes/Eq/Generic.hs
View File

@ -1 +1,9 @@
module Data.Functor.Classes.Eq.Generic where
import Prologue
class GEq1 f where
-- | Lift an equality test through the type constructor.
--
-- The function will usually be applied to an equality function, but the more general type ensures that the implementation uses it to compare elements of the first container with elements of the second.
gliftEq :: (a -> b -> Bool) -> f a -> f b -> Bool