Hydra.Sources.Tier4.Ext.Pg.Validation

Documentation

validationDefinition :: String -> TTerm a -> TElement a

pgValidationModule :: Module

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

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

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

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

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

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

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

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

prependDef :: TElement (String -> String -> String)

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

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

vertexLabelMismatchDef :: TElement (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