Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

📚 The CoCalc Library - books, templates and other resources

132930 views
License: OTHER
Tweet
Share
Share
1
\begin{tikzpicture}

2
    \tikzstyle{node}=[ellipse,thick,fill=white,draw=black,inner sep=0pt,text width=3cm,align=center]

3
    \tikzstyle{edge}=[->, ultra thick]

4
    \matrix[row sep=0.5cm,column sep=0.5cm] {

5
    \node[node] (Eq)         {\textbf{Eq}\\All except IO, (->)};   &

6
    \node[node] (Show)       {\textbf{Show}\\All except IO, (->)}; &

7
    \node[node] (Read)       {\textbf{Read}\\All except IO, (->)}; \\

8
    \node[node] (Ord)        {\textbf{Ord}\\All except IO, (->), IOError};   &

9
    \node[node] (Num)        {\textbf{Num}\\Int, Integer, Float, Double}; &

10
    \node[node] (Bounded)    {\textbf{Bounded}\\Int, Char, Bool, (), Ordering, tuples}; \\

11
    \node[node] (Enum)       {\textbf{Enum}\\{\small (), Bool, Char, Ordering, Int, Integer, Float, Double}};   &

12
    \node[node] (Real)       {\textbf{Real}\\Int, Integer, Float, Double}; &

13
    \node[node] (Fractional) {\textbf{Fractional}\\Float, Double}; \\

14
    \node[node] (Integral)   {\textbf{Integral}\\Int, Integer};   &

15
    \node[node] (RealFrac)   {\textbf{RealFrac}\\Float, Double}; &

16
    \node[node] (Floating)   {\textbf{Floating}\\Float, Double}; \\

17
    \node[node] (Monad)      {\textbf{Monad}\\IO, (), Maybe};   &

18
    \node[node] (RealFloat)  {\textbf{RealFloat}\\Float, Double}; &

19
     \\

20
    \node[node] (MonadPlus)  {\textbf{MonadPlus}\\IO, (), Maybe};   &

21
    \node[node] (Functor)    {\textbf{Functor}\\IO, (), Maybe}; &

22
     \\

23
    };

24
    \draw[edge] (Eq) -- (Ord);

25
    \draw[edge] (Eq) -- (Num);

26
    \draw[edge] (Show) -- (Num);

27
    \draw[edge] (Ord) -- (Real);

28
    \draw[edge] (Num) -- (Real);

29
    \draw[edge] (Num) -- (Fractional);

30
    \draw[edge] (Enum) -- (Integral);

31
    \draw[edge] (Real) -- (Integral);

32
    \draw[edge] (Real) -- (RealFrac);

33
    \draw[edge] (Floating) -- (RealFloat);

34
    \draw[edge] (RealFrac) -- (RealFloat);

35
    \draw[edge] (Monad) -- (MonadPlus);

36
\end{tikzpicture}

37


38