Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Fixpoint.Graph.Indexed

Contents

Description

This module implements Indexed KV Graphs, a representation of the KVGraph with a fast succ, pred lookup

Synopsis

(Abstract) Indexed Graphs

IKVGraph is representation of the KVGraph with a fast succ, pred lookup

Constructors

IKVGraph
Fields igSucc :: !(HashMap CVertex (HashSet CVertex)) out-edges of a `CVertex` igPred :: !(HashMap CVertex (HashSet CVertex)) in-edges of a `CVertex`

Instances details

Show IKVGraph Source #
Instance details Defined in Language.Fixpoint.Graph.Indexed Methods showsPrec :: Int -> IKVGraph -> ShowS # show :: IKVGraph -> String # showList :: [IKVGraph] -> ShowS #

Constructor