| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Momo.CoreTyping
Documentation
class CoreSyntax term => CoreTyping term where Source #
Methods
typeTerm :: MonadThrow m => Env term -> term -> m (Val term) Source #
kindDefType :: MonadThrow m => Env term -> Def term -> m (Kind term) Source #
checkValType :: MonadThrow m => Env term -> Val term -> m () Source #
checkKind :: MonadThrow m => Env term -> Kind term -> m () Source #
valTypeMatch :: Env term -> Val term -> Val term -> Bool Source #
defTypeEquiv :: Env term -> Kind term -> Def term -> Def term -> Bool Source #
kindMatch :: Env term -> Kind term -> Kind term -> Bool Source #