github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00
Code Issues Projects Releases Wiki Activity

Define a type family computing boolean or.

Browse Source
This commit is contained in:
Rob Rix 2019-09-24 12:19:47 -04:00
parent f613113dda
commit c45b96f577
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
semantic-tags/src/Tags/Taggable/Precise.hs
View File

@ -156,6 +156,12 @@ instance GToTag U1 where
class Element sub sup where
prj :: sup a -> Maybe (sub a)
type family a || b where
'True || _ = 'True
_ || 'True = 'True
_ || _ = 'False
instance {-# OVERLAPPABLE #-}
Element t t where
prj = Just