on master help sign in
Added more Haddock
commit4aec1529884e1ee93072ab193a118738669e3c99 authorPhilip Rasmussen <pjor@itu.dk> dateWed 30 Apr 2014, 13:16 (13 years ago) parent35a2187
1 file changed+9
src/Idris/IdrisDoc.hs+9
src/Idris/IdrisDoc.hs+9
@@ -77,10 +77,19 @@ generateDocs ist nss' out =
7777
7878-- ----------------------------------------------------------------- [ Types ]
7979
80+-- | Either an error message or a result
8081type Failable = Either String
82+
83+-- | Internal representation of a fully qualified namespace name
8184type NsName = [T.Text]
85+
86+-- | All information to be documented about a single namespace member
8287type NsItem = (Name, Maybe Docs, Accessibility)
88+
89+-- | All information to be documented about a namespace
8390type NsInfo = [NsItem]
91+
92+-- | A map from namespace names to information about them
8493type NsDict = M.Map NsName NsInfo
8594
8695-- --------------------------------------------------------------- [ Utility ]