Documentation

matchFunType :: MonadMeta s m => TypeM s -> m (TypeM s, TypeM s) Source

inferType :: MonadConstraint (KindM s) s m => Depth -> (v -> TypeM s) -> TermM s v -> m (WitnessM s v) Source

inferPatternType :: MonadMeta s m => Depth -> PatM s -> m ([MetaT s], TypeM s, PatternPath -> TypeM s) Source

generalizeType :: MonadMeta s m => WitnessM s a -> m (Type k t, Core Convention a) Source