Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Lifting and lowering level-1 deBruijn indices in code things.
Level-1 indices are used for type variables.
Documentation
:: 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.