kempe-0.1.1.2: Kempe compiler

Safe Haskell	None
Language	Haskell2010

Kempe.IR

Synopsis

writeModule :: SizeEnv -> Declarations () (ConsAnn MonoStackType) MonoStackType -> TempM [Stmt]
runTempM :: TempM a -> (a, WriteSt)
type TempM = State TempSt
prettyIR :: [Stmt] -> Doc ann
data WriteSt = WriteSt {
- wlabels :: [Label]
- temps :: [Int]
}
size :: SizeEnv -> KempeTy a -> Size

Documentation

writeModule :: SizeEnv -> Declarations () (ConsAnn MonoStackType) MonoStackType -> TempM [Stmt] Source #

runTempM :: TempM a -> (a, WriteSt) Source #

type TempM = State TempSt Source #

prettyIR :: [Stmt] -> Doc ann Source #

data WriteSt Source #

Constructors

WriteSt
Fields wlabels :: [Label] temps :: [Int]

size :: SizeEnv -> KempeTy a -> Size Source #

Don't call this on ill-kinded types; it won't throw any error.