Hydra.Langs.Tinkerpop.Validate

Utilities for validating property graphs against property graph schemas

Documentation

validateEdge :: (t -> v -> Maybe String) -> (v -> String) -> Maybe (v -> Maybe VertexLabel) -> EdgeType t -> Edge v -> Maybe String

validateElement :: (t -> v -> Maybe String) -> (v -> String) -> Maybe (v -> Maybe VertexLabel) -> ElementType t -> Element v -> Maybe String

validateGraph :: Ord v => (t -> v -> Maybe String) -> (v -> String) -> GraphSchema t -> Graph v -> Maybe String

validateProperties :: (t -> v -> Maybe String) -> [PropertyType t] -> Map PropertyKey v -> Maybe String

validateVertex :: (t -> v -> Maybe String) -> (v -> String) -> VertexType t -> Vertex v -> Maybe String

checkAll :: [Maybe a] -> Maybe a

edgeError :: (v -> String) -> Edge v -> String -> String

edgeLabelMismatch :: EdgeLabel -> EdgeLabel -> String

prepend :: String -> String -> String

verify :: Bool -> String -> Maybe String

vertexError :: (v -> String) -> Vertex v -> String -> String

vertexLabelMismatch :: VertexLabel -> VertexLabel -> String