Documentation

convertToInductiveGraph :: (Monad m, Ord a, Graph gr, GraphMonoid mon Bool) => InGraphM mon a m (gr a a) Source #

fromInductiveGraph :: (Ord a, Graph gr) => gr a a -> Graph Three a Source #

fromUnlabeledGraph :: Graph gr => gr () Int -> Graph Three Int Source #