Language.Haskell.Liquid.Constraint.ToFixpoint

Documentation

cgInfoFInfo :: TargetInfo -> CGInfo -> IO (FInfo Cinfo)

fixConfig :: FilePath -> Config -> Config

refinementEQs :: LocSpecType -> [(Expr, Expr)]

canRewrite :: HashSet Symbol -> Expr -> Expr -> Bool