liquidhaskell-boot-0.9.10.1.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Liquid

Synopsis

Checking a single module

checkTargetInfo :: TargetInfo -> IO (Output Doc) Source #