Safe Haskell | Safe-Inferred |
---|
Lifting of deBruijn indices in a type.
- liftT :: MapBoundT c n => Int -> c n -> c n
- liftAtDepthT :: MapBoundT c n => Int -> Int -> c n -> c n
- lowerT :: MapBoundT c n => Int -> c n -> c n
- lowerAtDepthT :: MapBoundT c n => Int -> Int -> c n -> c n
- class MapBoundT c n where
- mapBoundAtDepthT :: (Int -> Bound n -> Bound n) -> Int -> c n -> c n
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.