kempe-0.2.0.2: Kempe compiler
Safe HaskellNone
LanguageHaskell2010

Kempe.Shuttle

Documentation

monomorphize :: Int -> Declarations a c b -> Either (Error ()) (Declarations () (ConsAnn MonoStackType) MonoStackType, SizeEnv) Source #