| Safe Haskell | Safe-Infered |
|---|
DDC.Type.Transform.LiftT
Description
Lifting of deBruijn indices in a type.
Documentation
Methods
Arguments
| :: forall n . Ord n | |
| => Int | Number of levels to lift. |
| -> Int | Current binding depth. |
| -> c n | Lift type indices in this thing. |
| -> c n |
Lift type indices that are at least a certain depth by the given number of levels.
Arguments
| :: forall n . Ord n | |
| => Int | Number of levels to lift |
| -> c n | Lift type indices in this thing. |
| -> c n |
Wrapper for liftAtDepthT that starts at depth 0.