ddc-core-0.4.1.1: Disciplined Disciple Compiler core language and type checker.
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.
Produced by Haddock version 2.13.2