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 |