|
|
|
|
|
| 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 |
