Hpp

parseDefinition

preprocess

data HppState

emptyHppState

initHppState

addDefinition

runHpp

streamHpp

data HppT m a

data HppOutput