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