diff options
Diffstat (limited to 'src/Data/JLD/Model')
| -rw-r--r-- | src/Data/JLD/Model/InverseContext.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/JLD/Model/InverseContext.hs b/src/Data/JLD/Model/InverseContext.hs index ee85ce9..95cdeb8 100644 --- a/src/Data/JLD/Model/InverseContext.hs +++ b/src/Data/JLD/Model/InverseContext.hs | |||
| @@ -12,7 +12,7 @@ type InverseContext = Map Text (Map Text (Map Keyword (Map Text Text))) | |||
| 12 | 12 | ||
| 13 | hasKey3 :: Text -> Text -> Keyword -> InverseContext -> Bool | 13 | hasKey3 :: Text -> Text -> Keyword -> InverseContext -> Bool |
| 14 | hasKey3 var container type' inverseContext = | 14 | hasKey3 var container type' inverseContext = |
| 15 | M.lookup var inverseContext >>= M.lookup container >>= M.lookup type' |> isJust | 15 | M.lookup var inverseContext >>= M.lookup container |> maybe False (M.member type') |
| 16 | 16 | ||
| 17 | lookup4 :: Text -> Text -> Keyword -> Text -> InverseContext -> Maybe Text | 17 | lookup4 :: Text -> Text -> Keyword -> Text -> InverseContext -> Maybe Text |
| 18 | lookup4 var container type' typeMapping inverseContext = | 18 | lookup4 var container type' typeMapping inverseContext = |