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