mirror of
https://github.com/github/semantic.git
synced 2025-01-03 21:16:12 +03:00
Revert "Add a maybeGetField function over Records."
This reverts commit 41dda71a26dfc2a92fecfdf88d6ab3ad7165d383.
This commit is contained in:
parent
db4ebefe1e
commit
a34f9ae3a4
@ -3,7 +3,6 @@ module Data.Record
|
|||||||
( Record(..)
|
( Record(..)
|
||||||
, (.:)
|
, (.:)
|
||||||
, HasField(..)
|
, HasField(..)
|
||||||
, maybeGetField
|
|
||||||
) where
|
) where
|
||||||
|
|
||||||
import GHC.Show
|
import GHC.Show
|
||||||
@ -24,10 +23,6 @@ infixr 0 .:
|
|||||||
(.:) :: Typeable h => h -> Record t -> Record (h ': t)
|
(.:) :: Typeable h => h -> Record t -> Record (h ': t)
|
||||||
(.:) = RCons
|
(.:) = RCons
|
||||||
|
|
||||||
maybeGetField :: Typeable field => Record fields -> Maybe field
|
|
||||||
maybeGetField (RCons h t) = cast h <|> maybeGetField t
|
|
||||||
maybeGetField RNil = Nothing
|
|
||||||
|
|
||||||
|
|
||||||
-- Classes
|
-- Classes
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user