| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
IR.Constraint.Constrain.Program
Synopsis
- constrain :: Program (Annotations, Variable) -> TC Constraint
- constrainExternDecls :: [(VarId, Type)] -> Constraint -> TC Constraint
- constrainExternDecl :: (VarId, Type) -> Constraint -> TC Constraint
- constrainTypeDefs :: [(TConId, TypeDef)] -> Constraint -> TC Constraint
- constrainTypeDef :: TConId -> TypeDef -> Constraint -> TC Constraint
- constrainVariant :: TConId -> [TVarId] -> DConId -> TypeVariant -> Constraint -> TC Constraint
- constrainDeclaration :: Identifier -> Scheme -> Constraint -> TC Constraint
Documentation
constrain :: Program (Annotations, Variable) -> TC Constraint Source #
constrainExternDecls :: [(VarId, Type)] -> Constraint -> TC Constraint Source #
EXTERN DECLS
constrainExternDecl :: (VarId, Type) -> Constraint -> TC Constraint Source #
constrainTypeDefs :: [(TConId, TypeDef)] -> Constraint -> TC Constraint Source #
TYPE DEFS
constrainTypeDef :: TConId -> TypeDef -> Constraint -> TC Constraint Source #
constrainVariant :: TConId -> [TVarId] -> DConId -> TypeVariant -> Constraint -> TC Constraint Source #
constrainDeclaration :: Identifier -> Scheme -> Constraint -> TC Constraint Source #
HELPER: CONSTRAIN NAME TO TYPE