Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Lifting and lowering level-1 deBruijn indices in code things.
Level-1 indices are used for type variables.
Documentation
liftT :: MapBoundT c n => Int -> c n -> c n Source #
Wrapper for liftAtDepthX
that starts at depth 0.
:: MapBoundT c n | |
=> Int | Number of levels to lift. |
-> Int | Current binding depth. |
-> c n | Lift expression indices in this thing. |
-> c n |
Lift debruijn indices less than or equal to the given depth.