Copyright | disco team and contributors |
---|---|
License | BSD-3-Clause |
Maintainer | byorgey@gmail.com |
Safe Haskell | None |
Language | Haskell2010 |
Constraints generated by type inference & checking.
Synopsis
- data Constraint where
- CSub :: Type -> Type -> Constraint
- CEq :: Type -> Type -> Constraint
- CQual :: Qualifier -> Type -> Constraint
- CAnd :: [Constraint] -> Constraint
- CTrue :: Constraint
- COr :: [Constraint] -> Constraint
- CAll :: Bind [Name Type] Constraint -> Constraint
- cAnd :: [Constraint] -> Constraint
Documentation
data Constraint where Source #
Constraints are generated as a result of type inference and checking. These constraints are accumulated during the inference and checking phase and are subsequently solved by the constraint solver.
CSub :: Type -> Type -> Constraint | |
CEq :: Type -> Type -> Constraint | |
CQual :: Qualifier -> Type -> Constraint | |
CAnd :: [Constraint] -> Constraint | |
CTrue :: Constraint | |
COr :: [Constraint] -> Constraint | |
CAll :: Bind [Name Type] Constraint -> Constraint |
Instances
cAnd :: [Constraint] -> Constraint Source #