| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.Check
Synopsis
- checkTargetSpec :: [BareSpec] -> TargetSrc -> SEnv SortedReft -> [CoreBind] -> TargetSpec -> Either Diagnostics ()
- checkBareSpec :: BareSpec -> Either Diagnostics ()
- checkTargetSrc :: Config -> TargetSrc -> Either Diagnostics ()
- tyCompat :: Var -> RType RTyCon RTyVar r -> Bool
Documentation
checkTargetSpec :: [BareSpec] -> TargetSrc -> SEnv SortedReft -> [CoreBind] -> TargetSpec -> Either Diagnostics () Source #
Checking TargetSpec
checkBareSpec :: BareSpec -> Either Diagnostics () Source #
Checking BareSpec ------------------------------------------------------------------------
checkTargetSrc :: Config -> TargetSrc -> Either Diagnostics () Source #
Checking TargetSrc ------------------------------------------------------------------------