Data.Graph.AdjacencyMatrix

Documentation

newtype AdjacencyMatrix arr i a

Constructors

AdjacencyMatrix

Fields

runAdjacencyMatrix :: arr (i, i) Bool -> a

Instances

Monad (AdjacencyMatrix arr i)

Functor (AdjacencyMatrix arr i)

Functor (AdjacencyMatrix arr i) => Applicative (AdjacencyMatrix arr i)

(Monad (AdjacencyMatrix arr i), Eq (Vertex (AdjacencyMatrix arr i)), Eq (Edge (AdjacencyMatrix arr i)), Ord i) => Graph (AdjacencyMatrix arr i)

(Graph (AdjacencyMatrix arr i), IArray arr Bool, Ix i) => AdjacencyMatrixGraph (AdjacencyMatrix arr i)

ask :: AdjacencyMatrix arr i (arr (i, i) Bool)