Id | 1 (Type/Class) | MonadicFunctions | 2 (Data Constructor) | MonadicFunctions | idTP | StrategyLib, StrategyPrelude | ifM | MonadicFunctions | ifS | FlowTheme, StrategyLib | ifTP | FlowTheme, StrategyLib | ifTU | FlowTheme, StrategyLib | ifthenS | FlowTheme, StrategyLib | ifthenTP | FlowTheme, StrategyLib | ifthenTU | FlowTheme, StrategyLib | implode | TermRep | initMetrics | MetricsTheme, StrategyLib | inj | KeyholeTheme, StrategyLib | injTP | StrategyLib, StrategyPrelude, StrategyPrimitives | innermost | FixpointTheme, StrategyLib | innermost' | FixpointTheme, StrategyLib | introduce | RefactoringTheme, StrategyLib |
|