[epo] add epo to sources

parent 49327d78
......@@ -110,6 +110,7 @@ data Database = All_Databases
| IsTex
| IsTex_Advanced
| Isidore
| EPO
-- | News
-- | SocialNetworks
derive instance Generic Database _
......@@ -125,6 +126,7 @@ instance Show Database where
show IsTex = "IsTex"
show IsTex_Advanced = "IsTex_Advanced"
show Isidore = "Isidore"
show EPO = "EPO"
show Empty = "Empty"
-- show News = "News"
-- show SocialNetworks = "Social Networks"
......@@ -138,6 +140,7 @@ instance Doc Database where
doc IsTex = "All Elsevier enriched by CNRS/INIST"
doc IsTex_Advanced = "IsTex advanced search"
doc Isidore = "All (French) Social Sciences"
doc EPO = "European Patent Office)"
doc Empty = "Empty"
-- doc News = "Web filtered by News"
-- doc SocialNetworks = "Web filtered by MicroBlogs"
......@@ -167,6 +170,7 @@ allDatabases = [ Empty
, Arxiv
, OpenAlex
, IsTex
, EPO
--, IsTex_Advanced
--, Isidore
--, Web
......@@ -183,6 +187,7 @@ dbToInputValue (HAL _) = "hal"
dbToInputValue IsTex = "istex"
dbToInputValue IsTex_Advanced = "istex_advanced"
dbToInputValue Isidore = "isidore"
dbToInputValue EPO = "epo"
dbToInputValue Empty = "empty"
dbFromInputValue :: String -> Maybe Database
......@@ -194,6 +199,7 @@ dbFromInputValue "hal" = Just (HAL Nothing)
dbFromInputValue "istex" = Just IsTex
dbFromInputValue "istex_advanced" = Just IsTex_Advanced
dbFromInputValue "isidore" = Just Isidore
dbFromInputValue "epo" = Just EPO
dbFromInputValue "empty" = Just Empty
dbFromInputValue _ = Nothing
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment