ddc-core-0.3.2.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