Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
G
gargantext-ihaskell
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
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
gargantext-ihaskell
Commits
6ef94c16
Commit
6ef94c16
authored
Oct 16, 2015
by
artuuge
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
ihaskell-widgets and singletons >= 2.0
parent
8177b775
Changes
6
Hide whitespace changes
Inline
Side-by-side
Showing
6 changed files
with
36 additions
and
16 deletions
+36
-16
Setup.hs
ghc-parser/Setup.hs
+1
-1
Image Widget.ipynb
...kell-display/ihaskell-widgets/Examples/Image Widget.ipynb
+1
-1
String Widgets.ipynb
...ll-display/ihaskell-widgets/Examples/String Widgets.ipynb
+1
-0
ihaskell-widgets.cabal
ihaskell-display/ihaskell-widgets/ihaskell-widgets.cabal
+29
-14
Singletons.hs
...askell-widgets/src/IHaskell/Display/Widgets/Singletons.hs
+3
-0
ubuntu-install.sh
ubuntu-install.sh
+1
-0
No files found.
ghc-parser/Setup.hs
View file @
6ef94c16
import
Distribution.Simple
import
System.
Cmd
import
System.
Process
main
=
defaultMainWithHooks
simpleUserHooks
{
preConf
=
\
args
confFlags
->
do
...
...
ihaskell-display/ihaskell-widgets/Examples/Image Widget.ipynb
View file @
6ef94c16
...
...
@@ -68,7 +68,7 @@
"jpg <- get \"http://imgs.xkcd.com/comics/functional.png\"\n",
"\n",
"img <- mkImageWidget\n",
"setField img
S
B64Value (encode64 jpg)\n",
"setField img B64Value (encode64 jpg)\n",
"img"
]
},
...
...
ihaskell-display/ihaskell-widgets/Examples/String Widgets.ipynb
View file @
6ef94c16
...
...
@@ -28,6 +28,7 @@
"outputs": [],
"source": [
"{-# LANGUAGE OverloadedStrings #-}\n",
"{-# LANGUAGE FlexibleContexts #-}\n",
"import IHaskell.Display.Widgets"
]
},
...
...
ihaskell-display/ihaskell-widgets/ihaskell-widgets.cabal
View file @
6ef94c16
...
...
@@ -95,20 +95,35 @@ library
-- other-extensions:
-- Other library packages from which modules are imported.
build-depends: aeson >=0.7 && < 0.11
, base >=4.7 && <4.9
, containers >= 0.5
, ipython-kernel >= 0.6.1.2
, text >= 0.11
, unordered-containers -any
, nats -any
, vinyl >= 0.5
, vector -any
, singletons >= 0.9.0 && <2.0
, scientific -any
, unix -any
, ihaskell >= 0.6.4.1
-- singletons 2.* require ghc 7.10.2
if impl(ghc >= 7.10.2)
build-depends: aeson >=0.7 && < 0.11
, base >=4.7 && <4.9
, containers >= 0.5
, ipython-kernel >= 0.6.1.2
, text >= 0.11
, unordered-containers -any
, nats -any
, vinyl >= 0.5
, vector -any
, singletons >= 0.9.0
, scientific -any
, unix -any
, ihaskell >= 0.6.4.1
else
build-depends: aeson >=0.7 && < 0.11
, base >=4.7 && <4.9
, containers >= 0.5
, ipython-kernel >= 0.6.1.2
, text >= 0.11
, unordered-containers -any
, nats -any
, vinyl >= 0.5
, vector -any
, singletons >= 0.9.0 && <2.0
, scientific -any
, unix -any
, ihaskell >= 0.6.4.1
-- Directories containing source files.
hs-source-dirs: src
...
...
ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Singletons.hs
View file @
6ef94c16
...
...
@@ -5,10 +5,13 @@
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE InstanceSigs #-}
module
IHaskell.Display.Widgets.Singletons
where
import
Data.Singletons.TH
import
Data.Singletons.Prelude.Ord
-- Widget properties
singletons
...
...
ubuntu-install.sh
View file @
6ef94c16
...
...
@@ -11,6 +11,7 @@ cabal update
cabal
install
happy alex
cabal
install
cpphs
cabal
install
gtk2hs-buildtools
cabal
install
HTTP
# Build ihaskell, and all the display packages
./build.sh all
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