| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Axioms
Contents
- expandProofs :: Provable a => GhcInfo -> [(Symbol, SpecType)] -> a -> CG a
- makeCombineType :: Maybe Type -> Type
- makeCombineVar :: Type -> Var
Documentation
Combining proofs
makeCombineType :: Maybe Type -> Type Source
makeCombineVar :: Type -> Var Source