hydra-rdf 0.17.7 → 0.18.0

raw patch · 22 files changed

+7371/−7280 lines, 22 filesdep ~hydra-kernelPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: hydra-kernel

API changes (from Hackage documentation)

Files

• CHANGELOG.md +80/−0
• hydra-rdf.cabal +10/−10
• src/main/haskell/Hydra/Dsl/Rdf/Syntax.hs +0/−824
• src/main/haskell/Hydra/Dsl/Shacl/Model.hs +0/−1926
• src/main/haskell/Hydra/Owl/Syntax.hs +0/−1283
• src/main/haskell/Hydra/Rdf/Dsl/Shacl/Model.hs +1927/−0
• src/main/haskell/Hydra/Rdf/Dsl/Syntax.hs +824/−0
• src/main/haskell/Hydra/Rdf/Owl/Syntax.hs +1283/−0
• src/main/haskell/Hydra/Rdf/Serde.hs +40/−38
• src/main/haskell/Hydra/Rdf/Shacl/Coder.hs +342/−0
• src/main/haskell/Hydra/Rdf/Shacl/Language.hs +108/−0
• src/main/haskell/Hydra/Rdf/Shacl/Model.hs +361/−0
• src/main/haskell/Hydra/Rdf/ShaclRdf.hs +37/−35
• src/main/haskell/Hydra/Rdf/Shex/Syntax.hs +1746/−0
• src/main/haskell/Hydra/Rdf/Syntax.hs +38/−38
• src/main/haskell/Hydra/Rdf/Utils.hs +62/−60
• src/main/haskell/Hydra/Rdf/Xml/Schema.hs +513/−0
• src/main/haskell/Hydra/Shacl/Coder.hs +0/−340
• src/main/haskell/Hydra/Shacl/Language.hs +0/−106
• src/main/haskell/Hydra/Shacl/Model.hs +0/−361
• src/main/haskell/Hydra/Shex/Syntax.hs +0/−1746
• src/main/haskell/Hydra/Xml/Schema.hs +0/−513

@@ -15,6 +15,86 @@  --- +## [0.18.0] - 2026-09-29++Module-naming systematization release: every kernel and package module moves onto a uniform+`hydra.core.*` / `hydra.<pkg>.*` grammar, completing the package ⊃ module ⊃ definition containment+tower. The rename touches every module, definition, and cross-host reference in the codebase; this+release exists primarily to ship it as its own coordinated batch. Also lands the translingual regex+primitive pipeline and several silent-correctness fixes in the coder layer.++### Highlights++- **Module-name grammar systematization** ([#729](https://github.com/CategoricalData/hydra/issues/729)):+  every `hydra.*` module renamed onto a uniform package-derived prefix — kernel modules move to+  `hydra.core.*`, package modules to `hydra.<pkg>.*` — closing the long-standing inconsistency where+  a package name had no structural relationship to the module names it contained. The rename spans+  every host (Haskell, Java, Python, Scala, TypeScript, all four Lisp dialects) and required fixing+  stale namespace references, overlay-directory paths, and `hostOverrides` shims across every driver+  and bootstrap script that had hardcoded the old grammar. Further consolidation (a structurally+  enforced package↔prefix law) is tracked for 0.18.1. The kernel package itself is still published as+  `hydra-kernel` (its modules are under `hydra.core.*`); the `hydra-core` package rename #729 called for+  is under review because that name is taken on PyPI and npm+  ([#770](https://github.com/CategoricalData/hydra/issues/770)).+- **Translingual regex primitives** ([#603](https://github.com/CategoricalData/hydra/issues/603)):+  `hydra.lib.regex` primitives (`find`, `findAll`, `matches`, `replace`, `replaceAll`, `split`) now run+  every pattern through the shared `hydra.regex` parse/print pipeline instead of handing raw pattern+  strings to each host's native engine, so a pattern means the same thing on every host. Includes a+  host-independent conformance suite and a leftmost-longest alternation fix in the PCRE/POSIX printers.+- **Silent-corruption fixes across the coder layer**+  ([#744](https://github.com/CategoricalData/hydra/issues/744),+  [#765](https://github.com/CategoricalData/hydra/issues/765),+  [#649](https://github.com/CategoricalData/hydra/issues/649)): fixed data-corrupting bugs in the+  JSON-Schema/Avro/GraphQL/GraphSON/Protobuf coders (extended integer widths, map-key handling), the+  kernel's encode/decode generators (reversed type-parameter order on 2+-param polymorphic types), and+  the Python coder (silently dropping a module's types when types and terms share a file path).+- **Self-hosted specification docs** ([#723](https://github.com/CategoricalData/hydra/issues/723)):+  the module-reference pages under `docs/specification/` are now generated directly from the kernel+  (`bin/regenerate-spec.sh`) via a new metadata-only doc coder, rather than hand-maintained.++### New features++- **[#603](https://github.com/CategoricalData/hydra/issues/603)** host-independent regex conformance+  suite covering the minimal-core grammar (literals, classes, quantifiers, alternation, anchors,+  grouping) across all 9 hosts.+- **[#723](https://github.com/CategoricalData/hydra/issues/723)** `hydra.markdown` type module and+  `generateModuleDoc`, the metadata-only doc coder backing the self-generated spec pages.+- **[#382](https://github.com/CategoricalData/hydra/issues/382)** the Rust coder is split out of+  `hydra-ext` into its own first-class `hydra-rust` package.++### Bug fixes++- **[#744](https://github.com/CategoricalData/hydra/issues/744)** silent data corruption in+  JSON-Schema/Avro/GraphQL/GraphSON/Protobuf coders for extended integer widths and map-key handling.+- **[#765](https://github.com/CategoricalData/hydra/issues/765)** kernel encode/decode generators+  emitted reversed type-parameter order for 2+-param polymorphic types.+- **[#649](https://github.com/CategoricalData/hydra/issues/649)** Python coder silently dropped a+  module's types when types and terms targeted the same output file path.+- **[#572](https://github.com/CategoricalData/hydra/issues/572)** TypeScript kernel-JSON test+  bridge's compact-form decode heuristic mishandled nullary union arms.+- **[#761](https://github.com/CategoricalData/hydra/issues/761)** cold-seed generation ignored+  `hostOverrides.java=local`, silently pulling the published Java host jar instead.+- **[#736](https://github.com/CategoricalData/hydra/issues/736)** Java build now pins JDK 11 via a+  Gradle toolchain block, instead of depending on ambient `JAVA_HOME`.++### Improvements++- **[#327](https://github.com/CategoricalData/hydra/issues/327)** new `hydra.diff` schema-diff type+  module; `Term.Inject` comparison is now by variant name.+- **[#573](https://github.com/CategoricalData/hydra/issues/573)** per-registry publish sets (Hackage,+  Maven, PyPI, npm) are now derived from the package registry itself instead of 13 hand-maintained+  lists — closes a recurring class of silent release-time drift.+- **[#735](https://github.com/CategoricalData/hydra/issues/735)** cross-host decimal-scale test+  filtering now driven by a translingual `scaleDistinct` capability tag instead of hand-copied+  per-host skip lists.++### Documentation++- **[#655](https://github.com/CategoricalData/hydra/issues/655)** documented the overlay-emission+  "implementation wins" decision for bare primitive references (`docs/overlays.md`).++---+ ## [0.17.7] - 2026-09-14  Correctness-hardening point release on the 0.17.x line, consolidating the 0.17.6 breaking batch. It

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           hydra-rdf-version:        0.17.7+version:        0.18.0 synopsis:       Hydra's RDF/SHACL/OWL model and coder support description:    Hydra is an implementation of the LambdaGraph data model, which takes advantage of an isomorphism between labeled hypergraphs and typed lambda calculus: in Hydra, "graphs are programs, and programs are graphs". RDF support for Hydra category:       Data@@ -27,18 +27,18 @@  library   exposed-modules:-      Hydra.Dsl.Rdf.Syntax-      Hydra.Dsl.Shacl.Model-      Hydra.Owl.Syntax+      Hydra.Rdf.Dsl.Shacl.Model+      Hydra.Rdf.Dsl.Syntax+      Hydra.Rdf.Owl.Syntax       Hydra.Rdf.Serde+      Hydra.Rdf.Shacl.Coder+      Hydra.Rdf.Shacl.Language+      Hydra.Rdf.Shacl.Model       Hydra.Rdf.ShaclRdf+      Hydra.Rdf.Shex.Syntax       Hydra.Rdf.Syntax       Hydra.Rdf.Utils-      Hydra.Shacl.Coder-      Hydra.Shacl.Language-      Hydra.Shacl.Model-      Hydra.Shex.Syntax-      Hydra.Xml.Schema+      Hydra.Rdf.Xml.Schema   other-modules:       Paths_hydra_rdf   hs-source-dirs:@@ -46,6 +46,6 @@   build-depends:       base >=4.19.0 && <4.22     , containers >=0.6.7 && <0.8-    , hydra-kernel ==0.17.7+    , hydra-kernel ==0.18.0     , scientific >=0.3.7 && <0.4   default-language: Haskell2010

@@ -1,824 +0,0 @@--- Note: this is an automatically generated file. Do not edit.---- | DSL functions for hydra.rdf.syntax--module Hydra.Dsl.Rdf.Syntax where--import qualified Hydra.Core as Core-import qualified Hydra.Rdf.Syntax as Syntax-import qualified Hydra.Typed as Typed-import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, lines, map, pure, sum, unlines)-import qualified Data.Scientific as Sci-import Data.Void-import qualified Data.Map as M-import qualified Data.Set as S---- | DSL constructor for the hydra.rdf.syntax.BlankNode wrapper-blankNode :: Typed.TypedTerm String -> Typed.TypedTerm Syntax.BlankNode-blankNode x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.rdf.syntax.BlankNode"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.BlankNode-blankNodeBlankNode :: Typed.TypedName Syntax.BlankNode-blankNodeBlankNode = Typed.TypedName (Core.Name "hydra.rdf.syntax.BlankNode")---- | DSL constructor for the hydra.rdf.syntax.Dataset wrapper-dataset :: Typed.TypedTerm (S.Set Syntax.Quad) -> Typed.TypedTerm Syntax.Dataset-dataset x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.rdf.syntax.Dataset"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.Dataset-datasetDataset :: Typed.TypedName Syntax.Dataset-datasetDataset = Typed.TypedName (Core.Name "hydra.rdf.syntax.Dataset")---- | DSL constructor for hydra.rdf.syntax.Description-description :: Typed.TypedTerm Syntax.Node -> Typed.TypedTerm Syntax.Graph -> Typed.TypedTerm Syntax.Description-description subject graph =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Description"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Typed.unTypedTerm subject)},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Typed.unTypedTerm graph)}]}))---- | DSL name token for hydra.rdf.syntax.Description-descriptionDescription :: Typed.TypedName Syntax.Description-descriptionDescription = Typed.TypedName (Core.Name "hydra.rdf.syntax.Description")---- | DSL accessor for the graph field of hydra.rdf.syntax.Description-descriptionGraph :: Typed.TypedTerm Syntax.Description -> Typed.TypedTerm Syntax.Graph-descriptionGraph x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Description"),-        Core.projectionFieldName = (Core.Name "graph")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the subject field of hydra.rdf.syntax.Description-descriptionSubject :: Typed.TypedTerm Syntax.Description -> Typed.TypedTerm Syntax.Node-descriptionSubject x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Description"),-        Core.projectionFieldName = (Core.Name "subject")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the graph field of hydra.rdf.syntax.Description-descriptionWithGraph :: Typed.TypedTerm Syntax.Description -> Typed.TypedTerm Syntax.Graph -> Typed.TypedTerm Syntax.Description-descriptionWithGraph original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Description"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Description"),-              Core.projectionFieldName = (Core.Name "subject")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL updater for the subject field of hydra.rdf.syntax.Description-descriptionWithSubject :: Typed.TypedTerm Syntax.Description -> Typed.TypedTerm Syntax.Node -> Typed.TypedTerm Syntax.Description-descriptionWithSubject original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Description"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Description"),-              Core.projectionFieldName = (Core.Name "graph")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL constructor for the hydra.rdf.syntax.Graph wrapper-graph :: Typed.TypedTerm (S.Set Syntax.Triple) -> Typed.TypedTerm Syntax.Graph-graph x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.rdf.syntax.Graph"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.Graph-graphGraph :: Typed.TypedName Syntax.Graph-graphGraph = Typed.TypedName (Core.Name "hydra.rdf.syntax.Graph")---- | DSL constructor for the hydra.rdf.syntax.Iri wrapper-iri :: Typed.TypedTerm String -> Typed.TypedTerm Syntax.Iri-iri x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.rdf.syntax.Iri"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.Iri-iriIri :: Typed.TypedName Syntax.Iri-iriIri = Typed.TypedName (Core.Name "hydra.rdf.syntax.Iri")---- | DSL injection for the iri variant of hydra.rdf.syntax.IriOrLiteral-iriOrLiteralIri :: Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.IriOrLiteral-iriOrLiteralIri x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.rdf.syntax.IriOrLiteral"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "iri"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL name token for hydra.rdf.syntax.IriOrLiteral-iriOrLiteralIriOrLiteral :: Typed.TypedName Syntax.IriOrLiteral-iriOrLiteralIriOrLiteral = Typed.TypedName (Core.Name "hydra.rdf.syntax.IriOrLiteral")---- | DSL injection for the literal variant of hydra.rdf.syntax.IriOrLiteral-iriOrLiteralLiteral :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Syntax.IriOrLiteral-iriOrLiteralLiteral x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.rdf.syntax.IriOrLiteral"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "literal"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL constructor for the hydra.rdf.syntax.LangStrings wrapper-langStrings :: Typed.TypedTerm (M.Map (Maybe Syntax.LanguageTag) String) -> Typed.TypedTerm Syntax.LangStrings-langStrings x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.rdf.syntax.LangStrings"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.LangStrings-langStringsLangStrings :: Typed.TypedName Syntax.LangStrings-langStringsLangStrings = Typed.TypedName (Core.Name "hydra.rdf.syntax.LangStrings")---- | DSL constructor for the hydra.rdf.syntax.LanguageTag wrapper-languageTag :: Typed.TypedTerm String -> Typed.TypedTerm Syntax.LanguageTag-languageTag x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.rdf.syntax.LanguageTag"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.LanguageTag-languageTagLanguageTag :: Typed.TypedName Syntax.LanguageTag-languageTagLanguageTag = Typed.TypedName (Core.Name "hydra.rdf.syntax.LanguageTag")---- | DSL constructor for hydra.rdf.syntax.Literal-literal :: Typed.TypedTerm String -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm (Maybe Syntax.LanguageTag) -> Typed.TypedTerm Syntax.Literal-literal lexicalForm datatypeIri languageTag =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "lexicalForm"),-          Core.fieldTerm = (Typed.unTypedTerm lexicalForm)},-        Core.Field {-          Core.fieldName = (Core.Name "datatypeIri"),-          Core.fieldTerm = (Typed.unTypedTerm datatypeIri)},-        Core.Field {-          Core.fieldName = (Core.Name "languageTag"),-          Core.fieldTerm = (Typed.unTypedTerm languageTag)}]}))---- | DSL accessor for the datatypeIri field of hydra.rdf.syntax.Literal-literalDatatypeIri :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Syntax.Iri-literalDatatypeIri x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-        Core.projectionFieldName = (Core.Name "datatypeIri")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the languageTag field of hydra.rdf.syntax.Literal-literalLanguageTag :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm (Maybe Syntax.LanguageTag)-literalLanguageTag x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-        Core.projectionFieldName = (Core.Name "languageTag")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the lexicalForm field of hydra.rdf.syntax.Literal-literalLexicalForm :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm String-literalLexicalForm x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-        Core.projectionFieldName = (Core.Name "lexicalForm")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.Literal-literalLiteral :: Typed.TypedName Syntax.Literal-literalLiteral = Typed.TypedName (Core.Name "hydra.rdf.syntax.Literal")---- | DSL updater for the datatypeIri field of hydra.rdf.syntax.Literal-literalWithDatatypeIri :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.Literal-literalWithDatatypeIri original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "lexicalForm"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-              Core.projectionFieldName = (Core.Name "lexicalForm")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "datatypeIri"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "languageTag"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-              Core.projectionFieldName = (Core.Name "languageTag")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the languageTag field of hydra.rdf.syntax.Literal-literalWithLanguageTag :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm (Maybe Syntax.LanguageTag) -> Typed.TypedTerm Syntax.Literal-literalWithLanguageTag original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "lexicalForm"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-              Core.projectionFieldName = (Core.Name "lexicalForm")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "datatypeIri"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-              Core.projectionFieldName = (Core.Name "datatypeIri")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "languageTag"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL updater for the lexicalForm field of hydra.rdf.syntax.Literal-literalWithLexicalForm :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm String -> Typed.TypedTerm Syntax.Literal-literalWithLexicalForm original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "lexicalForm"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "datatypeIri"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-              Core.projectionFieldName = (Core.Name "datatypeIri")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "languageTag"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Literal"),-              Core.projectionFieldName = (Core.Name "languageTag")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL injection for the bnode variant of hydra.rdf.syntax.Node-nodeBnode :: Typed.TypedTerm Syntax.BlankNode -> Typed.TypedTerm Syntax.Node-nodeBnode x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.rdf.syntax.Node"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "bnode"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the iri variant of hydra.rdf.syntax.Node-nodeIri :: Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.Node-nodeIri x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.rdf.syntax.Node"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "iri"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the literal variant of hydra.rdf.syntax.Node-nodeLiteral :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Syntax.Node-nodeLiteral x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.rdf.syntax.Node"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "literal"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL name token for hydra.rdf.syntax.Node-nodeNode :: Typed.TypedName Syntax.Node-nodeNode = Typed.TypedName (Core.Name "hydra.rdf.syntax.Node")---- | DSL constructor for hydra.rdf.syntax.Property-property :: Typed.TypedTerm (S.Set Syntax.RdfsClass) -> Typed.TypedTerm (S.Set Syntax.RdfsClass) -> Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Syntax.Property-property domain range subPropertyOf =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Property"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "domain"),-          Core.fieldTerm = (Typed.unTypedTerm domain)},-        Core.Field {-          Core.fieldName = (Core.Name "range"),-          Core.fieldTerm = (Typed.unTypedTerm range)},-        Core.Field {-          Core.fieldName = (Core.Name "subPropertyOf"),-          Core.fieldTerm = (Typed.unTypedTerm subPropertyOf)}]}))---- | DSL accessor for the domain field of hydra.rdf.syntax.Property-propertyDomain :: Typed.TypedTerm Syntax.Property -> Typed.TypedTerm (S.Set Syntax.RdfsClass)-propertyDomain x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-        Core.projectionFieldName = (Core.Name "domain")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.Property-propertyProperty :: Typed.TypedName Syntax.Property-propertyProperty = Typed.TypedName (Core.Name "hydra.rdf.syntax.Property")---- | DSL accessor for the range field of hydra.rdf.syntax.Property-propertyRange :: Typed.TypedTerm Syntax.Property -> Typed.TypedTerm (S.Set Syntax.RdfsClass)-propertyRange x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-        Core.projectionFieldName = (Core.Name "range")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the subPropertyOf field of hydra.rdf.syntax.Property-propertySubPropertyOf :: Typed.TypedTerm Syntax.Property -> Typed.TypedTerm (S.Set Syntax.Property)-propertySubPropertyOf x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-        Core.projectionFieldName = (Core.Name "subPropertyOf")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the domain field of hydra.rdf.syntax.Property-propertyWithDomain :: Typed.TypedTerm Syntax.Property -> Typed.TypedTerm (S.Set Syntax.RdfsClass) -> Typed.TypedTerm Syntax.Property-propertyWithDomain original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Property"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "domain"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "range"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-              Core.projectionFieldName = (Core.Name "range")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "subPropertyOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-              Core.projectionFieldName = (Core.Name "subPropertyOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the range field of hydra.rdf.syntax.Property-propertyWithRange :: Typed.TypedTerm Syntax.Property -> Typed.TypedTerm (S.Set Syntax.RdfsClass) -> Typed.TypedTerm Syntax.Property-propertyWithRange original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Property"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "domain"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-              Core.projectionFieldName = (Core.Name "domain")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "range"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "subPropertyOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-              Core.projectionFieldName = (Core.Name "subPropertyOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the subPropertyOf field of hydra.rdf.syntax.Property-propertyWithSubPropertyOf :: Typed.TypedTerm Syntax.Property -> Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Syntax.Property-propertyWithSubPropertyOf original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Property"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "domain"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-              Core.projectionFieldName = (Core.Name "domain")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "range"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Property"),-              Core.projectionFieldName = (Core.Name "range")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "subPropertyOf"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL constructor for hydra.rdf.syntax.Quad-quad :: Typed.TypedTerm Syntax.Resource -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.Node -> Typed.TypedTerm (Maybe Syntax.Iri) -> Typed.TypedTerm Syntax.Quad-quad subject predicate object graph =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Typed.unTypedTerm subject)},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Typed.unTypedTerm predicate)},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Typed.unTypedTerm object)},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Typed.unTypedTerm graph)}]}))---- | DSL accessor for the graph field of hydra.rdf.syntax.Quad-quadGraph :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm (Maybe Syntax.Iri)-quadGraph x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-        Core.projectionFieldName = (Core.Name "graph")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the object field of hydra.rdf.syntax.Quad-quadObject :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm Syntax.Node-quadObject x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-        Core.projectionFieldName = (Core.Name "object")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the predicate field of hydra.rdf.syntax.Quad-quadPredicate :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm Syntax.Iri-quadPredicate x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-        Core.projectionFieldName = (Core.Name "predicate")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.Quad-quadQuad :: Typed.TypedName Syntax.Quad-quadQuad = Typed.TypedName (Core.Name "hydra.rdf.syntax.Quad")---- | DSL accessor for the subject field of hydra.rdf.syntax.Quad-quadSubject :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm Syntax.Resource-quadSubject x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-        Core.projectionFieldName = (Core.Name "subject")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the graph field of hydra.rdf.syntax.Quad-quadWithGraph :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm (Maybe Syntax.Iri) -> Typed.TypedTerm Syntax.Quad-quadWithGraph original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "subject")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "predicate")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "object")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL updater for the object field of hydra.rdf.syntax.Quad-quadWithObject :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm Syntax.Node -> Typed.TypedTerm Syntax.Quad-quadWithObject original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "subject")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "predicate")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "graph")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the predicate field of hydra.rdf.syntax.Quad-quadWithPredicate :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.Quad-quadWithPredicate original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "subject")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "object")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "graph")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the subject field of hydra.rdf.syntax.Quad-quadWithSubject :: Typed.TypedTerm Syntax.Quad -> Typed.TypedTerm Syntax.Resource -> Typed.TypedTerm Syntax.Quad-quadWithSubject original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "predicate")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "object")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "graph"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Quad"),-              Core.projectionFieldName = (Core.Name "graph")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL constructor for the hydra.rdf.syntax.RdfsClass wrapper-rdfsClass :: Typed.TypedTerm () -> Typed.TypedTerm Syntax.RdfsClass-rdfsClass x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.rdf.syntax.RdfsClass"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.RdfsClass-rdfsClassRdfsClass :: Typed.TypedName Syntax.RdfsClass-rdfsClassRdfsClass = Typed.TypedName (Core.Name "hydra.rdf.syntax.RdfsClass")---- | DSL injection for the bnode variant of hydra.rdf.syntax.Resource-resourceBnode :: Typed.TypedTerm Syntax.BlankNode -> Typed.TypedTerm Syntax.Resource-resourceBnode x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.rdf.syntax.Resource"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "bnode"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the iri variant of hydra.rdf.syntax.Resource-resourceIri :: Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.Resource-resourceIri x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.rdf.syntax.Resource"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "iri"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL name token for hydra.rdf.syntax.Resource-resourceResource :: Typed.TypedName Syntax.Resource-resourceResource = Typed.TypedName (Core.Name "hydra.rdf.syntax.Resource")---- | DSL constructor for hydra.rdf.syntax.Triple-triple :: Typed.TypedTerm Syntax.Resource -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.Node -> Typed.TypedTerm Syntax.Triple-triple subject predicate object =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Typed.unTypedTerm subject)},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Typed.unTypedTerm predicate)},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Typed.unTypedTerm object)}]}))---- | DSL accessor for the object field of hydra.rdf.syntax.Triple-tripleObject :: Typed.TypedTerm Syntax.Triple -> Typed.TypedTerm Syntax.Node-tripleObject x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-        Core.projectionFieldName = (Core.Name "object")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the predicate field of hydra.rdf.syntax.Triple-triplePredicate :: Typed.TypedTerm Syntax.Triple -> Typed.TypedTerm Syntax.Iri-triplePredicate x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-        Core.projectionFieldName = (Core.Name "predicate")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the subject field of hydra.rdf.syntax.Triple-tripleSubject :: Typed.TypedTerm Syntax.Triple -> Typed.TypedTerm Syntax.Resource-tripleSubject x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-        Core.projectionFieldName = (Core.Name "subject")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.rdf.syntax.Triple-tripleTriple :: Typed.TypedName Syntax.Triple-tripleTriple = Typed.TypedName (Core.Name "hydra.rdf.syntax.Triple")---- | DSL updater for the object field of hydra.rdf.syntax.Triple-tripleWithObject :: Typed.TypedTerm Syntax.Triple -> Typed.TypedTerm Syntax.Node -> Typed.TypedTerm Syntax.Triple-tripleWithObject original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-              Core.projectionFieldName = (Core.Name "subject")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-              Core.projectionFieldName = (Core.Name "predicate")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL updater for the predicate field of hydra.rdf.syntax.Triple-tripleWithPredicate :: Typed.TypedTerm Syntax.Triple -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Syntax.Triple-tripleWithPredicate original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-              Core.projectionFieldName = (Core.Name "subject")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-              Core.projectionFieldName = (Core.Name "object")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the subject field of hydra.rdf.syntax.Triple-tripleWithSubject :: Typed.TypedTerm Syntax.Triple -> Typed.TypedTerm Syntax.Resource -> Typed.TypedTerm Syntax.Triple-tripleWithSubject original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "subject"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "predicate"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-              Core.projectionFieldName = (Core.Name "predicate")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "object"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.rdf.syntax.Triple"),-              Core.projectionFieldName = (Core.Name "object")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL accessor for the body of hydra.rdf.syntax.BlankNode-unBlankNode :: Typed.TypedTerm Syntax.BlankNode -> Typed.TypedTerm String-unBlankNode x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.rdf.syntax.BlankNode")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the body of hydra.rdf.syntax.Dataset-unDataset :: Typed.TypedTerm Syntax.Dataset -> Typed.TypedTerm (S.Set Syntax.Quad)-unDataset x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.rdf.syntax.Dataset")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the body of hydra.rdf.syntax.Graph-unGraph :: Typed.TypedTerm Syntax.Graph -> Typed.TypedTerm (S.Set Syntax.Triple)-unGraph x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.rdf.syntax.Graph")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the body of hydra.rdf.syntax.Iri-unIri :: Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm String-unIri x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.rdf.syntax.Iri")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the body of hydra.rdf.syntax.LangStrings-unLangStrings :: Typed.TypedTerm Syntax.LangStrings -> Typed.TypedTerm (M.Map (Maybe Syntax.LanguageTag) String)-unLangStrings x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.rdf.syntax.LangStrings")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the body of hydra.rdf.syntax.LanguageTag-unLanguageTag :: Typed.TypedTerm Syntax.LanguageTag -> Typed.TypedTerm String-unLanguageTag x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.rdf.syntax.LanguageTag")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the body of hydra.rdf.syntax.RdfsClass-unRdfsClass :: Typed.TypedTerm Syntax.RdfsClass -> Typed.TypedTerm ()-unRdfsClass x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.rdf.syntax.RdfsClass")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))

@@ -1,1926 +0,0 @@--- Note: this is an automatically generated file. Do not edit.---- | DSL functions for hydra.shacl.model--module Hydra.Dsl.Shacl.Model where--import qualified Hydra.Core as Core-import qualified Hydra.Dsl.Rdf.Syntax as RdfSyntax-import qualified Hydra.Errors as Errors-import qualified Hydra.Graph as Graph-import qualified Hydra.Rdf.Syntax as Syntax-import qualified Hydra.Shacl.Model as Model-import qualified Hydra.Typed as Typed-import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, lines, map, pure, sum, unlines)-import qualified Data.Scientific as Sci-import Data.Void-import qualified Data.Set as S---- | DSL constructor for hydra.shacl.model.Closed-closed :: Typed.TypedTerm Bool -> Typed.TypedTerm (Maybe (S.Set Syntax.Property)) -> Typed.TypedTerm Model.Closed-closed isClosed ignoredProperties =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Closed"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "isClosed"),-          Core.fieldTerm = (Typed.unTypedTerm isClosed)},-        Core.Field {-          Core.fieldName = (Core.Name "ignoredProperties"),-          Core.fieldTerm = (Typed.unTypedTerm ignoredProperties)}]}))---- | DSL name token for hydra.shacl.model.Closed-closedClosed :: Typed.TypedName Model.Closed-closedClosed = Typed.TypedName (Core.Name "hydra.shacl.model.Closed")---- | DSL accessor for the ignoredProperties field of hydra.shacl.model.Closed-closedIgnoredProperties :: Typed.TypedTerm Model.Closed -> Typed.TypedTerm (Maybe (S.Set Syntax.Property))-closedIgnoredProperties x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.Closed"),-        Core.projectionFieldName = (Core.Name "ignoredProperties")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the isClosed field of hydra.shacl.model.Closed-closedIsClosed :: Typed.TypedTerm Model.Closed -> Typed.TypedTerm Bool-closedIsClosed x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.Closed"),-        Core.projectionFieldName = (Core.Name "isClosed")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the ignoredProperties field of hydra.shacl.model.Closed-closedWithIgnoredProperties :: Typed.TypedTerm Model.Closed -> Typed.TypedTerm (Maybe (S.Set Syntax.Property)) -> Typed.TypedTerm Model.Closed-closedWithIgnoredProperties original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Closed"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "isClosed"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.Closed"),-              Core.projectionFieldName = (Core.Name "isClosed")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "ignoredProperties"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL updater for the isClosed field of hydra.shacl.model.Closed-closedWithIsClosed :: Typed.TypedTerm Model.Closed -> Typed.TypedTerm Bool -> Typed.TypedTerm Model.Closed-closedWithIsClosed original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Closed"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "isClosed"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "ignoredProperties"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.Closed"),-              Core.projectionFieldName = (Core.Name "ignoredProperties")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL injection for the and variant of hydra.shacl.model.CommonConstraint-commonConstraintAnd :: Typed.TypedTerm (S.Set (Model.Reference Model.Shape)) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintAnd x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "and"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the class variant of hydra.shacl.model.CommonConstraint-commonConstraintClass :: Typed.TypedTerm (S.Set Syntax.RdfsClass) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintClass x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "class"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the closed variant of hydra.shacl.model.CommonConstraint-commonConstraintClosed :: Typed.TypedTerm Model.Closed -> Typed.TypedTerm Model.CommonConstraint-commonConstraintClosed x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "closed"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL name token for hydra.shacl.model.CommonConstraint-commonConstraintCommonConstraint :: Typed.TypedName Model.CommonConstraint-commonConstraintCommonConstraint = Typed.TypedName (Core.Name "hydra.shacl.model.CommonConstraint")---- | DSL injection for the datatype variant of hydra.shacl.model.CommonConstraint-commonConstraintDatatype :: Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Model.CommonConstraint-commonConstraintDatatype x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "datatype"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the disjoint variant of hydra.shacl.model.CommonConstraint-commonConstraintDisjoint :: Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintDisjoint x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "disjoint"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the equals variant of hydra.shacl.model.CommonConstraint-commonConstraintEquals :: Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintEquals x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "equals"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the hasValue variant of hydra.shacl.model.CommonConstraint-commonConstraintHasValue :: Typed.TypedTerm (S.Set Syntax.Node) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintHasValue x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "hasValue"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the in variant of hydra.shacl.model.CommonConstraint-commonConstraintIn :: Typed.TypedTerm [Syntax.Node] -> Typed.TypedTerm Model.CommonConstraint-commonConstraintIn x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "in"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the languageIn variant of hydra.shacl.model.CommonConstraint-commonConstraintLanguageIn :: Typed.TypedTerm (S.Set Syntax.LanguageTag) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintLanguageIn x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "languageIn"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the maxExclusive variant of hydra.shacl.model.CommonConstraint-commonConstraintMaxExclusive :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Model.CommonConstraint-commonConstraintMaxExclusive x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "maxExclusive"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the maxInclusive variant of hydra.shacl.model.CommonConstraint-commonConstraintMaxInclusive :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Model.CommonConstraint-commonConstraintMaxInclusive x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "maxInclusive"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the maxLength variant of hydra.shacl.model.CommonConstraint-commonConstraintMaxLength :: Typed.TypedTerm Integer -> Typed.TypedTerm Model.CommonConstraint-commonConstraintMaxLength x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "maxLength"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the minExclusive variant of hydra.shacl.model.CommonConstraint-commonConstraintMinExclusive :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Model.CommonConstraint-commonConstraintMinExclusive x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "minExclusive"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the minInclusive variant of hydra.shacl.model.CommonConstraint-commonConstraintMinInclusive :: Typed.TypedTerm Syntax.Literal -> Typed.TypedTerm Model.CommonConstraint-commonConstraintMinInclusive x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "minInclusive"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the minLength variant of hydra.shacl.model.CommonConstraint-commonConstraintMinLength :: Typed.TypedTerm Integer -> Typed.TypedTerm Model.CommonConstraint-commonConstraintMinLength x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "minLength"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the node variant of hydra.shacl.model.CommonConstraint-commonConstraintNode :: Typed.TypedTerm (S.Set (Model.Reference Model.NodeShape)) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintNode x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "node"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the nodeKind variant of hydra.shacl.model.CommonConstraint-commonConstraintNodeKind :: Typed.TypedTerm Model.NodeKind -> Typed.TypedTerm Model.CommonConstraint-commonConstraintNodeKind x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "nodeKind"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the not variant of hydra.shacl.model.CommonConstraint-commonConstraintNot :: Typed.TypedTerm (S.Set (Model.Reference Model.Shape)) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintNot x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "not"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the or variant of hydra.shacl.model.CommonConstraint-commonConstraintOr :: Typed.TypedTerm (S.Set (Model.Reference Model.Shape)) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintOr x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "or"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the pattern variant of hydra.shacl.model.CommonConstraint-commonConstraintPattern :: Typed.TypedTerm Model.Pattern -> Typed.TypedTerm Model.CommonConstraint-commonConstraintPattern x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "pattern"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the property variant of hydra.shacl.model.CommonConstraint-commonConstraintProperty :: Typed.TypedTerm (S.Set (Model.Reference Model.PropertyShape)) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintProperty x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "property"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the xone variant of hydra.shacl.model.CommonConstraint-commonConstraintXone :: Typed.TypedTerm (S.Set (Model.Reference Model.Shape)) -> Typed.TypedTerm Model.CommonConstraint-commonConstraintXone x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.CommonConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "xone"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL constructor for hydra.shacl.model.CommonProperties-commonProperties :: Typed.TypedTerm (S.Set Model.CommonConstraint) -> Typed.TypedTerm (Maybe Bool) -> Typed.TypedTerm Syntax.LangStrings -> Typed.TypedTerm Model.Severity -> Typed.TypedTerm (S.Set Syntax.RdfsClass) -> Typed.TypedTerm (S.Set Syntax.IriOrLiteral) -> Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Model.CommonProperties-commonProperties constraints deactivated message severity targetClass targetNode targetObjectsOf targetSubjectsOf =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Typed.unTypedTerm constraints)},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Typed.unTypedTerm deactivated)},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Typed.unTypedTerm message)},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Typed.unTypedTerm severity)},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Typed.unTypedTerm targetClass)},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Typed.unTypedTerm targetNode)},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Typed.unTypedTerm targetObjectsOf)},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Typed.unTypedTerm targetSubjectsOf)}]}))---- | DSL name token for hydra.shacl.model.CommonProperties-commonPropertiesCommonProperties :: Typed.TypedName Model.CommonProperties-commonPropertiesCommonProperties = Typed.TypedName (Core.Name "hydra.shacl.model.CommonProperties")---- | DSL accessor for the constraints field of hydra.shacl.model.CommonProperties-commonPropertiesConstraints :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Model.CommonConstraint)-commonPropertiesConstraints x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "constraints")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the deactivated field of hydra.shacl.model.CommonProperties-commonPropertiesDeactivated :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (Maybe Bool)-commonPropertiesDeactivated x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "deactivated")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the message field of hydra.shacl.model.CommonProperties-commonPropertiesMessage :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm Syntax.LangStrings-commonPropertiesMessage x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "message")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the severity field of hydra.shacl.model.CommonProperties-commonPropertiesSeverity :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm Model.Severity-commonPropertiesSeverity x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "severity")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the targetClass field of hydra.shacl.model.CommonProperties-commonPropertiesTargetClass :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.RdfsClass)-commonPropertiesTargetClass x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "targetClass")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the targetNode field of hydra.shacl.model.CommonProperties-commonPropertiesTargetNode :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.IriOrLiteral)-commonPropertiesTargetNode x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "targetNode")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the targetObjectsOf field of hydra.shacl.model.CommonProperties-commonPropertiesTargetObjectsOf :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.Property)-commonPropertiesTargetObjectsOf x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the targetSubjectsOf field of hydra.shacl.model.CommonProperties-commonPropertiesTargetSubjectsOf :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.Property)-commonPropertiesTargetSubjectsOf x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-        Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the constraints field of hydra.shacl.model.CommonProperties-commonPropertiesWithConstraints :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Model.CommonConstraint) -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithConstraints original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "deactivated")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "message")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "severity")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetClass")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetNode")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the deactivated field of hydra.shacl.model.CommonProperties-commonPropertiesWithDeactivated :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (Maybe Bool) -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithDeactivated original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "message")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "severity")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetClass")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetNode")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the message field of hydra.shacl.model.CommonProperties-commonPropertiesWithMessage :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm Syntax.LangStrings -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithMessage original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "deactivated")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "severity")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetClass")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetNode")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the severity field of hydra.shacl.model.CommonProperties-commonPropertiesWithSeverity :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm Model.Severity -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithSeverity original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "deactivated")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "message")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetClass")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetNode")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the targetClass field of hydra.shacl.model.CommonProperties-commonPropertiesWithTargetClass :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.RdfsClass) -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithTargetClass original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "deactivated")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "message")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "severity")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetNode")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the targetNode field of hydra.shacl.model.CommonProperties-commonPropertiesWithTargetNode :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.IriOrLiteral) -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithTargetNode original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "deactivated")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "message")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "severity")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetClass")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the targetObjectsOf field of hydra.shacl.model.CommonProperties-commonPropertiesWithTargetObjectsOf :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithTargetObjectsOf original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "deactivated")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "message")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "severity")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetClass")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetNode")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetSubjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the targetSubjectsOf field of hydra.shacl.model.CommonProperties-commonPropertiesWithTargetSubjectsOf :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Model.CommonProperties-commonPropertiesWithTargetSubjectsOf original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "deactivated"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "deactivated")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "message"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "message")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "severity"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "severity")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetClass"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetClass")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetNode"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetNode")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetObjectsOf"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.CommonProperties"),-              Core.projectionFieldName = (Core.Name "targetObjectsOf")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "targetSubjectsOf"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL composition builder for the decoder of hydra.shacl.model.Definition-decodeDefinition :: Typed.TypedTerm (Graph.Graph -> Core.Term -> Either Errors.DecodingError a) -> Typed.TypedTerm (Graph.Graph -> Core.Term -> Either Errors.DecodingError (Model.Definition a))-decodeDefinition a =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.shacl.model.definition")),-      Core.applicationArgument = (Typed.unTypedTerm a)}))---- | DSL composition builder for the decoder of hydra.shacl.model.Reference-decodeReference :: Typed.TypedTerm (Graph.Graph -> Core.Term -> Either Errors.DecodingError a) -> Typed.TypedTerm (Graph.Graph -> Core.Term -> Either Errors.DecodingError (Model.Reference a))-decodeReference a =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.shacl.model.reference")),-      Core.applicationArgument = (Typed.unTypedTerm a)}))---- | DSL constructor for hydra.shacl.model.Definition-definition :: Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm a -> Typed.TypedTerm (Model.Definition a)-definition iri target =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Definition"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "iri"),-          Core.fieldTerm = (Typed.unTypedTerm iri)},-        Core.Field {-          Core.fieldName = (Core.Name "target"),-          Core.fieldTerm = (Typed.unTypedTerm target)}]}))---- | DSL name token for hydra.shacl.model.Definition-definitionDefinition :: Typed.TypedName (Model.Definition a)-definitionDefinition = Typed.TypedName (Core.Name "hydra.shacl.model.Definition")---- | DSL accessor for the iri field of hydra.shacl.model.Definition-definitionIri :: Typed.TypedTerm (Model.Definition a) -> Typed.TypedTerm Syntax.Iri-definitionIri x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.Definition"),-        Core.projectionFieldName = (Core.Name "iri")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the target field of hydra.shacl.model.Definition-definitionTarget :: Typed.TypedTerm (Model.Definition a) -> Typed.TypedTerm a-definitionTarget x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.Definition"),-        Core.projectionFieldName = (Core.Name "target")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the iri field of hydra.shacl.model.Definition-definitionWithIri :: Typed.TypedTerm (Model.Definition a) -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm (Model.Definition a)-definitionWithIri original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Definition"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "iri"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "target"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.Definition"),-              Core.projectionFieldName = (Core.Name "target")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the target field of hydra.shacl.model.Definition-definitionWithTarget :: Typed.TypedTerm (Model.Definition a) -> Typed.TypedTerm a -> Typed.TypedTerm (Model.Definition a)-definitionWithTarget original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Definition"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "iri"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.Definition"),-              Core.projectionFieldName = (Core.Name "iri")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "target"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL composition builder for the encoder of hydra.shacl.model.Definition-encodeDefinition :: Typed.TypedTerm (a -> Core.Term) -> Typed.TypedTerm (Model.Definition a -> Core.Term)-encodeDefinition a =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.encode.shacl.model.definition")),-      Core.applicationArgument = (Typed.unTypedTerm a)}))---- | DSL composition builder for the encoder of hydra.shacl.model.Reference-encodeReference :: Typed.TypedTerm (a -> Core.Term) -> Typed.TypedTerm (Model.Reference a -> Core.Term)-encodeReference a =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.encode.shacl.model.reference")),-      Core.applicationArgument = (Typed.unTypedTerm a)}))---- | DSL injection for the blankNode variant of hydra.shacl.model.NodeKind-nodeKindBlankNode :: Typed.TypedTerm Model.NodeKind-nodeKindBlankNode =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.NodeKind"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "blankNode"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL injection for the blankNodeOrIri variant of hydra.shacl.model.NodeKind-nodeKindBlankNodeOrIri :: Typed.TypedTerm Model.NodeKind-nodeKindBlankNodeOrIri =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.NodeKind"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "blankNodeOrIri"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL injection for the blankNodeOrLiteral variant of hydra.shacl.model.NodeKind-nodeKindBlankNodeOrLiteral :: Typed.TypedTerm Model.NodeKind-nodeKindBlankNodeOrLiteral =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.NodeKind"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "blankNodeOrLiteral"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL injection for the iri variant of hydra.shacl.model.NodeKind-nodeKindIri :: Typed.TypedTerm Model.NodeKind-nodeKindIri =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.NodeKind"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "iri"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL injection for the iriOrLiteral variant of hydra.shacl.model.NodeKind-nodeKindIriOrLiteral :: Typed.TypedTerm Model.NodeKind-nodeKindIriOrLiteral =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.NodeKind"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "iriOrLiteral"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL injection for the literal variant of hydra.shacl.model.NodeKind-nodeKindLiteral :: Typed.TypedTerm Model.NodeKind-nodeKindLiteral =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.NodeKind"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "literal"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL name token for hydra.shacl.model.NodeKind-nodeKindNodeKind :: Typed.TypedName Model.NodeKind-nodeKindNodeKind = Typed.TypedName (Core.Name "hydra.shacl.model.NodeKind")---- | DSL constructor for hydra.shacl.model.NodeShape-nodeShape :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm Model.NodeShape-nodeShape common =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.NodeShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Typed.unTypedTerm common)}]}))---- | DSL accessor for the common field of hydra.shacl.model.NodeShape-nodeShapeCommon :: Typed.TypedTerm Model.NodeShape -> Typed.TypedTerm Model.CommonProperties-nodeShapeCommon x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.NodeShape"),-        Core.projectionFieldName = (Core.Name "common")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.shacl.model.NodeShape-nodeShapeNodeShape :: Typed.TypedName Model.NodeShape-nodeShapeNodeShape = Typed.TypedName (Core.Name "hydra.shacl.model.NodeShape")---- | DSL updater for the common field of hydra.shacl.model.NodeShape-nodeShapeWithCommon :: Typed.TypedTerm Model.NodeShape -> Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm Model.NodeShape-nodeShapeWithCommon original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.NodeShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL constructor for hydra.shacl.model.Pattern-pattern :: Typed.TypedTerm String -> Typed.TypedTerm (Maybe String) -> Typed.TypedTerm Model.Pattern-pattern regex flags =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Pattern"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "regex"),-          Core.fieldTerm = (Typed.unTypedTerm regex)},-        Core.Field {-          Core.fieldName = (Core.Name "flags"),-          Core.fieldTerm = (Typed.unTypedTerm flags)}]}))---- | DSL accessor for the flags field of hydra.shacl.model.Pattern-patternFlags :: Typed.TypedTerm Model.Pattern -> Typed.TypedTerm (Maybe String)-patternFlags x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.Pattern"),-        Core.projectionFieldName = (Core.Name "flags")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.shacl.model.Pattern-patternPattern :: Typed.TypedName Model.Pattern-patternPattern = Typed.TypedName (Core.Name "hydra.shacl.model.Pattern")---- | DSL accessor for the regex field of hydra.shacl.model.Pattern-patternRegex :: Typed.TypedTerm Model.Pattern -> Typed.TypedTerm String-patternRegex x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.Pattern"),-        Core.projectionFieldName = (Core.Name "regex")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the flags field of hydra.shacl.model.Pattern-patternWithFlags :: Typed.TypedTerm Model.Pattern -> Typed.TypedTerm (Maybe String) -> Typed.TypedTerm Model.Pattern-patternWithFlags original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Pattern"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "regex"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.Pattern"),-              Core.projectionFieldName = (Core.Name "regex")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "flags"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL updater for the regex field of hydra.shacl.model.Pattern-patternWithRegex :: Typed.TypedTerm Model.Pattern -> Typed.TypedTerm String -> Typed.TypedTerm Model.Pattern-patternWithRegex original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.Pattern"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "regex"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "flags"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.Pattern"),-              Core.projectionFieldName = (Core.Name "flags")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL constructor for hydra.shacl.model.PropertyShape-propertyShape :: Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm (S.Set Model.PropertyShapeConstraint) -> Typed.TypedTerm (Maybe Syntax.Node) -> Typed.TypedTerm Syntax.LangStrings -> Typed.TypedTerm Syntax.LangStrings -> Typed.TypedTerm (Maybe Integer) -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Model.PropertyShape-propertyShape common constraints defaultValue description name order path =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Typed.unTypedTerm common)},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Typed.unTypedTerm constraints)},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Typed.unTypedTerm defaultValue)},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Typed.unTypedTerm description)},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Typed.unTypedTerm name)},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Typed.unTypedTerm order)},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Typed.unTypedTerm path)}]}))---- | DSL accessor for the common field of hydra.shacl.model.PropertyShape-propertyShapeCommon :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Model.CommonProperties-propertyShapeCommon x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-        Core.projectionFieldName = (Core.Name "common")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL injection for the lessThan variant of hydra.shacl.model.PropertyShapeConstraint-propertyShapeConstraintLessThan :: Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Model.PropertyShapeConstraint-propertyShapeConstraintLessThan x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.PropertyShapeConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "lessThan"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the lessThanOrEquals variant of hydra.shacl.model.PropertyShapeConstraint-propertyShapeConstraintLessThanOrEquals :: Typed.TypedTerm (S.Set Syntax.Property) -> Typed.TypedTerm Model.PropertyShapeConstraint-propertyShapeConstraintLessThanOrEquals x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.PropertyShapeConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "lessThanOrEquals"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the maxCount variant of hydra.shacl.model.PropertyShapeConstraint-propertyShapeConstraintMaxCount :: Typed.TypedTerm Integer -> Typed.TypedTerm Model.PropertyShapeConstraint-propertyShapeConstraintMaxCount x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.PropertyShapeConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "maxCount"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the minCount variant of hydra.shacl.model.PropertyShapeConstraint-propertyShapeConstraintMinCount :: Typed.TypedTerm Integer -> Typed.TypedTerm Model.PropertyShapeConstraint-propertyShapeConstraintMinCount x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.PropertyShapeConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "minCount"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL name token for hydra.shacl.model.PropertyShapeConstraint-propertyShapeConstraintPropertyShapeConstraint :: Typed.TypedName Model.PropertyShapeConstraint-propertyShapeConstraintPropertyShapeConstraint = Typed.TypedName (Core.Name "hydra.shacl.model.PropertyShapeConstraint")---- | DSL injection for the qualifiedValueShape variant of hydra.shacl.model.PropertyShapeConstraint-propertyShapeConstraintQualifiedValueShape :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm Model.PropertyShapeConstraint-propertyShapeConstraintQualifiedValueShape x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.PropertyShapeConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "qualifiedValueShape"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the uniqueLang variant of hydra.shacl.model.PropertyShapeConstraint-propertyShapeConstraintUniqueLang :: Typed.TypedTerm Bool -> Typed.TypedTerm Model.PropertyShapeConstraint-propertyShapeConstraintUniqueLang x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.PropertyShapeConstraint"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "uniqueLang"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL accessor for the constraints field of hydra.shacl.model.PropertyShape-propertyShapeConstraints :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm (S.Set Model.PropertyShapeConstraint)-propertyShapeConstraints x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-        Core.projectionFieldName = (Core.Name "constraints")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the defaultValue field of hydra.shacl.model.PropertyShape-propertyShapeDefaultValue :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm (Maybe Syntax.Node)-propertyShapeDefaultValue x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-        Core.projectionFieldName = (Core.Name "defaultValue")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the description field of hydra.shacl.model.PropertyShape-propertyShapeDescription :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Syntax.LangStrings-propertyShapeDescription x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-        Core.projectionFieldName = (Core.Name "description")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the name field of hydra.shacl.model.PropertyShape-propertyShapeName :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Syntax.LangStrings-propertyShapeName x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-        Core.projectionFieldName = (Core.Name "name")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the order field of hydra.shacl.model.PropertyShape-propertyShapeOrder :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm (Maybe Integer)-propertyShapeOrder x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-        Core.projectionFieldName = (Core.Name "order")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the path field of hydra.shacl.model.PropertyShape-propertyShapePath :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Syntax.Iri-propertyShapePath x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-        Core.projectionFieldName = (Core.Name "path")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.shacl.model.PropertyShape-propertyShapePropertyShape :: Typed.TypedName Model.PropertyShape-propertyShapePropertyShape = Typed.TypedName (Core.Name "hydra.shacl.model.PropertyShape")---- | DSL updater for the common field of hydra.shacl.model.PropertyShape-propertyShapeWithCommon :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Model.CommonProperties -> Typed.TypedTerm Model.PropertyShape-propertyShapeWithCommon original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "defaultValue")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "description")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "name")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "order")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "path")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the constraints field of hydra.shacl.model.PropertyShape-propertyShapeWithConstraints :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm (S.Set Model.PropertyShapeConstraint) -> Typed.TypedTerm Model.PropertyShape-propertyShapeWithConstraints original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "common")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "defaultValue")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "description")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "name")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "order")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "path")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the defaultValue field of hydra.shacl.model.PropertyShape-propertyShapeWithDefaultValue :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm (Maybe Syntax.Node) -> Typed.TypedTerm Model.PropertyShape-propertyShapeWithDefaultValue original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "common")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "description")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "name")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "order")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "path")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the description field of hydra.shacl.model.PropertyShape-propertyShapeWithDescription :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Syntax.LangStrings -> Typed.TypedTerm Model.PropertyShape-propertyShapeWithDescription original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "common")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "defaultValue")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "name")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "order")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "path")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the name field of hydra.shacl.model.PropertyShape-propertyShapeWithName :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Syntax.LangStrings -> Typed.TypedTerm Model.PropertyShape-propertyShapeWithName original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "common")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "defaultValue")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "description")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "order")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "path")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the order field of hydra.shacl.model.PropertyShape-propertyShapeWithOrder :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm (Maybe Integer) -> Typed.TypedTerm Model.PropertyShape-propertyShapeWithOrder original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "common")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "defaultValue")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "description")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "name")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "path")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the path field of hydra.shacl.model.PropertyShape-propertyShapeWithPath :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm Model.PropertyShape-propertyShapeWithPath original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "common"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "common")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "constraints"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "constraints")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "defaultValue"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "defaultValue")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "description"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "description")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "name"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "name")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "order"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.PropertyShape"),-              Core.projectionFieldName = (Core.Name "order")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "path"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL constructor for hydra.shacl.model.QualifiedValueShape-qualifiedValueShape :: Typed.TypedTerm (Model.Reference Model.Shape) -> Typed.TypedTerm Integer -> Typed.TypedTerm Integer -> Typed.TypedTerm (Maybe Bool) -> Typed.TypedTerm Model.QualifiedValueShape-qualifiedValueShape qualifiedValueShape qualifiedMaxCount qualifiedMinCount qualifiedValueShapesDisjoint =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShape"),-          Core.fieldTerm = (Typed.unTypedTerm qualifiedValueShape)},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMaxCount"),-          Core.fieldTerm = (Typed.unTypedTerm qualifiedMaxCount)},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMinCount"),-          Core.fieldTerm = (Typed.unTypedTerm qualifiedMinCount)},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShapesDisjoint"),-          Core.fieldTerm = (Typed.unTypedTerm qualifiedValueShapesDisjoint)}]}))---- | DSL accessor for the qualifiedMaxCount field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeQualifiedMaxCount :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm Integer-qualifiedValueShapeQualifiedMaxCount x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-        Core.projectionFieldName = (Core.Name "qualifiedMaxCount")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the qualifiedMinCount field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeQualifiedMinCount :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm Integer-qualifiedValueShapeQualifiedMinCount x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-        Core.projectionFieldName = (Core.Name "qualifiedMinCount")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeQualifiedValueShape :: Typed.TypedName Model.QualifiedValueShape-qualifiedValueShapeQualifiedValueShape = Typed.TypedName (Core.Name "hydra.shacl.model.QualifiedValueShape")---- | DSL accessor for the qualifiedValueShape field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeQualifiedValueShape2 :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm (Model.Reference Model.Shape)-qualifiedValueShapeQualifiedValueShape2 x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-        Core.projectionFieldName = (Core.Name "qualifiedValueShape")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL accessor for the qualifiedValueShapesDisjoint field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeQualifiedValueShapesDisjoint :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm (Maybe Bool)-qualifiedValueShapeQualifiedValueShapesDisjoint x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermProject (Core.Projection {-        Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-        Core.projectionFieldName = (Core.Name "qualifiedValueShapesDisjoint")})),-      Core.applicationArgument = (Typed.unTypedTerm x)}))---- | DSL updater for the qualifiedMaxCount field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeWithQualifiedMaxCount :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm Integer -> Typed.TypedTerm Model.QualifiedValueShape-qualifiedValueShapeWithQualifiedMaxCount original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShape"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedValueShape")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMaxCount"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMinCount"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedMinCount")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShapesDisjoint"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedValueShapesDisjoint")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the qualifiedMinCount field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeWithQualifiedMinCount :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm Integer -> Typed.TypedTerm Model.QualifiedValueShape-qualifiedValueShapeWithQualifiedMinCount original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShape"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedValueShape")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMaxCount"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedMaxCount")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMinCount"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShapesDisjoint"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedValueShapesDisjoint")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the qualifiedValueShape field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeWithQualifiedValueShape :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm (Model.Reference Model.Shape) -> Typed.TypedTerm Model.QualifiedValueShape-qualifiedValueShapeWithQualifiedValueShape original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShape"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMaxCount"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedMaxCount")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMinCount"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedMinCount")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShapesDisjoint"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedValueShapesDisjoint")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))}]}))---- | DSL updater for the qualifiedValueShapesDisjoint field of hydra.shacl.model.QualifiedValueShape-qualifiedValueShapeWithQualifiedValueShapesDisjoint :: Typed.TypedTerm Model.QualifiedValueShape -> Typed.TypedTerm (Maybe Bool) -> Typed.TypedTerm Model.QualifiedValueShape-qualifiedValueShapeWithQualifiedValueShapesDisjoint original newVal =-    Typed.TypedTerm (Core.TermRecord (Core.Record {-      Core.recordTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-      Core.recordFields = [-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShape"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedValueShape")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMaxCount"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedMaxCount")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedMinCount"),-          Core.fieldTerm = (Core.TermApplication (Core.Application {-            Core.applicationFunction = (Core.TermProject (Core.Projection {-              Core.projectionTypeName = (Core.Name "hydra.shacl.model.QualifiedValueShape"),-              Core.projectionFieldName = (Core.Name "qualifiedMinCount")})),-            Core.applicationArgument = (Typed.unTypedTerm original)}))},-        Core.Field {-          Core.fieldName = (Core.Name "qualifiedValueShapesDisjoint"),-          Core.fieldTerm = (Typed.unTypedTerm newVal)}]}))---- | DSL injection for the anonymous variant of hydra.shacl.model.Reference-referenceAnonymous :: Typed.TypedTerm a -> Typed.TypedTerm (Model.Reference a)-referenceAnonymous x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Reference"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "anonymous"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the definition variant of hydra.shacl.model.Reference-referenceDefinition :: Typed.TypedTerm (Model.Definition a) -> Typed.TypedTerm (Model.Reference a)-referenceDefinition x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Reference"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "definition"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the named variant of hydra.shacl.model.Reference-referenceNamed :: Typed.TypedTerm Syntax.Iri -> Typed.TypedTerm (Model.Reference a)-referenceNamed x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Reference"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "named"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL name token for hydra.shacl.model.Reference-referenceReference :: Typed.TypedName (Model.Reference a)-referenceReference = Typed.TypedName (Core.Name "hydra.shacl.model.Reference")---- | DSL injection for the info variant of hydra.shacl.model.Severity-severityInfo :: Typed.TypedTerm Model.Severity-severityInfo =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Severity"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "info"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL name token for hydra.shacl.model.Severity-severitySeverity :: Typed.TypedName Model.Severity-severitySeverity = Typed.TypedName (Core.Name "hydra.shacl.model.Severity")---- | DSL injection for the violation variant of hydra.shacl.model.Severity-severityViolation :: Typed.TypedTerm Model.Severity-severityViolation =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Severity"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "violation"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL injection for the warning variant of hydra.shacl.model.Severity-severityWarning :: Typed.TypedTerm Model.Severity-severityWarning =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Severity"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "warning"),-        Core.fieldTerm = Core.TermUnit}}))---- | DSL injection for the node variant of hydra.shacl.model.Shape-shapeNode :: Typed.TypedTerm Model.NodeShape -> Typed.TypedTerm Model.Shape-shapeNode x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Shape"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "node"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL injection for the property variant of hydra.shacl.model.Shape-shapeProperty :: Typed.TypedTerm Model.PropertyShape -> Typed.TypedTerm Model.Shape-shapeProperty x =-    Typed.TypedTerm (Core.TermInject (Core.Injection {-      Core.injectionTypeName = (Core.Name "hydra.shacl.model.Shape"),-      Core.injectionField = Core.Field {-        Core.fieldName = (Core.Name "property"),-        Core.fieldTerm = (Typed.unTypedTerm x)}}))---- | DSL name token for hydra.shacl.model.Shape-shapeShape :: Typed.TypedName Model.Shape-shapeShape = Typed.TypedName (Core.Name "hydra.shacl.model.Shape")---- | DSL constructor for the hydra.shacl.model.ShapesGraph wrapper-shapesGraph :: Typed.TypedTerm (S.Set (Model.Definition Model.Shape)) -> Typed.TypedTerm Model.ShapesGraph-shapesGraph x =-    Typed.TypedTerm (Core.TermWrap (Core.WrappedTerm {-      Core.wrappedTermTypeName = (Core.Name "hydra.shacl.model.ShapesGraph"),-      Core.wrappedTermBody = (Typed.unTypedTerm x)}))---- | DSL name token for hydra.shacl.model.ShapesGraph-shapesGraphShapesGraph :: Typed.TypedName Model.ShapesGraph-shapesGraphShapesGraph = Typed.TypedName (Core.Name "hydra.shacl.model.ShapesGraph")---- | DSL accessor for the body of hydra.shacl.model.ShapesGraph-unShapesGraph :: Typed.TypedTerm Model.ShapesGraph -> Typed.TypedTerm (S.Set (Model.Definition Model.Shape))-unShapesGraph x =-    Typed.TypedTerm (Core.TermApplication (Core.Application {-      Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.shacl.model.ShapesGraph")),-      Core.applicationArgument = (Typed.unTypedTerm x)}))