From d7599fd70e0918ce5871c287574a2dbb21f73f85 Mon Sep 17 00:00:00 2001 From: Teddy Wing Date: Sun, 20 Aug 2017 10:45:23 +0200 Subject: Move `PluginList` out of `Plugin` directory Asking for `Plugin.Plugin...` is redundant. Take this module out of the `Plugin` directory to eliminate the repetition in naming. --- src/PluginList.hs | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 src/PluginList.hs (limited to 'src/PluginList.hs') diff --git a/src/PluginList.hs b/src/PluginList.hs new file mode 100644 index 0000000..bfcae7e --- /dev/null +++ b/src/PluginList.hs @@ -0,0 +1,15 @@ +module PluginList + ( plugins + ) where + +import Plugin.Base (Plugin) +import Plugin.GitHubCommit +import Plugin.GitRemoteSetOrigin + +-- | The list of plugins to load, minus the Help plugin, which would otherwise +-- cause a circular import. +plugins :: [Plugin] +plugins = + [ gitHubCommit + , gitRemoteSetOrigin + ] -- cgit v1.2.3