kempe-0.1.1.1: Kempe compiler
Safe HaskellNone
LanguageHaskell2010

Kempe.Shuttle

Documentation

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