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 |