Language.Prolog.GraphViz

Documentation

htmlStr :: String -> TextItem

resolveTree :: Program -> [Goal] -> IO ()

resolveTreeToFile :: FilePath -> Program -> [Goal] -> IO FilePath

preview :: Gr NodeLabel EdgeLabel -> IO ()

toDot :: [Attribute] -> Gr NodeLabel EdgeLabel -> DotGraph Int

type Graph = Gr NodeLabel EdgeLabel

type NodeLabel = ((ProtoBranch, Branch), [Branch], CutFlag)

type EdgeLabel = (ProtoBranch, Branch)

type Branch = (Path, [(VariableName, Term)], [Term])

type Path = [Integer]

type ProtoBranch = Branch

data Gr a b

Constructors

Gr [(Int, a)] [(Int, Int, b)]

Instances

Monad m => MonadState Graph (GraphGenT m)

Defined in GraphViz

Methods

get :: GraphGenT m Graph

put :: Graph -> GraphGenT m ()

state :: (Graph -> (a, Graph)) -> GraphGenT m a

(Show a, Show b) => Show (Gr a b)

Defined in GraphViz

Methods

showsPrec :: Int -> Gr a b -> ShowS

show :: Gr a b -> String

showList :: [Gr a b] -> ShowS

empty :: Gr a b

insEdge :: (Int, Int, b) -> Gr a b -> Gr a b

insNode :: (Int, a) -> Gr a b -> Gr a b

gelem :: Int -> Gr b1 b2 -> Bool

relabelNode :: (a -> a) -> Int -> Gr a b -> Gr a b

labNodes :: Gr a b -> [(Int, a)]

labEdges :: Gr a b -> [(Int, Int, b)]

newtype GraphGenT m a

Constructors

GraphGenT (StateT Graph m a)

Instances

MonadTrans GraphGenT

Defined in GraphViz

Methods

lift :: Monad m => m a -> GraphGenT m a

Monad m => MonadState Graph (GraphGenT m)

Defined in GraphViz

Methods

get :: GraphGenT m Graph

put :: Graph -> GraphGenT m ()

state :: (Graph -> (a, Graph)) -> GraphGenT m a

MonadError e m => MonadError e (GraphGenT m)

Defined in GraphViz

Methods

throwError :: e -> GraphGenT m a

catchError :: GraphGenT m a -> (e -> GraphGenT m a) -> GraphGenT m a

Monad m => Monad (GraphGenT m)

Defined in GraphViz

Methods

(>>=) :: GraphGenT m a -> (a -> GraphGenT m b) -> GraphGenT m b

(>>) :: GraphGenT m a -> GraphGenT m b -> GraphGenT m b

return :: a -> GraphGenT m a

fail :: String -> GraphGenT m a

Functor m => Functor (GraphGenT m)

Defined in GraphViz

Methods

fmap :: (a -> b) -> GraphGenT m a -> GraphGenT m b

(<$) :: a -> GraphGenT m b -> GraphGenT m a

MonadFix m => MonadFix (GraphGenT m)

Defined in GraphViz

Methods

mfix :: (a -> GraphGenT m a) -> GraphGenT m a

Monad m => Applicative (GraphGenT m)

Defined in GraphViz

Methods

pure :: a -> GraphGenT m a

(<*>) :: GraphGenT m (a -> b) -> GraphGenT m a -> GraphGenT m b

liftA2 :: (a -> b -> c) -> GraphGenT m a -> GraphGenT m b -> GraphGenT m c

(*>) :: GraphGenT m a -> GraphGenT m b -> GraphGenT m b

(<*) :: GraphGenT m a -> GraphGenT m b -> GraphGenT m a

MonadPlus m => Alternative (GraphGenT m)

Defined in GraphViz

Methods

empty :: GraphGenT m a

(<|>) :: GraphGenT m a -> GraphGenT m a -> GraphGenT m a

some :: GraphGenT m a -> GraphGenT m [a]

many :: GraphGenT m a -> GraphGenT m [a]

MonadPlus m => MonadPlus (GraphGenT m)

Defined in GraphViz

Methods

mzero :: GraphGenT m a

mplus :: GraphGenT m a -> GraphGenT m a -> GraphGenT m a

Monad m => MonadGraphGen (GraphGenT m)

Defined in GraphViz

Methods

createConnections :: Branch -> [Branch] -> [Branch] -> GraphGenT m ()

markSolution :: Unifier -> GraphGenT m ()

markCutBranches :: Stack -> GraphGenT m ()

runGraphGenT :: GraphGenT m a -> m (a, Graph)

execGraphGenT :: Monad m => GraphGenT m a -> m Graph

data CutFlag

Constructors

WasNotCut

WasCut

Instances

Monad m => MonadState Graph (GraphGenT m)

Defined in GraphViz

Methods

get :: GraphGenT m Graph

put :: Graph -> GraphGenT m ()

state :: (Graph -> (a, Graph)) -> GraphGenT m a

formatNode :: NodeLabel -> [Attribute]

formatEdge :: EdgeLabel -> [Attribute]

simplify :: [Substitution] -> Unifier

htmlGoals :: [Term] -> TextItem

htmlUnifier :: (Show a1, Show a2) => [(a1, a2)] -> [TextItem]

modifyLabel :: MonadState (Gr a b) m => Int -> (a -> a) -> m ()

colorize :: X11Color -> Text -> [TextItem]

hash :: Path -> Int

filterOriginal :: [(VariableName, b)] -> [(VariableName, b)]

hashString :: [Char] -> Integer