github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-08 16:39:47 +03:00
Code Issues Projects Releases Wiki Activity

Add a Copointed instance for Identity.

Browse Source
This commit is contained in:
Rob Rix 2016-03-02 23:20:54 -05:00
parent 85f50691b5
commit 49eb9c1e4f
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Data/Copointed.hs
View File

@ -1,7 +1,12 @@
module Data.Copointed where
import Data.Functor.Identity
class Copointed c where
copoint :: c a -> a
instance Copointed ((,) a) where
copoint = snd
instance Copointed Identity where
copoint = runIdentity