Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
inferTypes :: Data a => ProgramFile a -> Map TypeScope (Map String IDType) Source #
analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv) Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
inferTypes :: Data a => ProgramFile a -> Map TypeScope (Map String IDType) Source #
analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv) Source #