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