Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe Haskell	Safe-Infered

Top.Implementation.TypeGraph.Standard

Description

Documentation

data StandardTypeGraph info Source

Constructors

STG
Fields referenceMap :: Map VertexId Int equivalenceGroupMap :: Map Int (EquivalenceGroup info) equivalenceGroupCounter :: Int possibleErrors :: [VertexId] constraintNumber :: Int

Instances

Show (StandardTypeGraph info)
Show info => Empty (StandardTypeGraph info)
TypeGraph (StandardTypeGraph info) info

combineClasses :: [VertexId] -> StandardTypeGraph info -> StandardTypeGraph infoSource

propagateEquality :: VertexId -> StandardTypeGraph info -> StandardTypeGraph infoSource

addClique :: Clique -> StandardTypeGraph info -> StandardTypeGraph infoSource

propagateRemoval :: VertexId -> StandardTypeGraph info -> StandardTypeGraph infoSource

splitClass :: VertexId -> StandardTypeGraph info -> ([VertexId], StandardTypeGraph info)Source

deleteClique :: Clique -> StandardTypeGraph info -> StandardTypeGraph infoSource

createGroup :: EquivalenceGroup info -> StandardTypeGraph info -> StandardTypeGraph infoSource

removeGroup :: EquivalenceGroup info -> StandardTypeGraph info -> StandardTypeGraph infoSource

updateGroupOf :: VertexId -> (EquivalenceGroup info -> EquivalenceGroup info) -> StandardTypeGraph info -> StandardTypeGraph infoSource

maybeGetGroupOf :: VertexId -> StandardTypeGraph info -> Maybe (EquivalenceGroup info)Source

getGroupOf :: VertexId -> StandardTypeGraph info -> EquivalenceGroup infoSource

getAllGroups :: StandardTypeGraph info -> [EquivalenceGroup info]Source

vertexExists :: VertexId -> StandardTypeGraph info -> Bool Source

getPossibleInconsistentGroups :: StandardTypeGraph info -> [VertexId]Source

setPossibleInconsistentGroups :: [VertexId] -> StandardTypeGraph info -> StandardTypeGraph infoSource

addPossibleInconsistentGroup :: VertexId -> StandardTypeGraph info -> StandardTypeGraph infoSource