| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PTS.Check
Description
Type-checker.
Synopsis
- type_ :: (Eq a, Show a, PrettyPrec a, Specification s, MonadErr m, PrettyPrec err, AsErr err) => (a -> Maybe (ValueIntro err s a)) -> TermInf s a -> m (ValueIntro err s a, ValueIntro err s a)
- check_ :: (Eq a, Show a, PrettyPrec a, Specification s, MonadErr m, PrettyPrec err, AsErr err) => (a -> Maybe (ValueIntro err s a)) -> TermChk s a -> ValueIntro err s a -> m (ValueIntro err s a)
Documentation
Arguments
| :: (Eq a, Show a, PrettyPrec a, Specification s, MonadErr m, PrettyPrec err, AsErr err) | |
| => (a -> Maybe (ValueIntro err s a)) | environment |
| -> TermInf s a | term to type-check |
| -> m (ValueIntro err s a, ValueIntro err s a) | as result we get evaluated term and its type. |
We can infer the type of TermInf...
Arguments
| :: (Eq a, Show a, PrettyPrec a, Specification s, MonadErr m, PrettyPrec err, AsErr err) | |
| => (a -> Maybe (ValueIntro err s a)) | environment |
| -> TermChk s a | term to check |
| -> ValueIntro err s a | expected type |
| -> m (ValueIntro err s a) | as result we get evaluated term |
... and check the type of TermChk.