|
|
|
|
|
Documentation |
|
type ExpList = (Exp Id, Exp Id, Exp Id, Exp Id) |
|
type Inherited = (ExpList, Exp Id, (TokenId, IdKind) -> Id) |
|
type Threaded = (IntState, Map TokenId Id) |
|
type FSMonad a = State Inherited Threaded a Threaded |
|
startfs :: (Decls Id -> FSMonad a) -> Decls Id -> IntState -> ((TokenId, IdKind) -> Id) -> (a, IntState, Map TokenId Id) |
|
fsList :: FSMonad ExpList |
|
fsId :: FSMonad (Exp Id) |
|
fsState :: FSMonad IntState |
|
fsTidFun :: FSMonad ((TokenId, IdKind) -> Id) |
|
fsRealData :: Id -> FSMonad Bool |
|
fsExpAppl :: Pos -> [Exp Id] -> FSMonad (Exp Id) |
|
fsInstanceFor :: Id -> Id -> Maybe Id -> IntState -> PackedString |
|
fsClsTypSel :: Pos -> Id -> Id -> Id -> FSMonad (Exp Id) |
|
fsExp2 :: Pos -> Id -> Id -> State a (IntState, Map TokenId Id) (Exp Id) (IntState, Map TokenId Id) |
|
fsExp2i :: Pos -> Id -> Id -> a -> (IntState, Map TokenId Id) -> (Id, (IntState, Map TokenId Id)) |
|
data TokenId |
Instances | |
|
|
Produced by Haddock version 0.8 |