mirror of
https://github.com/sdiehl/wiwinwlh.git
synced 2024-08-17 07:50:22 +03:00
Write more
This commit is contained in:
parent
d411ec69c8
commit
ce5b516346
2
img/.gitignore
vendored
Normal file
2
img/.gitignore
vendored
Normal file
@ -0,0 +1,2 @@
|
|||||||
|
*.eps
|
||||||
|
*.ps
|
10
img/Makefile
Normal file
10
img/Makefile
Normal file
@ -0,0 +1,10 @@
|
|||||||
|
SRC=$(wildcard *.dot)
|
||||||
|
OUT=$(SRC:.dot=.png)
|
||||||
|
|
||||||
|
%.png : %.dot
|
||||||
|
dot -Tpng -Gdpi=300 $< -o $@
|
||||||
|
|
||||||
|
all: $(OUT)
|
||||||
|
|
||||||
|
clean:
|
||||||
|
rm -f $(OUT)
|
BIN
img/errors.png
BIN
img/errors.png
Binary file not shown.
Before Width: | Height: | Size: 4.8 KiB |
BIN
img/fork.png
BIN
img/fork.png
Binary file not shown.
Before Width: | Height: | Size: 6.7 KiB |
BIN
img/hm.png
BIN
img/hm.png
Binary file not shown.
Before Width: | Height: | Size: 9.1 KiB |
BIN
img/matrix.png
BIN
img/matrix.png
Binary file not shown.
Before Width: | Height: | Size: 28 KiB |
16
tutorial.md
16
tutorial.md
@ -4858,9 +4858,7 @@ associated with their methods.
|
|||||||
* `Foldable`
|
* `Foldable`
|
||||||
* `Traversable`
|
* `Traversable`
|
||||||
|
|
||||||
<div class="center">
|
![](img/class.png){ width=250px }
|
||||||
![](img/class.png)
|
|
||||||
</div>
|
|
||||||
|
|
||||||
Instance Search
|
Instance Search
|
||||||
---------------
|
---------------
|
||||||
@ -9741,7 +9739,9 @@ class Fractional a => Floating a
|
|||||||
class (RealFrac a, Floating a) => RealFloat a
|
class (RealFrac a, Floating a) => RealFloat a
|
||||||
```
|
```
|
||||||
|
|
||||||
![](img/numerics.png)
|
<center>
|
||||||
|
![](img/numerics.png){ width=250px }
|
||||||
|
</center>
|
||||||
|
|
||||||
Conversions between concrete numeric types ( from : left column, to : top row )
|
Conversions between concrete numeric types ( from : left column, to : top row )
|
||||||
is accomplished with several generic functions.
|
is accomplished with several generic functions.
|
||||||
@ -10198,7 +10198,7 @@ definition graph.
|
|||||||
|
|
||||||
So for example we can construct a simple graph:
|
So for example we can construct a simple graph:
|
||||||
|
|
||||||
![](img/graph1.png)
|
![](img/graph1.png){ width=100px }
|
||||||
|
|
||||||
```haskell
|
```haskell
|
||||||
ex1 :: [(String, String, [String])]
|
ex1 :: [(String, String, [String])]
|
||||||
@ -10220,7 +10220,7 @@ sc1 = scc' (fromList ex1)
|
|||||||
|
|
||||||
Or with two strongly connected subgraphs:
|
Or with two strongly connected subgraphs:
|
||||||
|
|
||||||
![](img/graph2.png)
|
![](img/graph2.png){ width=250px }
|
||||||
|
|
||||||
```haskell
|
```haskell
|
||||||
ex2 :: [(String, String, [String])]
|
ex2 :: [(String, String, [String])]
|
||||||
@ -10281,7 +10281,7 @@ x = G.insEdges edges gr
|
|||||||
nodes = zip [0,1 ..] [2,3,4,1]
|
nodes = zip [0,1 ..] [2,3,4,1]
|
||||||
```
|
```
|
||||||
|
|
||||||
![](img/graphviz.png)
|
![](img/graphviz.png){ width=100px }
|
||||||
|
|
||||||
DList
|
DList
|
||||||
-----
|
-----
|
||||||
@ -10732,7 +10732,7 @@ fork :: Par () -> Par ()
|
|||||||
spawn :: NFData a => Par a -> Par (IVar a)
|
spawn :: NFData a => Par a -> Par (IVar a)
|
||||||
```
|
```
|
||||||
|
|
||||||
![](img/par.png)
|
![](img/par.png){ width=250px }
|
||||||
|
|
||||||
~~~~ {.haskell include="src/22-concurrency/par.hs"}
|
~~~~ {.haskell include="src/22-concurrency/par.hs"}
|
||||||
~~~~
|
~~~~
|
||||||
|
Loading…
Reference in New Issue
Block a user