mirror of
https://github.com/github/semantic.git
synced 2024-12-01 09:15:01 +03:00
Add an eliminator for :=>.
This commit is contained in:
parent
a08b83432f
commit
dcf9cdc6ae
@ -29,6 +29,9 @@ newtype a :=> b = (:=>) (Tagged a b)
|
||||
field :: b -> a :=> b
|
||||
field = (:=>) . Tagged
|
||||
|
||||
unField :: a :=> b -> b
|
||||
unField ((:=>) b) = unTagged b
|
||||
|
||||
|
||||
-- Classes
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user