diff options
Diffstat (limited to 'src/Data/JLD/Model/ActiveContext.hs')
| -rw-r--r-- | src/Data/JLD/Model/ActiveContext.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Data/JLD/Model/ActiveContext.hs b/src/Data/JLD/Model/ActiveContext.hs index 5423036..f2118c4 100644 --- a/src/Data/JLD/Model/ActiveContext.hs +++ b/src/Data/JLD/Model/ActiveContext.hs | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | module Data.JLD.Model.ActiveContext ( ActiveContext (..), newActiveContext, lookupTerm, containsProtectedTerm,) where | 1 | module Data.JLD.Model.ActiveContext (ActiveContext (..), newActiveContext, lookupTerm, containsProtectedTerm) where |
| 2 | 2 | ||
| 3 | import Data.JLD.Prelude | 3 | import Data.JLD.Prelude |
| 4 | 4 | ||
| @@ -15,7 +15,7 @@ data ActiveContext = ActiveContext | |||
| 15 | { activeContextTerms :: Map Text TermDefinition | 15 | { activeContextTerms :: Map Text TermDefinition |
| 16 | , activeContextBaseIri :: Maybe IRIRef | 16 | , activeContextBaseIri :: Maybe IRIRef |
| 17 | , activeContextBaseUrl :: Maybe URI | 17 | , activeContextBaseUrl :: Maybe URI |
| 18 | , activeContextInverseContext :: InverseContext | 18 | , activeContextInverseContext :: Maybe InverseContext |
| 19 | , activeContextPreviousContext :: Maybe ActiveContext | 19 | , activeContextPreviousContext :: Maybe ActiveContext |
| 20 | , activeContextVocabularyMapping :: Maybe Text | 20 | , activeContextVocabularyMapping :: Maybe Text |
| 21 | , activeContextDefaultLanguage :: Maybe Language | 21 | , activeContextDefaultLanguage :: Maybe Language |
| @@ -30,7 +30,7 @@ newActiveContext fn = | |||
| 30 | { activeContextTerms = mempty | 30 | { activeContextTerms = mempty |
| 31 | , activeContextBaseIri = Nothing | 31 | , activeContextBaseIri = Nothing |
| 32 | , activeContextBaseUrl = Nothing | 32 | , activeContextBaseUrl = Nothing |
| 33 | , activeContextInverseContext = mempty | 33 | , activeContextInverseContext = Nothing |
| 34 | , activeContextPreviousContext = Nothing | 34 | , activeContextPreviousContext = Nothing |
| 35 | , activeContextVocabularyMapping = Nothing | 35 | , activeContextVocabularyMapping = Nothing |
| 36 | , activeContextDefaultLanguage = Nothing | 36 | , activeContextDefaultLanguage = Nothing |
