| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Kempe.Shuttle
Documentation
monomorphize :: Int -> Module a c b -> Either (Error ()) (Module () (ConsAnn MonoStackType) MonoStackType, SizeEnv) Source #
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Kempe.Shuttle
monomorphize :: Int -> Module a c b -> Either (Error ()) (Module () (ConsAnn MonoStackType) MonoStackType, SizeEnv) Source #