@@ -1564,8 +1564,10 @@ getPkgCheck :: Opt -> Maybe String
1564getPkgCheck (PkgCheck str) = Just str
1564getPkgCheck (PkgCheck str) = Just str
1565getPkgCheck _ = Nothing
1565getPkgCheck _ = Nothing
1567−-- IdrisDoc
1567+-- | Returns None if given an Opt which is not PkgMkDoc
1568+-- Otherwise returns Just x, where x is the contents of PkgMkDoc
1568−getPkgMkDoc :: Opt -> Maybe String
1569+getPkgMkDoc :: Opt -- ^ Opt to extract
1570+ -> Maybe String -- ^ Result
1569getPkgMkDoc (PkgMkDoc str) = Just str
1571getPkgMkDoc (PkgMkDoc str) = Just str
1570getPkgMkDoc _ = Nothing
1572getPkgMkDoc _ = Nothing