Index - H
| Here | Polysemy.Internal.Union, Polysemy.Membership |
| hoist | Polysemy.Internal.Union |
| HoistInterpretation | |
| 1 (Data Constructor) | Polysemy.Internal.Tactics |
| 2 (Data Constructor) | Polysemy.Internal.Strategy |
| HoistInterpretationH | Polysemy.Internal.Tactics |
| hoistSem | Polysemy.Internal |
| hoistStateIntoStateT | Polysemy.State |