libgraph 1.9 → 1.10

raw patch · 4 files changed

+13/−4 lines, 4 filesdep ~base

Dependency ranges changed: base

Files

Data/Graph/Libgraph.hs +1/−0
Data/Graph/Libgraph/AlgoDebug.hs +5/−1
Data/Graph/Libgraph/Core.hs +6/−2
libgraph.cabal +1/−1

Data/Graph/Libgraph.hs view

@@ -26,6 +26,7 @@ , findFaulty_dag , next_step , Judgement(..)+, AssistedMessage(..) , showWith , escape , display

Data/Graph/Libgraph/AlgoDebug.hs view

@@ -1,11 +1,15 @@+{-# LANGUAGE DeriveGeneric #-} module Data.Graph.Libgraph.AlgoDebug where import Data.Graph.Libgraph.Core import Data.Graph.Libgraph.Dagify(collapse,remove) import Prelude hiding (Right) import Data.List(find) import Data.Maybe(isJust)+import GHC.Generics -data Judgement = Right | Wrong | Unassessed | Assisted String deriving (Eq,Show,Ord)+data AssistedMessage = InconclusiveProperty String | PassingProperty String deriving (Eq,Show,Ord,Generic)++data Judgement = Right | Wrong | Unassessed | Assisted [AssistedMessage] deriving (Eq,Show,Ord,Generic)  findFaulty_dag :: (Ord v, Eq a, Show v) => (v -> Judgement) -> Graph v a -> [v] findFaulty_dag judge g = filter isFaulty (vertices g)

Data/Graph/Libgraph/Core.hs view

@@ -1,15 +1,19 @@+-- Copyright (c) Maarten Faddegon, 2015-2016+{-# LANGUAGE DeriveGeneric #-}+ module Data.Graph.Libgraph.Core where import Data.Maybe import Data.List import Data.Map.Strict(Map) import qualified Data.Map.Strict as Map+import GHC.Generics  -------------------------------------------------------------------------------- -- External representation of graphs  data Arc vertex arc    = Arc { source :: vertex, target :: vertex, arc :: arc}-    deriving (Eq, Show)+    deriving (Eq, Show, Generic)  data SimpleArc vertex   = SimpleArc { source' :: vertex, target' :: vertex }@@ -19,7 +23,7 @@   = Graph { root     :: vertex           , vertices :: [vertex]           , arcs     :: [Arc vertex arc]-          }+          } deriving Generic  data SimpleGraph vertex   = SimpleGraph { root'     :: vertex

libgraph.cabal view

@@ -1,5 +1,5 @@ Name:           libgraph
-Version:        1.9
+Version:        1.10
 Homepage:       http://maartenfaddegon.nl
 Synopsis:       Store and manipulate data in a graph.
 Description:    A graph type, analysis of graphs and manipulation of graphs.