State | Agda.Unused.Monad.State |
stateBlock | Agda.Unused.Monad.State |
stateCheck | Agda.Unused.Monad.State |
stateEmpty | Agda.Unused.Monad.State |
stateItems | Agda.Unused.Monad.State |
stateLookup | Agda.Unused.Monad.State |
stateModules | Agda.Unused.Monad.State |
stripPrefix | Agda.Unused.Types.Name |
stripSuffix | Agda.Unused.Utils |