| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.Check
Synopsis
- checkTargetSpec :: [BareSpec] -> TargetSrc -> SEnv SortedReft -> [CoreBind] -> TargetSpec -> Either Diagnostics ()
- checkBareSpec :: ModName -> BareSpec -> Either Diagnostics ()
- checkTargetSrc :: Config -> TargetSrc -> Either Diagnostics ()
Documentation
checkTargetSpec :: [BareSpec] -> TargetSrc -> SEnv SortedReft -> [CoreBind] -> TargetSpec -> Either Diagnostics () Source #
Checking TargetSpec
checkBareSpec :: ModName -> BareSpec -> Either Diagnostics () Source #
Checking BareSpec ------------------------------------------------------------------------
checkTargetSrc :: Config -> TargetSrc -> Either Diagnostics () Source #
Checking TargetSrc ------------------------------------------------------------------------