Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Ext.Shacl.Model

Description

A SHACL syntax model. See https://www.w3.org/TR/shacl

Synopsis

data Closed = Closed {
- closedIsClosed :: Bool
- closedIgnoredProperties :: Maybe (Set Property)
}
_Closed :: Name
_Closed_isClosed :: FieldName
_Closed_ignoredProperties :: FieldName
data CommonConstraint
- = CommonConstraintAnd (Set (Reference Shape))
- | CommonConstraintClosed Closed
- | CommonConstraintClass (Set RdfsClass)
- | CommonConstraintDatatype Iri
- | CommonConstraintDisjoint (Set Property)
- | CommonConstraintEquals (Set Property)
- | CommonConstraintHasValue (Set Node)
- | CommonConstraintIn [Node]
- | CommonConstraintLanguageIn (Set LanguageTag)
- | CommonConstraintNodeKind NodeKind
- | CommonConstraintNode (Set (Reference NodeShape))
- | CommonConstraintNot (Set (Reference Shape))
- | CommonConstraintMaxExclusive Literal
- | CommonConstraintMaxInclusive Literal
- | CommonConstraintMaxLength Integer
- | CommonConstraintMinExclusive Literal
- | CommonConstraintMinInclusive Literal
- | CommonConstraintMinLength Integer
- | CommonConstraintPattern Pattern
- | CommonConstraintProperty (Set (Reference PropertyShape))
- | CommonConstraintOr (Set (Reference Shape))
- | CommonConstraintXone (Set (Reference Shape))
_CommonConstraint :: Name
_CommonConstraint_and :: FieldName
_CommonConstraint_closed :: FieldName
_CommonConstraint_class :: FieldName
_CommonConstraint_datatype :: FieldName
_CommonConstraint_disjoint :: FieldName
_CommonConstraint_equals :: FieldName
_CommonConstraint_hasValue :: FieldName
_CommonConstraint_in :: FieldName
_CommonConstraint_languageIn :: FieldName
_CommonConstraint_nodeKind :: FieldName
_CommonConstraint_node :: FieldName
_CommonConstraint_not :: FieldName
_CommonConstraint_maxExclusive :: FieldName
_CommonConstraint_maxInclusive :: FieldName
_CommonConstraint_maxLength :: FieldName
_CommonConstraint_minExclusive :: FieldName
_CommonConstraint_minInclusive :: FieldName
_CommonConstraint_minLength :: FieldName
_CommonConstraint_pattern :: FieldName
_CommonConstraint_property :: FieldName
_CommonConstraint_or :: FieldName
_CommonConstraint_xone :: FieldName
data CommonProperties = CommonProperties {
- commonPropertiesConstraints :: Set CommonConstraint
- commonPropertiesDeactivated :: Maybe Bool
- commonPropertiesMessage :: LangStrings
- commonPropertiesSeverity :: Severity
- commonPropertiesTargetClass :: Set RdfsClass
- commonPropertiesTargetNode :: Set IriOrLiteral
- commonPropertiesTargetObjectsOf :: Set Property
- commonPropertiesTargetSubjectsOf :: Set Property
}
_CommonProperties :: Name
_CommonProperties_constraints :: FieldName
_CommonProperties_deactivated :: FieldName
_CommonProperties_message :: FieldName
_CommonProperties_severity :: FieldName
_CommonProperties_targetClass :: FieldName
_CommonProperties_targetNode :: FieldName
_CommonProperties_targetObjectsOf :: FieldName
_CommonProperties_targetSubjectsOf :: FieldName
data Definition a = Definition {
- definitionIri :: Iri
- definitionTarget :: a
}
_Definition :: Name
_Definition_iri :: FieldName
_Definition_target :: FieldName
data NodeKind
- = NodeKindBlankNode
- | NodeKindIri
- | NodeKindLiteral
- | NodeKindBlankNodeOrIri
- | NodeKindBlankNodeOrLiteral
- | NodeKindIriOrLiteral
_NodeKind :: Name
_NodeKind_blankNode :: FieldName
_NodeKind_iri :: FieldName
_NodeKind_literal :: FieldName
_NodeKind_blankNodeOrIri :: FieldName
_NodeKind_blankNodeOrLiteral :: FieldName
_NodeKind_iriOrLiteral :: FieldName
data NodeShape = NodeShape {
- nodeShapeCommon :: CommonProperties
}
_NodeShape :: Name
_NodeShape_common :: FieldName
data Pattern = Pattern {
- patternRegex :: String
- patternFlags :: Maybe String
}
_Pattern :: Name
_Pattern_regex :: FieldName
_Pattern_flags :: FieldName
data PropertyShape = PropertyShape {
- propertyShapeCommon :: CommonProperties
- propertyShapeConstraints :: Set PropertyShapeConstraint
- propertyShapeDefaultValue :: Maybe Node
- propertyShapeDescription :: LangStrings
- propertyShapeName :: LangStrings
- propertyShapeOrder :: Maybe Integer
- propertyShapePath :: Iri
}
_PropertyShape :: Name
_PropertyShape_common :: FieldName
_PropertyShape_constraints :: FieldName
_PropertyShape_defaultValue :: FieldName
_PropertyShape_description :: FieldName
_PropertyShape_name :: FieldName
_PropertyShape_order :: FieldName
_PropertyShape_path :: FieldName
data PropertyShapeConstraint
- = PropertyShapeConstraintLessThan (Set Property)
- | PropertyShapeConstraintLessThanOrEquals (Set Property)
- | PropertyShapeConstraintMaxCount Integer
- | PropertyShapeConstraintMinCount Integer
- | PropertyShapeConstraintUniqueLang Bool
- | PropertyShapeConstraintQualifiedValueShape QualifiedValueShape
_PropertyShapeConstraint :: Name
_PropertyShapeConstraint_lessThan :: FieldName
_PropertyShapeConstraint_lessThanOrEquals :: FieldName
_PropertyShapeConstraint_maxCount :: FieldName
_PropertyShapeConstraint_minCount :: FieldName
_PropertyShapeConstraint_uniqueLang :: FieldName
_PropertyShapeConstraint_qualifiedValueShape :: FieldName
data QualifiedValueShape = QualifiedValueShape {
- qualifiedValueShapeQualifiedValueShape :: Reference Shape
- qualifiedValueShapeQualifiedMaxCount :: Integer
- qualifiedValueShapeQualifiedMinCount :: Integer
- qualifiedValueShapeQualifiedValueShapesDisjoint :: Maybe Bool
}
_QualifiedValueShape :: Name
_QualifiedValueShape_qualifiedValueShape :: FieldName
_QualifiedValueShape_qualifiedMaxCount :: FieldName
_QualifiedValueShape_qualifiedMinCount :: FieldName
_QualifiedValueShape_qualifiedValueShapesDisjoint :: FieldName
data Reference a
- = ReferenceNamed Iri
- | ReferenceAnonymous a
- | ReferenceDefinition (Definition a)
_Reference :: Name
_Reference_named :: FieldName
_Reference_anonymous :: FieldName
_Reference_definition :: FieldName
data Severity
- = SeverityInfo
- | SeverityWarning
- | SeverityViolation
_Severity :: Name
_Severity_info :: FieldName
_Severity_warning :: FieldName
_Severity_violation :: FieldName
data Shape
- = ShapeNode NodeShape
- | ShapeProperty PropertyShape
_Shape :: Name
_Shape_node :: FieldName
_Shape_property :: FieldName
newtype ShapesGraph = ShapesGraph {
- unShapesGraph :: Set (Definition Shape)
}
_ShapesGraph :: Name

Documentation

data Closed Source #

See https://www.w3.org/TR/shacl/#ClosedPatterConstraintComponent

Constructors

Closed
Fields closedIsClosed :: Bool closedIgnoredProperties :: Maybe (Set Property)

Instances

Instances details

Read Closed Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS Closed # readList :: ReadS [Closed] # readPrec :: ReadPrec Closed # readListPrec :: ReadPrec [Closed] #
Show Closed Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> Closed -> ShowS # show :: Closed -> String # showList :: [Closed] -> ShowS #
Eq Closed Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: Closed -> Closed -> Bool # (/=) :: Closed -> Closed -> Bool #
Ord Closed Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: Closed -> Closed -> Ordering # (<) :: Closed -> Closed -> Bool # (<=) :: Closed -> Closed -> Bool # (>) :: Closed -> Closed -> Bool # (>=) :: Closed -> Closed -> Bool # max :: Closed -> Closed -> Closed # min :: Closed -> Closed -> Closed #

_Closed :: Name Source #

_Closed_isClosed :: FieldName Source #

_Closed_ignoredProperties :: FieldName Source #

data CommonConstraint Source #

Any of a number of constraint parameters which can be applied either to node or property shapes

Constructors

CommonConstraintAnd (Set (Reference Shape))	See https://www.w3.org/TR/shacl/#AndConstraintComponent
CommonConstraintClosed Closed	See https://www.w3.org/TR/shacl/#ClosedConstraintComponent
CommonConstraintClass (Set RdfsClass)	See https://www.w3.org/TR/shacl/#ClassConstraintComponent
CommonConstraintDatatype Iri	See https://www.w3.org/TR/shacl/#DatatypeConstraintComponent
CommonConstraintDisjoint (Set Property)	See https://www.w3.org/TR/shacl/#DisjointConstraintComponent
CommonConstraintEquals (Set Property)	See https://www.w3.org/TR/shacl/#EqualsConstraintComponent
CommonConstraintHasValue (Set Node)	Specifies the condition that at least one value node is equal to the given RDF term. See https://www.w3.org/TR/shacl/#HasValueConstraintComponent
CommonConstraintIn [Node]	Specifies the condition that each value node is a member of a provided SHACL list. See https://www.w3.org/TR/shacl/#InConstraintComponent
CommonConstraintLanguageIn (Set LanguageTag)	See https://www.w3.org/TR/shacl/#LanguageInConstraintComponent
CommonConstraintNodeKind NodeKind	See https://www.w3.org/TR/shacl/#NodeKindConstraintComponent
CommonConstraintNode (Set (Reference NodeShape))	See https://www.w3.org/TR/shacl/#NodeConstraintComponent
CommonConstraintNot (Set (Reference Shape))	See https://www.w3.org/TR/shacl/#NotConstraintComponent
CommonConstraintMaxExclusive Literal	See https://www.w3.org/TR/shacl/#MaxExclusiveConstraintComponent
CommonConstraintMaxInclusive Literal	See https://www.w3.org/TR/shacl/#MaxInclusiveConstraintComponent
CommonConstraintMaxLength Integer	See https://www.w3.org/TR/shacl/#MaxLengthConstraintComponent
CommonConstraintMinExclusive Literal	See https://www.w3.org/TR/shacl/#MinExclusiveConstraintComponent
CommonConstraintMinInclusive Literal	See https://www.w3.org/TR/shacl/#MinInclusiveConstraintComponent
CommonConstraintMinLength Integer	See https://www.w3.org/TR/shacl/#MinLengthConstraintComponent
CommonConstraintPattern Pattern	See https://www.w3.org/TR/shacl/#PatternConstraintComponent
CommonConstraintProperty (Set (Reference PropertyShape))	See https://www.w3.org/TR/shacl/#PropertyConstraintComponent
CommonConstraintOr (Set (Reference Shape))	See https://www.w3.org/TR/shacl/#OrConstraintComponent
CommonConstraintXone (Set (Reference Shape))	See https://www.w3.org/TR/shacl/#XoneConstraintComponent

Instances

Instances details

Read CommonConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS CommonConstraint # readList :: ReadS [CommonConstraint] # readPrec :: ReadPrec CommonConstraint # readListPrec :: ReadPrec [CommonConstraint] #
Show CommonConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> CommonConstraint -> ShowS # show :: CommonConstraint -> String # showList :: [CommonConstraint] -> ShowS #
Eq CommonConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: CommonConstraint -> CommonConstraint -> Bool # (/=) :: CommonConstraint -> CommonConstraint -> Bool #
Ord CommonConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: CommonConstraint -> CommonConstraint -> Ordering # (<) :: CommonConstraint -> CommonConstraint -> Bool # (<=) :: CommonConstraint -> CommonConstraint -> Bool # (>) :: CommonConstraint -> CommonConstraint -> Bool # (>=) :: CommonConstraint -> CommonConstraint -> Bool # max :: CommonConstraint -> CommonConstraint -> CommonConstraint # min :: CommonConstraint -> CommonConstraint -> CommonConstraint #

_CommonConstraint :: Name Source #

_CommonConstraint_and :: FieldName Source #

_CommonConstraint_closed :: FieldName Source #

_CommonConstraint_class :: FieldName Source #

_CommonConstraint_datatype :: FieldName Source #

_CommonConstraint_disjoint :: FieldName Source #

_CommonConstraint_equals :: FieldName Source #

_CommonConstraint_hasValue :: FieldName Source #

_CommonConstraint_in :: FieldName Source #

_CommonConstraint_languageIn :: FieldName Source #

_CommonConstraint_nodeKind :: FieldName Source #

_CommonConstraint_node :: FieldName Source #

_CommonConstraint_not :: FieldName Source #

_CommonConstraint_maxExclusive :: FieldName Source #

_CommonConstraint_maxInclusive :: FieldName Source #

_CommonConstraint_maxLength :: FieldName Source #

_CommonConstraint_minExclusive :: FieldName Source #

_CommonConstraint_minInclusive :: FieldName Source #

_CommonConstraint_minLength :: FieldName Source #

_CommonConstraint_pattern :: FieldName Source #

_CommonConstraint_property :: FieldName Source #

_CommonConstraint_or :: FieldName Source #

_CommonConstraint_xone :: FieldName Source #

data CommonProperties Source #

Common constraint parameters and other properties for SHACL shapes

Constructors

CommonProperties

Instances

Instances details

Read CommonProperties Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS CommonProperties # readList :: ReadS [CommonProperties] # readPrec :: ReadPrec CommonProperties # readListPrec :: ReadPrec [CommonProperties] #
Show CommonProperties Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> CommonProperties -> ShowS # show :: CommonProperties -> String # showList :: [CommonProperties] -> ShowS #
Eq CommonProperties Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: CommonProperties -> CommonProperties -> Bool # (/=) :: CommonProperties -> CommonProperties -> Bool #
Ord CommonProperties Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: CommonProperties -> CommonProperties -> Ordering # (<) :: CommonProperties -> CommonProperties -> Bool # (<=) :: CommonProperties -> CommonProperties -> Bool # (>) :: CommonProperties -> CommonProperties -> Bool # (>=) :: CommonProperties -> CommonProperties -> Bool # max :: CommonProperties -> CommonProperties -> CommonProperties # min :: CommonProperties -> CommonProperties -> CommonProperties #

_CommonProperties :: Name Source #

_CommonProperties_constraints :: FieldName Source #

_CommonProperties_deactivated :: FieldName Source #

_CommonProperties_message :: FieldName Source #

_CommonProperties_severity :: FieldName Source #

_CommonProperties_targetClass :: FieldName Source #

_CommonProperties_targetNode :: FieldName Source #

_CommonProperties_targetObjectsOf :: FieldName Source #

_CommonProperties_targetSubjectsOf :: FieldName Source #

data Definition a Source #

An instance of a type like sh:Shape or sh:NodeShape, together with a unique IRI for that instance

Constructors

Definition
Fields definitionIri :: Iri definitionTarget :: a

Instances

Instances details

Read a => Read (Definition a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS (Definition a) # readList :: ReadS [Definition a] # readPrec :: ReadPrec (Definition a) # readListPrec :: ReadPrec [Definition a] #
Show a => Show (Definition a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> Definition a -> ShowS # show :: Definition a -> String # showList :: [Definition a] -> ShowS #
Eq a => Eq (Definition a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: Definition a -> Definition a -> Bool # (/=) :: Definition a -> Definition a -> Bool #
Ord a => Ord (Definition a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: Definition a -> Definition a -> Ordering # (<) :: Definition a -> Definition a -> Bool # (<=) :: Definition a -> Definition a -> Bool # (>) :: Definition a -> Definition a -> Bool # (>=) :: Definition a -> Definition a -> Bool # max :: Definition a -> Definition a -> Definition a # min :: Definition a -> Definition a -> Definition a #

_Definition :: Name Source #

_Definition_iri :: FieldName Source #

_Definition_target :: FieldName Source #

data NodeKind Source #

Constructors

NodeKindBlankNode	A blank node
NodeKindIri	An IRI
NodeKindLiteral	A literal
NodeKindBlankNodeOrIri	A blank node or an IRI
NodeKindBlankNodeOrLiteral	A blank node or a literal
NodeKindIriOrLiteral	An IRI or a literal

Instances

Instances details

Read NodeKind Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS NodeKind # readList :: ReadS [NodeKind] # readPrec :: ReadPrec NodeKind # readListPrec :: ReadPrec [NodeKind] #
Show NodeKind Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> NodeKind -> ShowS # show :: NodeKind -> String # showList :: [NodeKind] -> ShowS #
Eq NodeKind Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: NodeKind -> NodeKind -> Bool # (/=) :: NodeKind -> NodeKind -> Bool #
Ord NodeKind Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: NodeKind -> NodeKind -> Ordering # (<) :: NodeKind -> NodeKind -> Bool # (<=) :: NodeKind -> NodeKind -> Bool # (>) :: NodeKind -> NodeKind -> Bool # (>=) :: NodeKind -> NodeKind -> Bool # max :: NodeKind -> NodeKind -> NodeKind # min :: NodeKind -> NodeKind -> NodeKind #

_NodeKind :: Name Source #

_NodeKind_blankNode :: FieldName Source #

_NodeKind_iri :: FieldName Source #

_NodeKind_literal :: FieldName Source #

_NodeKind_blankNodeOrIri :: FieldName Source #

_NodeKind_blankNodeOrLiteral :: FieldName Source #

_NodeKind_iriOrLiteral :: FieldName Source #

data NodeShape Source #

A SHACL node shape. See https://www.w3.org/TR/shacl/#node-shapes

Constructors

NodeShape
Fields nodeShapeCommon :: CommonProperties

Instances

Instances details

Read NodeShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS NodeShape # readList :: ReadS [NodeShape] # readPrec :: ReadPrec NodeShape # readListPrec :: ReadPrec [NodeShape] #
Show NodeShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> NodeShape -> ShowS # show :: NodeShape -> String # showList :: [NodeShape] -> ShowS #
Eq NodeShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: NodeShape -> NodeShape -> Bool # (/=) :: NodeShape -> NodeShape -> Bool #
Ord NodeShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: NodeShape -> NodeShape -> Ordering # (<) :: NodeShape -> NodeShape -> Bool # (<=) :: NodeShape -> NodeShape -> Bool # (>) :: NodeShape -> NodeShape -> Bool # (>=) :: NodeShape -> NodeShape -> Bool # max :: NodeShape -> NodeShape -> NodeShape # min :: NodeShape -> NodeShape -> NodeShape #

_NodeShape :: Name Source #

_NodeShape_common :: FieldName Source #

data Pattern Source #

A SHACL pattern. See https://www.w3.org/TR/shacl/#PatternConstraintComponent

Constructors

Pattern
Fields patternRegex :: String patternFlags :: Maybe String

Instances

Instances details

Read Pattern Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS Pattern # readList :: ReadS [Pattern] # readPrec :: ReadPrec Pattern # readListPrec :: ReadPrec [Pattern] #
Show Pattern Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> Pattern -> ShowS # show :: Pattern -> String # showList :: [Pattern] -> ShowS #
Eq Pattern Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: Pattern -> Pattern -> Bool # (/=) :: Pattern -> Pattern -> Bool #
Ord Pattern Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: Pattern -> Pattern -> Ordering # (<) :: Pattern -> Pattern -> Bool # (<=) :: Pattern -> Pattern -> Bool # (>) :: Pattern -> Pattern -> Bool # (>=) :: Pattern -> Pattern -> Bool # max :: Pattern -> Pattern -> Pattern # min :: Pattern -> Pattern -> Pattern #

_Pattern :: Name Source #

_Pattern_regex :: FieldName Source #

_Pattern_flags :: FieldName Source #

data PropertyShape Source #

A SHACL property shape. See https://www.w3.org/TR/shacl/#property-shapes

Constructors

PropertyShape

Fields

propertyShapeCommon :: CommonProperties
propertyShapeConstraints :: Set PropertyShapeConstraint
Any property shape -specific constraint parameters
propertyShapeDefaultValue :: Maybe Node
See https://www.w3.org/TR/shacl/#defaultValue
propertyShapeDescription :: LangStrings
See https://www.w3.org/TR/shacl/#name
propertyShapeName :: LangStrings
See https://www.w3.org/TR/shacl/#name
propertyShapeOrder :: Maybe Integer
See https://www.w3.org/TR/shacl/#order
propertyShapePath :: Iri

Instances

Instances details

Read PropertyShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS PropertyShape # readList :: ReadS [PropertyShape] # readPrec :: ReadPrec PropertyShape # readListPrec :: ReadPrec [PropertyShape] #
Show PropertyShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> PropertyShape -> ShowS # show :: PropertyShape -> String # showList :: [PropertyShape] -> ShowS #
Eq PropertyShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: PropertyShape -> PropertyShape -> Bool # (/=) :: PropertyShape -> PropertyShape -> Bool #
Ord PropertyShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: PropertyShape -> PropertyShape -> Ordering # (<) :: PropertyShape -> PropertyShape -> Bool # (<=) :: PropertyShape -> PropertyShape -> Bool # (>) :: PropertyShape -> PropertyShape -> Bool # (>=) :: PropertyShape -> PropertyShape -> Bool # max :: PropertyShape -> PropertyShape -> PropertyShape # min :: PropertyShape -> PropertyShape -> PropertyShape #

_PropertyShape :: Name Source #

_PropertyShape_common :: FieldName Source #

_PropertyShape_constraints :: FieldName Source #

_PropertyShape_defaultValue :: FieldName Source #

_PropertyShape_description :: FieldName Source #

_PropertyShape_name :: FieldName Source #

_PropertyShape_order :: FieldName Source #

_PropertyShape_path :: FieldName Source #

data PropertyShapeConstraint Source #

A number of constraint parameters which are specific to property shapes, and cannot be applied to node shapes

Constructors

PropertyShapeConstraintLessThan (Set Property)	See https://www.w3.org/TR/shacl/#LessThanConstraintComponent
PropertyShapeConstraintLessThanOrEquals (Set Property)	See https://www.w3.org/TR/shacl/#LessThanOrEqualsConstraintComponent
PropertyShapeConstraintMaxCount Integer	The maximum cardinality. Node shapes cannot have any value for sh:maxCount. See https://www.w3.org/TR/shacl/#MaxCountConstraintComponent
PropertyShapeConstraintMinCount Integer	The minimum cardinality. Node shapes cannot have any value for sh:minCount. See https://www.w3.org/TR/shacl/#MinCountConstraintComponent
PropertyShapeConstraintUniqueLang Bool	See https://www.w3.org/TR/shacl/#UniqueLangConstraintComponent
PropertyShapeConstraintQualifiedValueShape QualifiedValueShape	See https://www.w3.org/TR/shacl/#QualifiedValueShapeConstraintComponent

Instances

Instances details

Read PropertyShapeConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS PropertyShapeConstraint # readList :: ReadS [PropertyShapeConstraint] # readPrec :: ReadPrec PropertyShapeConstraint # readListPrec :: ReadPrec [PropertyShapeConstraint] #
Show PropertyShapeConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> PropertyShapeConstraint -> ShowS # show :: PropertyShapeConstraint -> String # showList :: [PropertyShapeConstraint] -> ShowS #
Eq PropertyShapeConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: PropertyShapeConstraint -> PropertyShapeConstraint -> Bool # (/=) :: PropertyShapeConstraint -> PropertyShapeConstraint -> Bool #
Ord PropertyShapeConstraint Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: PropertyShapeConstraint -> PropertyShapeConstraint -> Ordering # (<) :: PropertyShapeConstraint -> PropertyShapeConstraint -> Bool # (<=) :: PropertyShapeConstraint -> PropertyShapeConstraint -> Bool # (>) :: PropertyShapeConstraint -> PropertyShapeConstraint -> Bool # (>=) :: PropertyShapeConstraint -> PropertyShapeConstraint -> Bool # max :: PropertyShapeConstraint -> PropertyShapeConstraint -> PropertyShapeConstraint # min :: PropertyShapeConstraint -> PropertyShapeConstraint -> PropertyShapeConstraint #

_PropertyShapeConstraint :: Name Source #

_PropertyShapeConstraint_lessThan :: FieldName Source #

_PropertyShapeConstraint_lessThanOrEquals :: FieldName Source #

_PropertyShapeConstraint_maxCount :: FieldName Source #

_PropertyShapeConstraint_minCount :: FieldName Source #

_PropertyShapeConstraint_uniqueLang :: FieldName Source #

_PropertyShapeConstraint_qualifiedValueShape :: FieldName Source #

data QualifiedValueShape Source #

See https://www.w3.org/TR/shacl/#QualifiedValueShapeConstraintComponent

Constructors

QualifiedValueShape
Fields qualifiedValueShapeQualifiedValueShape :: Reference Shape qualifiedValueShapeQualifiedMaxCount :: Integer qualifiedValueShapeQualifiedMinCount :: Integer qualifiedValueShapeQualifiedValueShapesDisjoint :: Maybe Bool

Instances

Instances details

Read QualifiedValueShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS QualifiedValueShape # readList :: ReadS [QualifiedValueShape] # readPrec :: ReadPrec QualifiedValueShape # readListPrec :: ReadPrec [QualifiedValueShape] #
Show QualifiedValueShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> QualifiedValueShape -> ShowS # show :: QualifiedValueShape -> String # showList :: [QualifiedValueShape] -> ShowS #
Eq QualifiedValueShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: QualifiedValueShape -> QualifiedValueShape -> Bool # (/=) :: QualifiedValueShape -> QualifiedValueShape -> Bool #
Ord QualifiedValueShape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: QualifiedValueShape -> QualifiedValueShape -> Ordering # (<) :: QualifiedValueShape -> QualifiedValueShape -> Bool # (<=) :: QualifiedValueShape -> QualifiedValueShape -> Bool # (>) :: QualifiedValueShape -> QualifiedValueShape -> Bool # (>=) :: QualifiedValueShape -> QualifiedValueShape -> Bool # max :: QualifiedValueShape -> QualifiedValueShape -> QualifiedValueShape # min :: QualifiedValueShape -> QualifiedValueShape -> QualifiedValueShape #

_QualifiedValueShape :: Name Source #

_QualifiedValueShape_qualifiedValueShape :: FieldName Source #

_QualifiedValueShape_qualifiedMaxCount :: FieldName Source #

_QualifiedValueShape_qualifiedMinCount :: FieldName Source #

_QualifiedValueShape_qualifiedValueShapesDisjoint :: FieldName Source #

data Reference a Source #

Either an instance of a type like sh:Shape or sh:NodeShape, or an IRI which refers to an instance of that type

Constructors

ReferenceNamed Iri
ReferenceAnonymous a	An anonymous instance
ReferenceDefinition (Definition a)	An inline definition

Instances

Instances details

Read a => Read (Reference a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS (Reference a) # readList :: ReadS [Reference a] # readPrec :: ReadPrec (Reference a) # readListPrec :: ReadPrec [Reference a] #
Show a => Show (Reference a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> Reference a -> ShowS # show :: Reference a -> String # showList :: [Reference a] -> ShowS #
Eq a => Eq (Reference a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: Reference a -> Reference a -> Bool # (/=) :: Reference a -> Reference a -> Bool #
Ord a => Ord (Reference a) Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: Reference a -> Reference a -> Ordering # (<) :: Reference a -> Reference a -> Bool # (<=) :: Reference a -> Reference a -> Bool # (>) :: Reference a -> Reference a -> Bool # (>=) :: Reference a -> Reference a -> Bool # max :: Reference a -> Reference a -> Reference a # min :: Reference a -> Reference a -> Reference a #

_Reference :: Name Source #

_Reference_named :: FieldName Source #

_Reference_anonymous :: FieldName Source #

_Reference_definition :: FieldName Source #

data Severity Source #

Constructors

SeverityInfo	A non-critical constraint violation indicating an informative message
SeverityWarning	A non-critical constraint violation indicating a warning
SeverityViolation	A constraint violation

Instances

Instances details

Read Severity Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS Severity # readList :: ReadS [Severity] # readPrec :: ReadPrec Severity # readListPrec :: ReadPrec [Severity] #
Show Severity Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> Severity -> ShowS # show :: Severity -> String # showList :: [Severity] -> ShowS #
Eq Severity Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: Severity -> Severity -> Bool # (/=) :: Severity -> Severity -> Bool #
Ord Severity Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: Severity -> Severity -> Ordering # (<) :: Severity -> Severity -> Bool # (<=) :: Severity -> Severity -> Bool # (>) :: Severity -> Severity -> Bool # (>=) :: Severity -> Severity -> Bool # max :: Severity -> Severity -> Severity # min :: Severity -> Severity -> Severity #

_Severity :: Name Source #

_Severity_info :: FieldName Source #

_Severity_warning :: FieldName Source #

_Severity_violation :: FieldName Source #

data Shape Source #

A SHACL node or property shape. See https://www.w3.org/TR/shacl/#shapes

Constructors

ShapeNode NodeShape
ShapeProperty PropertyShape

Instances

Instances details

Read Shape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS Shape # readList :: ReadS [Shape] # readPrec :: ReadPrec Shape # readListPrec :: ReadPrec [Shape] #
Show Shape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> Shape -> ShowS # show :: Shape -> String # showList :: [Shape] -> ShowS #
Eq Shape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: Shape -> Shape -> Bool # (/=) :: Shape -> Shape -> Bool #
Ord Shape Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: Shape -> Shape -> Ordering # (<) :: Shape -> Shape -> Bool # (<=) :: Shape -> Shape -> Bool # (>) :: Shape -> Shape -> Bool # (>=) :: Shape -> Shape -> Bool # max :: Shape -> Shape -> Shape # min :: Shape -> Shape -> Shape #

_Shape :: Name Source #

_Shape_node :: FieldName Source #

_Shape_property :: FieldName Source #

newtype ShapesGraph Source #

An RDF graph containing zero or more shapes that is passed into a SHACL validation process so that a data graph can be validated against the shapes

Constructors

ShapesGraph
Fields unShapesGraph :: Set (Definition Shape) An RDF graph containing zero or more shapes that is passed into a SHACL validation process so that a data graph can be validated against the shapes

Instances

Instances details

Read ShapesGraph Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods readsPrec :: Int -> ReadS ShapesGraph # readList :: ReadS [ShapesGraph] # readPrec :: ReadPrec ShapesGraph # readListPrec :: ReadPrec [ShapesGraph] #
Show ShapesGraph Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods showsPrec :: Int -> ShapesGraph -> ShowS # show :: ShapesGraph -> String # showList :: [ShapesGraph] -> ShowS #
Eq ShapesGraph Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods (==) :: ShapesGraph -> ShapesGraph -> Bool # (/=) :: ShapesGraph -> ShapesGraph -> Bool #
Ord ShapesGraph Source #
Instance details Defined in Hydra.Ext.Shacl.Model Methods compare :: ShapesGraph -> ShapesGraph -> Ordering # (<) :: ShapesGraph -> ShapesGraph -> Bool # (<=) :: ShapesGraph -> ShapesGraph -> Bool # (>) :: ShapesGraph -> ShapesGraph -> Bool # (>=) :: ShapesGraph -> ShapesGraph -> Bool # max :: ShapesGraph -> ShapesGraph -> ShapesGraph # min :: ShapesGraph -> ShapesGraph -> ShapesGraph #

_ShapesGraph :: Name Source #