Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Lifting and lowering of deBruijn indices in types.
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.
lowerT :: MapBoundT c n => Int -> c n -> c n Source
Wrapper for lowerAtDepthX
that starts at depth 0.
:: 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.