Maintainer  Ivan.Miljenovic@gmail.com 

Safe Haskell  SafeInfered 
This is the root module of the Graphalyze library, which aims to provide a way of analysing the relationships inherent in discrete data as a graph.
The original version of this library was written as part of my mathematics honours thesis, GraphTheoretic Analysis of the Relationships in Discrete Data.
 version :: String
 module Data.Graph.Analysis.Types
 module Data.Graph.Analysis.Utils
 module Data.Graph.Analysis.Algorithms
 module Data.Graph.Analysis.Visualisation
 module Data.Graph.Analysis.Reporting
 module Data.Graph.Inductive.Graph
 data ImportParams n e = ImpParams {
 dataPoints :: [n]
 relationships :: [Rel n e]
 roots :: [n]
 directed :: Bool
 importData :: (Ord n, Ord e) => ImportParams n e > GraphData n e
 lengthAnalysis :: [[a]] > (Int, Int, [(Int, [a])])
 classifyRoots :: GraphData n e > (Set Node, Set Node, Set Node)
 inaccessibleNodes :: GraphData n e > Set Node
 interiorChains :: (Eq n, Eq e) => GraphData n e > [LNGroup n]
 collapseAndUpdate :: Ord n => [AGr n e > [(NGroup, n)]] > GraphData n e > GraphData n e
 collapseAndUpdate' :: Ord n => [AGr n e > [(NGroup, n)]] > GraphData n e > (GraphData n e, Map n n)
 levelGraphFromRoot :: Ord n => GraphData n e > GraphData (GenCluster n) e
Documentation
Reexporting other modules
module Data.Graph.Analysis.Types
module Data.Graph.Analysis.Utils
module Data.Graph.Inductive.Graph
Importing data
data ImportParams n e Source
This represents the information that's being passed in that we want to analyse. If the graph is undirected, it is better to list each edge once rather than both directions.
ImpParams  

importData :: (Ord n, Ord e) => ImportParams n e > GraphData n eSource
Import data into a format suitable for analysis. This function is
edgesafe: if any datums are listed in the edges of
ImportParams
that aren't listed in the data points, then those
edges are ignored. Thus, no sanitation of the relationships
in
ImportParams
is necessary. The unused relations are stored in
unusedRelationships
. Note that it is assumed that all datums in
roots
are also contained within dataPoints
.
Result analysis
Extra functions for data analysis.
lengthAnalysis :: [[a]] > (Int, Int, [(Int, [a])])Source
Returns the mean and standard deviations of the lengths of the sublists, as well all those lists more than one standard deviation longer than the mean.
classifyRoots :: GraphData n e > (Set Node, Set Node, Set Node)Source
Compare the actual roots in the graph with those that are expected
(i.e. those in wantedRootNodes
). Returns (in order):
 Those roots that are expected (i.e. elements of
wantedRootNodes
that are roots).  Those roots that are expected but not present (i.e. elements of
wantedRootNodes
that aren't roots.  Unexpected roots (i.e. those roots that aren't present in
wantedRootNodes
).
inaccessibleNodes :: GraphData n e > Set NodeSource
Find the nodes that are not reachable from the expected roots
(i.e. those in wantedRootNodes
).
interiorChains :: (Eq n, Eq e) => GraphData n e > [LNGroup n]Source
Only return those chains (see chainsIn
) where the noninitial
nodes are not expected roots.
collapseAndUpdate :: Ord n => [AGr n e > [(NGroup, n)]] > GraphData n e > GraphData n eSource
As with collapseAndReplace
, but also update the
wantedRootNodes
to contain the possibly compressed nodes.
Since the datums they refer to may no longer exist (as they are
compressed), unusedRelationships
is set to []
.
collapseAndUpdate' :: Ord n => [AGr n e > [(NGroup, n)]] > GraphData n e > (GraphData n e, Map n n)Source
As with collapseAndUpdate
, but also includes a lookup Map
from the old label to the new.
levelGraphFromRoot :: Ord n => GraphData n e > GraphData (GenCluster n) eSource
As with levelGraph
, but use the expected roots rather than the
actual roots.