Hydra.Sources.Tier4.Langs.Tinkerpop.Validate

Documentation

validateDefinition :: String -> Datum a -> Definition a

tinkerpopValidateModule :: Module

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

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

validateGraphDef :: Definition ((t -> v -> Maybe String) -> (v -> String) -> GraphSchema t -> Graph v -> Maybe String)

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

validateVertexDef :: Definition ((t -> v -> Maybe String) -> (v -> String) -> VertexType t -> Vertex v -> Maybe String)

checkAllDef :: Definition ([Maybe a] -> Maybe a)

edgeErrorDef :: Definition ((v -> String) -> Edge v -> String -> String)

edgeLabelMismatchDef :: Definition (EdgeLabel -> EdgeLabel -> String)

prependDef :: Definition (String -> String -> String)

verifyDef :: Definition (Bool -> String -> Maybe String)

vertexErrorDef :: Definition ((v -> String) -> Vertex v -> String -> String)

vertexLabelMismatchDef :: Definition (VertexLabel -> VertexLabel -> String)

ordV :: Map Name (Set TypeClass)

edgeLabelT :: Type

edgeTypeTT :: Type

edgeVT :: Type

elementTypeTT :: Type

elementVT :: Type

graphSchemaTT :: Type

graphVT :: Type

propertyKeyT :: Type

propertyTypeTT :: Type

vertexLabelT :: Type

vertexTypeTT :: Type

vertexVT :: Type

tT :: Type

vT :: Type