mirror of
https://github.com/github/semantic.git
synced 2024-12-01 00:33:59 +03:00
📝 OriginType.
This commit is contained in:
parent
b802247c48
commit
3a0f99bb17
@ -12,6 +12,7 @@ data Origin term ty where
|
||||
Module :: Origin term 'P -> M.ModuleInfo -> Origin term 'M
|
||||
Term :: Origin term 'M -> Base term () -> Origin term 'T
|
||||
|
||||
-- | A type index indicating the finest grain of information available in a given 'Origin'.
|
||||
data OriginType = P | M | T
|
||||
deriving (Eq, Ord, Show)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user