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

Safe HaskellSafe-Infered

Top.Implementation.TypeGraph.Class

Description

 

Documentation

class TypeGraph graph info | graph -> info whereSource

Methods

addTermGraph :: OrderedTypeSynonyms -> Int -> Tp -> graph -> (Int, VertexId, graph)Source

addVertex :: VertexId -> VertexInfo -> graph -> graphSource

addEdge :: EdgeId -> info -> graph -> graphSource

addNewEdge :: (VertexId, VertexId) -> info -> graph -> graphSource

deleteEdge :: EdgeId -> graph -> graphSource

verticesInGroupOf :: VertexId -> graph -> [(VertexId, VertexInfo)]Source

childrenInGroupOf :: VertexId -> graph -> ([ParentChild], [ParentChild])Source

constantsInGroupOf :: VertexId -> graph -> [String]Source

representativeInGroupOf :: VertexId -> graph -> VertexIdSource

edgesFrom :: VertexId -> graph -> [(EdgeId, info)]Source

allPaths :: VertexId -> VertexId -> graph -> TypeGraphPath infoSource

allPathsList :: VertexId -> [VertexId] -> graph -> TypeGraphPath infoSource

allPathsListWithout :: Set VertexId -> VertexId -> [VertexId] -> graph -> TypeGraphPath infoSource

substituteVariable :: OrderedTypeSynonyms -> Int -> graph -> TpSource

substituteType :: OrderedTypeSynonyms -> Tp -> graph -> TpSource

substituteTypeSafe :: OrderedTypeSynonyms -> Tp -> graph -> Maybe TpSource

makeSubstitution :: OrderedTypeSynonyms -> graph -> [(VertexId, Tp)]Source

typeFromTermGraph :: VertexId -> graph -> TpSource

markAsPossibleError :: VertexId -> graph -> graphSource

getMarkedPossibleErrors :: graph -> [VertexId]Source

unmarkPossibleErrors :: graph -> graphSource

Instances