Language.Fixpoint.Graph.Types

Graphs

data CVertex

type CEdge

isRealEdge

data KVGraph

Components

type Comps a

type KVComps

Printing

writeGraph

writeEdges

Constraints

type SubcId

type KVRead

type DepEdge

Slice of relevant constraints

data Slice

Constraint Dependency Graphs

data CGraph

Alias for Constraint Maps

type CMap a

lookupCMap

Ranks

data Rank

Constraint Dependencies

data CDeps

Solver Info

data SolverInfo a b