| Safe Haskell | Safe-Infered |
|---|
DDC.Core.Transform.LiftX
Description
Lift deBruijn indices in expressions.
Documentation
Methods
Arguments
| :: 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.
Arguments
| :: 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.