Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
purescript-gargantext
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
153
Issues
153
List
Board
Labels
Milestones
Merge Requests
3
Merge Requests
3
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
gargantext
purescript-gargantext
Commits
9e045c1d
Commit
9e045c1d
authored
Mar 04, 2022
by
Przemyslaw Kaminski
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[parsers] add wos_zip
parent
37a4d4d1
Pipeline
#2537
canceled with stage
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
3 additions
and
2 deletions
+3
-2
Types.purs
...text/Components/Forest/Tree/Node/Action/Upload/Types.purs
+3
-2
No files found.
src/Gargantext/Components/Forest/Tree/Node/Action/Upload/Types.purs
View file @
9e045c1d
...
@@ -13,7 +13,7 @@ import Web.File.Blob (Blob, size)
...
@@ -13,7 +13,7 @@ import Web.File.Blob (Blob, size)
import Web.File.FileReader.Aff (readAsArrayBuffer, readAsText)
import Web.File.FileReader.Aff (readAsArrayBuffer, readAsText)
data FileType = CSV | CSV_HAL |
WOS | PresseRIS | Arbitrary | JSON
| ZIP
data FileType = CSV | CSV_HAL |
JSON | PresseRIS | WOS | WOS_ZIP | Arbitrary
| ZIP
derive instance Generic FileType _
derive instance Generic FileType _
instance Eq FileType where eq = genericEq
instance Eq FileType where eq = genericEq
...
@@ -23,9 +23,10 @@ instance Read FileType where
...
@@ -23,9 +23,10 @@ instance Read FileType where
read "Arbitrary" = Just Arbitrary
read "Arbitrary" = Just Arbitrary
read "CSV" = Just CSV
read "CSV" = Just CSV
read "CSV_HAL" = Just CSV_HAL
read "CSV_HAL" = Just CSV_HAL
read "JSON" = Just JSON
read "PresseRIS" = Just PresseRIS
read "PresseRIS" = Just PresseRIS
read "WOS" = Just WOS
read "WOS" = Just WOS
read "
JSON" = Just JSON
read "
WOS_ZIP" = Just WOS_ZIP
read "ZIP" = Just ZIP
read "ZIP" = Just ZIP
read _ = Nothing
read _ = Nothing
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment