Safe Haskell | Safe-Infered |
---|
Documentation
data Constraint Source
type JLocalType = ([(VarRef, Constraint)], JType)Source
runTypeParser :: ParsecT [Char] st' Identity JLocalTypeSource
Safe Haskell | Safe-Infered |
---|
data Constraint Source
type JLocalType = ([(VarRef, Constraint)], JType)Source
runTypeParser :: ParsecT [Char] st' Identity JLocalTypeSource