Stability | experimental |
---|---|
Maintainer | developer@flocc.net |
Safe Haskell | None |
For more information please see http://www.flocc.net/
- parseTypes :: Monad m => String -> StateT IdxSet m [TypeDec]
- type TypeDec = (String, IdxTree, [(String, Idx)], TyTerm)
- typeDecToScheme :: TypeDec -> TyScheme
- numberTypes :: Monad m => [TypeDec] -> StateT IdxSet m [(Idx, TypeDec)]
- typeNameMap :: [(Idx, TypeDec)] -> [(String, Idx)]
- typeEnv :: [(Idx, TypeDec)] -> [(Idx, TyScheme)]
- typeDecsToSchemeExEnv :: [(Idx, TypeDec)] -> [(Idx, TySchemeEx)]
- generateNamedSchemeEnv :: [TypeDec] -> [(String, TyScheme)]
- generateNamedSchemeExEnv :: [TypeDec] -> [(String, TySchemeEx)]
Documentation
parseTypes :: Monad m => String -> StateT IdxSet m [TypeDec]
typeDecToScheme :: TypeDec -> TyScheme
Returns the type scheme of a type declaration
numberTypes :: Monad m => [TypeDec] -> StateT IdxSet m [(Idx, TypeDec)]
Number all types in a type dec list
typeNameMap :: [(Idx, TypeDec)] -> [(String, Idx)]
Return a map of names to type env indices
typeDecsToSchemeExEnv :: [(Idx, TypeDec)] -> [(Idx, TySchemeEx)]
typeDecsToSchemeEnv takes an associative list of type declarations |and returns an associative lift of SchemeEx values.
generateNamedSchemeEnv :: [TypeDec] -> [(String, TyScheme)]
Returns a named list of type schemes.
generateNamedSchemeExEnv :: [TypeDec] -> [(String, TySchemeEx)]
Returns a named list of type scheme ex's.