|
|
|
|
|
| Documentation |
|
| typeUnify :: ShowS -> NT -> NT -> TypeDown -> TypeState -> (NT, TypeState) |
|
| typeUnifyMany :: ShowS -> [NT] -> TypeDown -> TypeState -> (NT, TypeState) |
|
| typeUnifyApply :: (String -> Int -> String) -> [NT] -> TypeDown -> TypeState -> (NT, TypeState) |
|
| typePatCon :: Pos -> Id -> TypeDown -> TypeState -> ((Exp Id, NT, [Id]), TypeState) |
|
| typeExpCon :: Pos -> Id -> TypeDown -> TypeState -> ((Exp Id, NT), TypeState) |
|
| typeIdentDict :: (Id -> Exp Id) -> Pos -> Id -> TypeDown -> TypeState -> ((Exp Id, NT), TypeState) |
|
| getIdent :: (TokenId, IdKind) -> TypeDown -> b -> (Id, b) |
|
| getTypeErrors :: t -> TypeState -> ([String], TypeState) |
|
| typeError :: [Char] -> t -> TypeState -> a |
|
| typeNewTVar :: t -> TypeState -> (NT, TypeState) |
|
| typeIdentDef :: (Id -> a) -> t -> Id -> TypeDown -> TypeState -> ((a, NT), TypeState) |
|
| checkExist :: [(Id, NT)] -> [Id] -> t -> TypeState -> TypeState |
|
| funType :: Id -> [NT] -> NT |
|
| extendEnv :: [(Id, NT)] -> TypeDown -> b -> (TypeDown, b) |
|
| getEnv :: TypeDown -> b -> ([(Id, NT)], b) |
|
| msgFun :: Rhs id -> String -> String |
|
| msgPat :: Pat id -> String -> String |
|
| msgLit :: Pos -> String -> String -> a -> String |
|
| msgBool :: Exp id -> String -> String |
|
| msgGdExps :: [(Exp id, Exp id)] -> String -> String |
|
| msgAltExps :: [Alt id] -> String -> String |
|
| msgCase :: Exp id -> String -> String |
|
| msgAltPats :: [Alt id] -> String -> String |
|
| msgIf :: Exp id -> Exp id -> String -> String |
|
| msgApply :: HasPos a => [a] -> String -> Int -> String |
|
| msgList :: [Exp id] -> String -> String |
|
| msgExpType :: Pos -> String -> String |
|
| msgAs :: Pos -> String -> String |
|
| msgNK :: Pos -> String -> String |
|
| newIdent :: t -> TypeState -> (Id, TypeState) |
|
| getState :: t -> TypeState -> (IntState, TypeState) |
|
| setState :: IntState -> t -> TypeState -> TypeState |
|
| typeOfMain :: Flags -> ((TokenId, IdKind) -> Id) -> Decls Id -> IntState -> IO IntState |
|
| Produced by Haddock version 0.8 |
