|
|
|
|
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 |
Instances | |
|
|
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 |
Instances | |
|
|
type NeedTable = Map (TokenId, IdKind) [Pos] |
|
type HideDeclIds = (HideDeclType, HideDeclData, HideDeclDataPrim, HideDeclClass, HideDeclInstance, HideDeclVarsType) |
|
data IdKind |
Instances | |
|
|
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 |