Module Graph

Meta-data

Contents

data Graph (a : Type) where
    EmptyG  : Graph a
  ; Vertex  : a -> Graph a
  ; Overlay : (Graph a) -> (Graph a) -> Graph a
  ; Connect : (Graph a) -> (Graph a) -> Graph a

vertices : forall {a : Type} 
         . (List a) -> Graph a

edge : forall {a : Type} 
     . a -> a -> Graph a

mapG : forall {a : Type, b : Type} 
     . ((a -> b) [0..∞]) -> (Graph a) -> Graph b

foldG : forall {a : Type, b : Type} 
      . (b [0..∞]) -> ((a -> b) [0..∞]) -> ((b -> b -> b) [0..∞]) -> ((b -> b -> b) [0..∞]) -> (Graph a) -> b

isEmpty : forall {a : Type} 
        . (Graph (a [0])) -> Bool

hasVertex : (Int [0..∞]) -> (Graph Int) -> Bool

toList : forall {a : Type} 
       . (Graph a) -> List a

transpose : forall {a : Type} 
          . (Graph a) -> Graph a

add : Int -> Int -> Int

size : forall {a : Type} 
     . (Graph (a [0])) -> Int
Count number of leaves of the graph expression
vertexcount : forall {a : Type} 
            . (Graph (a [0])) -> Int