Safe Haskell | Safe-Infered |
---|
Lowering of deBruijn indices in a type.
Documentation
:: forall n . Ord n | |
=> Int | Number of levels to lower. |
-> Int | Current binding depth. |
-> c n | Lower type indices in this thing. |
-> c n |
Lower type indices that are at least a certain depth by the given number of levels.
Wrapper for lowerAtDepthT
that starts at depth 0.