 | Yhc | Source code | Contents | Index |
| Type.Ctx |
| |||||
| |||||
| Documentation | |||||
| buildCtx :: IntState -> Pos -> [((Id, NT), Id)] -> TypeDict -> Exp Id | |||||
| buildDefaults :: Pos -> [((Id, NT), Id)] -> a -> [Id] -> IntState -> ([Decl Id], IntState) | |||||
| ctxsReduce :: IntState -> [(Id, NT)] -> [(Id, NT)] | |||||
| ctxsSimplify :: [Pos] -> IntState -> [((Id, Id), ([Id], [(Id, Id)]))] -> TypeDict -> [(Id, NT)] | |||||
| initCtxs :: [TypeDict] | |||||
| Produced by Haddock version 0.8 |