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