Safe Haskell | Safe-Inferred |
---|
Lifting of deBruijn indices in a type.
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.
:: MapBoundT c n | |
=> Int | Number of levels to lower. |
-> Int | Current binding depth. |
-> c n | Lower expression indices in this thing. |
-> c n |
Lower debruijn indices less than or equal to the given depth.