YhcSource codeContentsIndex
Need
Synopsis
data Flags
data Module id
data TokenId
type NeedTable = Map (TokenId, IdKind) [Pos]
type HideDeclIds = (HideDeclType, HideDeclData, HideDeclDataPrim, HideDeclClass, HideDeclInstance, HideDeclVarsType)
data IdKind
needProg :: Flags -> Module TokenId -> (NeedTable, TokenId -> [TokenId], Overlap, Either [Char] ((TokenId -> Bool) -> TokenId -> IdKind -> IE, [(PackedString, (PackedString, PackedString, Set TokenId) -> [[TokenId]] -> Bool, HideDeclIds)]))
Documentation
data Flags
show/hide Instances
Show Flags
data Module id

Note that some syntactic constructs contain the syntactic construct Type. However, the rename pass replaces this representation by the internal type representation NewType and NT. So the syntactic constructs that use Type are removed by the renaming pass or the type representation is only half translated (TokenId -> Id). Are the latter still used later?

It probably would have been better if the whole syntax had been parameterised with respect to the type representation; but such an additional parameter would also be tiresome.

data TokenId
show/hide Instances
type NeedTable = Map (TokenId, IdKind) [Pos]
type HideDeclIds = (HideDeclType, HideDeclData, HideDeclDataPrim, HideDeclClass, HideDeclInstance, HideDeclVarsType)
data IdKind
show/hide Instances
Eq IdKind
Ord IdKind
Show IdKind
needProg :: Flags -> Module TokenId -> (NeedTable, TokenId -> [TokenId], Overlap, Either [Char] ((TokenId -> Bool) -> TokenId -> IdKind -> IE, [(PackedString, (PackedString, PackedString, Set TokenId) -> [[TokenId]] -> Bool, HideDeclIds)]))
Produced by Haddock version 0.8