liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Check

Synopsis

Documentation

checkTargetSpec :: [BareSpec] -> TargetSrc -> SEnv SortedReft -> [CoreBind] -> TargetSpec -> Either Diagnostics () #

Checking TargetSpec

checkBareSpec :: ModName -> BareSpec -> Either Diagnostics () #

Checking BareSpec ------------------------------------------------------------------------