ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.
DDC.Type.Bind
Synopsis
getBindType :: Eq n => [Bind n] -> Bound n -> Maybe (Int, Type n) Source #
Lookup the type of a bound thing from the binder stack. The binder stack contains the binders of all the TForalls we've entered under so far.
TForall