{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Distribution.Simple.Program.GHC (
    GhcOptions(..),
    GhcMode(..),
    GhcOptimisation(..),
    GhcDynLinkMode(..),
    GhcProfAuto(..),

    ghcInvocation,
    renderGhcOptions,

    runGHC,

    packageDbArgsDb,
    normaliseGhcArgs

  ) where

import Prelude ()
import Distribution.Compat.Prelude

import Distribution.Backpack
import Distribution.Compat.Semigroup (First'(..), Last'(..), Option'(..))
import Distribution.Simple.GHC.ImplInfo
import Distribution.PackageDescription hiding (Flag)
import Distribution.ModuleName
import Distribution.Simple.Compiler hiding (Flag)
import qualified Distribution.Simple.Compiler as Compiler (Flag)
import Distribution.Simple.Flag
import Distribution.Simple.Program.Types
import Distribution.Simple.Program.Run
import Distribution.System
import Distribution.Pretty
import Distribution.Types.ComponentId
import Distribution.Verbosity
import Distribution.Version
import Distribution.Utils.NubList
import Language.Haskell.Extension

import Data.List (stripPrefix)
import qualified Data.Map as Map
import Data.Monoid (All(..), Any(..), Endo(..))
import qualified Data.Set as Set

normaliseGhcArgs :: Maybe Version -> PackageDescription -> [String] -> [String]
normaliseGhcArgs :: Maybe Version -> PackageDescription -> [[Char]] -> [[Char]]
normaliseGhcArgs (Just Version
ghcVersion) PackageDescription{[Char]
[[Char]]
[([Char], [Char])]
[(CompilerFlavor, VersionRange)]
[SourceRepo]
[TestSuite]
[Library]
[ForeignLib]
[Executable]
[Benchmark]
Maybe BuildType
Maybe SetupBuildInfo
Maybe Library
Either Version VersionRange
Either License License
ShortText
PackageIdentifier
extraDocFiles :: PackageDescription -> [[Char]]
extraTmpFiles :: PackageDescription -> [[Char]]
extraSrcFiles :: PackageDescription -> [[Char]]
dataDir :: PackageDescription -> [Char]
dataFiles :: PackageDescription -> [[Char]]
benchmarks :: PackageDescription -> [Benchmark]
testSuites :: PackageDescription -> [TestSuite]
foreignLibs :: PackageDescription -> [ForeignLib]
executables :: PackageDescription -> [Executable]
subLibraries :: PackageDescription -> [Library]
library :: PackageDescription -> Maybe Library
setupBuildInfo :: PackageDescription -> Maybe SetupBuildInfo
buildTypeRaw :: PackageDescription -> Maybe BuildType
customFieldsPD :: PackageDescription -> [([Char], [Char])]
category :: PackageDescription -> ShortText
description :: PackageDescription -> ShortText
synopsis :: PackageDescription -> ShortText
sourceRepos :: PackageDescription -> [SourceRepo]
bugReports :: PackageDescription -> ShortText
pkgUrl :: PackageDescription -> ShortText
homepage :: PackageDescription -> ShortText
testedWith :: PackageDescription -> [(CompilerFlavor, VersionRange)]
stability :: PackageDescription -> ShortText
author :: PackageDescription -> ShortText
maintainer :: PackageDescription -> ShortText
copyright :: PackageDescription -> ShortText
licenseFiles :: PackageDescription -> [[Char]]
licenseRaw :: PackageDescription -> Either License License
package :: PackageDescription -> PackageIdentifier
specVersionRaw :: PackageDescription -> Either Version VersionRange
extraDocFiles :: [[Char]]
extraTmpFiles :: [[Char]]
extraSrcFiles :: [[Char]]
dataDir :: [Char]
dataFiles :: [[Char]]
benchmarks :: [Benchmark]
testSuites :: [TestSuite]
foreignLibs :: [ForeignLib]
executables :: [Executable]
subLibraries :: [Library]
library :: Maybe Library
setupBuildInfo :: Maybe SetupBuildInfo
buildTypeRaw :: Maybe BuildType
customFieldsPD :: [([Char], [Char])]
category :: ShortText
description :: ShortText
synopsis :: ShortText
sourceRepos :: [SourceRepo]
bugReports :: ShortText
pkgUrl :: ShortText
homepage :: ShortText
testedWith :: [(CompilerFlavor, VersionRange)]
stability :: ShortText
author :: ShortText
maintainer :: ShortText
copyright :: ShortText
licenseFiles :: [[Char]]
licenseRaw :: Either License License
package :: PackageIdentifier
specVersionRaw :: Either Version VersionRange
..} [[Char]]
ghcArgs
   | Version
ghcVersion Version -> VersionRange -> Bool
`withinRange` VersionRange
supportedGHCVersions
   = [[Char]] -> [[Char]]
argumentFilters ([[Char]] -> [[Char]])
-> ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char] -> Bool) -> [[Char]] -> [[Char]]
forall a. (a -> Bool) -> [a] -> [a]
filter [Char] -> Bool
simpleFilters ([[Char]] -> [[Char]])
-> ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [[Char]] -> [[Char]]
filterRtsOpts ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]]
forall a b. (a -> b) -> a -> b
$ [[Char]]
ghcArgs
  where
    supportedGHCVersions :: VersionRange
    supportedGHCVersions :: VersionRange
supportedGHCVersions = VersionRange -> VersionRange -> VersionRange
intersectVersionRanges
        (Version -> VersionRange
orLaterVersion ([Int] -> Version
mkVersion [Int
8,Int
0]))
        (Version -> VersionRange
earlierVersion ([Int] -> Version
mkVersion [Int
8,Int
11]))

    from :: Monoid m => [Int] -> m -> m
    from :: [Int] -> m -> m
from [Int]
version m
flags
      | Version
ghcVersion Version -> VersionRange -> Bool
`withinRange` Version -> VersionRange
orLaterVersion ([Int] -> Version
mkVersion [Int]
version) = m
flags
      | Bool
otherwise = m
forall a. Monoid a => a
Evidence bound by a type signature of the constraint type Monoid m
mempty

    to :: Monoid m => [Int] -> m -> m
    to :: [Int] -> m -> m
to [Int]
version m
flags
      | Version
ghcVersion Version -> VersionRange -> Bool
`withinRange` Version -> VersionRange
earlierVersion ([Int] -> Version
mkVersion [Int]
version) = m
flags
      | Bool
otherwise = m
forall a. Monoid a => a
Evidence bound by a type signature of the constraint type Monoid m
mempty

    checkGhcFlags :: forall m . Monoid m => ([String] -> m) -> m
    checkGhcFlags :: ([[Char]] -> m) -> m
checkGhcFlags [[Char]] -> m
fun = [m] -> m
forall a. Monoid a => [a] -> a
Evidence bound by a type signature of the constraint type Monoid m
mconcat
        [ [[Char]] -> m
fun [[Char]]
ghcArgs
        , (Library -> BuildInfo) -> [Library] -> m
forall a. (a -> BuildInfo) -> [a] -> m
checkComponentFlags Library -> BuildInfo
libBuildInfo [Library]
pkgLibs
        , (Executable -> BuildInfo) -> [Executable] -> m
forall a. (a -> BuildInfo) -> [a] -> m
checkComponentFlags Executable -> BuildInfo
buildInfo [Executable]
executables
        , (TestSuite -> BuildInfo) -> [TestSuite] -> m
forall a. (a -> BuildInfo) -> [a] -> m
checkComponentFlags TestSuite -> BuildInfo
testBuildInfo [TestSuite]
testSuites
        , (Benchmark -> BuildInfo) -> [Benchmark] -> m
forall a. (a -> BuildInfo) -> [a] -> m
checkComponentFlags Benchmark -> BuildInfo
benchmarkBuildInfo [Benchmark]
benchmarks
        ]
      where
        pkgLibs :: [Library]
pkgLibs = Maybe Library -> [Library]
forall a. Maybe a -> [a]
maybeToList Maybe Library
library [Library] -> [Library] -> [Library]
forall a. [a] -> [a] -> [a]
++ [Library]
subLibraries

        checkComponentFlags :: (a -> BuildInfo) -> [a] -> m
        checkComponentFlags :: (a -> BuildInfo) -> [a] -> m
checkComponentFlags a -> BuildInfo
getInfo = (a -> m) -> [a] -> m
forall (t :: * -> *) m a.
(Foldable t, Monoid m) =>
(a -> m) -> t a -> m
Evidence bound by a type signature of the constraint type Monoid m
External instance of the constraint type Foldable []
foldMap (BuildInfo -> m
checkComponent (BuildInfo -> m) -> (a -> BuildInfo) -> a -> m
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> BuildInfo
getInfo)
          where
            checkComponent :: BuildInfo -> m
            checkComponent :: BuildInfo -> m
checkComponent = ([[Char]] -> m) -> [[[Char]]] -> m
forall (t :: * -> *) m a.
(Foldable t, Monoid m) =>
(a -> m) -> t a -> m
Evidence bound by a type signature of the constraint type Monoid m
External instance of the constraint type Foldable []
foldMap [[Char]] -> m
fun ([[[Char]]] -> m) -> (BuildInfo -> [[[Char]]]) -> BuildInfo -> m
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(CompilerFlavor, [[Char]])] -> [[[Char]]]
filterGhcOptions ([(CompilerFlavor, [[Char]])] -> [[[Char]]])
-> (BuildInfo -> [(CompilerFlavor, [[Char]])])
-> BuildInfo
-> [[[Char]]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. BuildInfo -> [(CompilerFlavor, [[Char]])]
allGhcOptions

            allGhcOptions :: BuildInfo -> [(CompilerFlavor, [String])]
            allGhcOptions :: BuildInfo -> [(CompilerFlavor, [[Char]])]
allGhcOptions = ((BuildInfo -> PerCompilerFlavor [[Char]])
 -> BuildInfo -> [(CompilerFlavor, [[Char]])])
-> [BuildInfo -> PerCompilerFlavor [[Char]]]
-> BuildInfo
-> [(CompilerFlavor, [[Char]])]
forall (t :: * -> *) m a.
(Foldable t, Monoid m) =>
(a -> m) -> t a -> m
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type Foldable []
foldMap (PerCompilerFlavor [[Char]] -> [(CompilerFlavor, [[Char]])]
forall v. PerCompilerFlavor v -> [(CompilerFlavor, v)]
perCompilerFlavorToList (PerCompilerFlavor [[Char]] -> [(CompilerFlavor, [[Char]])])
-> (BuildInfo -> PerCompilerFlavor [[Char]])
-> BuildInfo
-> [(CompilerFlavor, [[Char]])]
forall b c a. (b -> c) -> (a -> b) -> a -> c
.)
                [BuildInfo -> PerCompilerFlavor [[Char]]
options, BuildInfo -> PerCompilerFlavor [[Char]]
profOptions, BuildInfo -> PerCompilerFlavor [[Char]]
sharedOptions, BuildInfo -> PerCompilerFlavor [[Char]]
staticOptions]

            filterGhcOptions :: [(CompilerFlavor, [String])] -> [[String]]
            filterGhcOptions :: [(CompilerFlavor, [[Char]])] -> [[[Char]]]
filterGhcOptions [(CompilerFlavor, [[Char]])]
l = [[[Char]]
opts | (CompilerFlavor
GHC, [[Char]]
opts) <- [(CompilerFlavor, [[Char]])]
l]

    safeToFilterWarnings :: Bool
    safeToFilterWarnings :: Bool
safeToFilterWarnings = All -> Bool
getAll (All -> Bool) -> All -> Bool
forall a b. (a -> b) -> a -> b
$ ([[Char]] -> All) -> All
forall m. Monoid m => ([[Char]] -> m) -> m
External instance of the constraint type Monoid All
checkGhcFlags [[Char]] -> All
checkWarnings
      where
        checkWarnings :: [String] -> All
        checkWarnings :: [[Char]] -> All
checkWarnings = Bool -> All
All (Bool -> All) -> ([[Char]] -> Bool) -> [[Char]] -> All
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Set [Char] -> Bool
forall a. Set a -> Bool
Set.null (Set [Char] -> Bool)
-> ([[Char]] -> Set [Char]) -> [[Char]] -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char] -> Set [Char] -> Set [Char])
-> Set [Char] -> [[Char]] -> Set [Char]
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
External instance of the constraint type Foldable []
foldr [Char] -> Set [Char] -> Set [Char]
alter Set [Char]
forall a. Set a
Set.empty

        alter :: String -> Set String -> Set String
        alter :: [Char] -> Set [Char] -> Set [Char]
alter [Char]
flag = Endo (Set [Char]) -> Set [Char] -> Set [Char]
forall a. Endo a -> a -> a
appEndo (Endo (Set [Char]) -> Set [Char] -> Set [Char])
-> Endo (Set [Char]) -> Set [Char] -> Set [Char]
forall a b. (a -> b) -> a -> b
$ [[Char] -> Endo (Set [Char])] -> [Char] -> Endo (Set [Char])
forall a. Monoid a => [a] -> a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type forall a. Monoid (Endo a)
mconcat
            [ \[Char]
s -> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a. (a -> a) -> Endo a
Endo ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$ if [Char]
s [Char] -> [Char] -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
== [Char]
"-Werror" then [Char] -> Set [Char] -> Set [Char]
forall a. Ord a => a -> Set a -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.insert [Char]
s else Set [Char] -> Set [Char]
forall a. a -> a
id
            , \[Char]
s -> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a. (a -> a) -> Endo a
Endo ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$ if [Char]
s [Char] -> [Char] -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
== [Char]
"-Wwarn" then Set [Char] -> Set [Char] -> Set [Char]
forall a b. a -> b -> a
const Set [Char]
forall a. Set a
Set.empty else Set [Char] -> Set [Char]
forall a. a -> a
id
            , \[Char]
s -> [Int] -> Endo (Set [Char]) -> Endo (Set [Char])
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid (Endo a)
from [Int
8,Int
6] (Endo (Set [Char]) -> Endo (Set [Char]))
-> ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char])
-> Endo (Set [Char])
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a. (a -> a) -> Endo a
Endo ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$
                    if [Char]
s [Char] -> [Char] -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
== [Char]
"-Werror=compat"
                    then Set [Char] -> Set [Char] -> Set [Char]
forall a. Ord a => Set a -> Set a -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.union Set [Char]
compatWarningSet else Set [Char] -> Set [Char]
forall a. a -> a
id
            , \[Char]
s -> [Int] -> Endo (Set [Char]) -> Endo (Set [Char])
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid (Endo a)
from [Int
8,Int
6] (Endo (Set [Char]) -> Endo (Set [Char]))
-> ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char])
-> Endo (Set [Char])
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a. (a -> a) -> Endo a
Endo ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$
                    if [Char]
s [Char] -> [Char] -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
== [Char]
"-Wno-error=compat"
                    then (Set [Char] -> Set [Char] -> Set [Char]
forall a. Ord a => Set a -> Set a -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
`Set.difference` Set [Char]
compatWarningSet) else Set [Char] -> Set [Char]
forall a. a -> a
id
            , \[Char]
s -> [Int] -> Endo (Set [Char]) -> Endo (Set [Char])
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid (Endo a)
from [Int
8,Int
6] (Endo (Set [Char]) -> Endo (Set [Char]))
-> ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char])
-> Endo (Set [Char])
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a. (a -> a) -> Endo a
Endo ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$
                    if [Char]
s [Char] -> [Char] -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
== [Char]
"-Wwarn=compat"
                    then (Set [Char] -> Set [Char] -> Set [Char]
forall a. Ord a => Set a -> Set a -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
`Set.difference` Set [Char]
compatWarningSet) else Set [Char] -> Set [Char]
forall a. a -> a
id
            , [Int]
-> ([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char])
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type forall a. Monoid (Endo a)
from [Int
8,Int
4] (([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char]))
-> ([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$ [Char]
-> ([Char] -> Set [Char] -> Set [Char])
-> [Char]
-> Endo (Set [Char])
markFlag [Char]
"-Werror=" [Char] -> Set [Char] -> Set [Char]
forall a. Ord a => a -> Set a -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.insert
            , [Int]
-> ([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char])
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type forall a. Monoid (Endo a)
from [Int
8,Int
4] (([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char]))
-> ([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$ [Char]
-> ([Char] -> Set [Char] -> Set [Char])
-> [Char]
-> Endo (Set [Char])
markFlag [Char]
"-Wwarn=" [Char] -> Set [Char] -> Set [Char]
forall a. Ord a => a -> Set a -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.delete
            , [Int]
-> ([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char])
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type forall a. Monoid (Endo a)
from [Int
8,Int
4] (([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char]))
-> ([Char] -> Endo (Set [Char])) -> [Char] -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$ [Char]
-> ([Char] -> Set [Char] -> Set [Char])
-> [Char]
-> Endo (Set [Char])
markFlag [Char]
"-Wno-error=" [Char] -> Set [Char] -> Set [Char]
forall a. Ord a => a -> Set a -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.delete
            ] [Char]
flag

        markFlag
            :: String
            -> (String -> Set String -> Set String)
            -> String
            -> Endo (Set String)
        markFlag :: [Char]
-> ([Char] -> Set [Char] -> Set [Char])
-> [Char]
-> Endo (Set [Char])
markFlag [Char]
name [Char] -> Set [Char] -> Set [Char]
update [Char]
flag = (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a. (a -> a) -> Endo a
Endo ((Set [Char] -> Set [Char]) -> Endo (Set [Char]))
-> (Set [Char] -> Set [Char]) -> Endo (Set [Char])
forall a b. (a -> b) -> a -> b
$ case [Char] -> [Char] -> Maybe [Char]
forall a. Eq a => [a] -> [a] -> Maybe [a]
External instance of the constraint type Eq Char
stripPrefix [Char]
name [Char]
flag of
            Just [Char]
rest | Bool -> Bool
not ([Char] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
External instance of the constraint type Foldable []
null [Char]
rest) Bool -> Bool -> Bool
&& [Char]
rest [Char] -> [Char] -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
/= [Char]
"compat" -> [Char] -> Set [Char] -> Set [Char]
update [Char]
rest
            Maybe [Char]
_ -> Set [Char] -> Set [Char]
forall a. a -> a
id

    flagArgumentFilter :: [String] -> [String] -> [String]
    flagArgumentFilter :: [[Char]] -> [[Char]] -> [[Char]]
flagArgumentFilter [[Char]]
flags = [[Char]] -> [[Char]]
go
      where
        makeFilter :: String -> String -> Option' (First' ([String] -> [String]))
        makeFilter :: [Char] -> [Char] -> Option' (First' ([[Char]] -> [[Char]]))
makeFilter [Char]
flag [Char]
arg = Maybe (First' ([[Char]] -> [[Char]]))
-> Option' (First' ([[Char]] -> [[Char]]))
forall a. Maybe a -> Option' a
Option' (Maybe (First' ([[Char]] -> [[Char]]))
 -> Option' (First' ([[Char]] -> [[Char]])))
-> Maybe (First' ([[Char]] -> [[Char]]))
-> Option' (First' ([[Char]] -> [[Char]]))
forall a b. (a -> b) -> a -> b
$ ([[Char]] -> [[Char]]) -> First' ([[Char]] -> [[Char]])
forall a. a -> First' a
First' (([[Char]] -> [[Char]]) -> First' ([[Char]] -> [[Char]]))
-> ([Char] -> [[Char]] -> [[Char]])
-> [Char]
-> First' ([[Char]] -> [[Char]])
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [[Char]] -> [[Char]]
forall {a}. [Char] -> [a] -> [a]
filterRest ([Char] -> First' ([[Char]] -> [[Char]]))
-> Maybe [Char] -> Maybe (First' ([[Char]] -> [[Char]]))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
External instance of the constraint type Functor Maybe
<$> [Char] -> [Char] -> Maybe [Char]
forall a. Eq a => [a] -> [a] -> Maybe [a]
External instance of the constraint type Eq Char
stripPrefix [Char]
flag [Char]
arg
          where
            filterRest :: [Char] -> [a] -> [a]
filterRest [Char]
leftOver = case [Char] -> [Char]
dropEq [Char]
leftOver of
                [] -> Int -> [a] -> [a]
forall a. Int -> [a] -> [a]
drop Int
1
                [Char]
_ -> [a] -> [a]
forall a. a -> a
id

        checkFilter :: String -> Maybe ([String] -> [String])
        checkFilter :: [Char] -> Maybe ([[Char]] -> [[Char]])
checkFilter = (First' ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]])
-> Maybe (First' ([[Char]] -> [[Char]]))
-> Maybe ([[Char]] -> [[Char]])
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
External instance of the constraint type Functor Maybe
fmap First' ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]]
forall a. First' a -> a
getFirst' (Maybe (First' ([[Char]] -> [[Char]]))
 -> Maybe ([[Char]] -> [[Char]]))
-> ([Char] -> Maybe (First' ([[Char]] -> [[Char]])))
-> [Char]
-> Maybe ([[Char]] -> [[Char]])
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Option' (First' ([[Char]] -> [[Char]]))
-> Maybe (First' ([[Char]] -> [[Char]]))
forall a. Option' a -> Maybe a
getOption' (Option' (First' ([[Char]] -> [[Char]]))
 -> Maybe (First' ([[Char]] -> [[Char]])))
-> ([Char] -> Option' (First' ([[Char]] -> [[Char]])))
-> [Char]
-> Maybe (First' ([[Char]] -> [[Char]]))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char] -> [Char] -> Option' (First' ([[Char]] -> [[Char]])))
-> [[Char]] -> [Char] -> Option' (First' ([[Char]] -> [[Char]]))
forall (t :: * -> *) m a.
(Foldable t, Monoid m) =>
(a -> m) -> t a -> m
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type forall a. Semigroup a => Monoid (Option' a)
External instance of the constraint type forall a. Semigroup (First' a)
External instance of the constraint type Foldable []
foldMap [Char] -> [Char] -> Option' (First' ([[Char]] -> [[Char]]))
makeFilter [[Char]]
flags

        go :: [String] -> [String]
        go :: [[Char]] -> [[Char]]
go [] = []
        go ([Char]
arg:[[Char]]
args) = case [Char] -> Maybe ([[Char]] -> [[Char]])
checkFilter [Char]
arg of
            Just [[Char]] -> [[Char]]
f -> [[Char]] -> [[Char]]
go ([[Char]] -> [[Char]]
f [[Char]]
args)
            Maybe ([[Char]] -> [[Char]])
Nothing -> [Char]
arg [Char] -> [[Char]] -> [[Char]]
forall a. a -> [a] -> [a]
: [[Char]] -> [[Char]]
go [[Char]]
args

    argumentFilters :: [String] -> [String]
    argumentFilters :: [[Char]] -> [[Char]]
argumentFilters = [[Char]] -> [[Char]] -> [[Char]]
flagArgumentFilter
        [[Char]
"-ghci-script", [Char]
"-H", [Char]
"-interactive-print"]

    filterRtsOpts :: [String] -> [String]
    filterRtsOpts :: [[Char]] -> [[Char]]
filterRtsOpts = Bool -> [[Char]] -> [[Char]]
go Bool
False
      where
        go :: Bool -> [String] -> [String]
        go :: Bool -> [[Char]] -> [[Char]]
go Bool
_ [] = []
        go Bool
_ ([Char]
"+RTS":[[Char]]
opts) = Bool -> [[Char]] -> [[Char]]
go Bool
True [[Char]]
opts
        go Bool
_ ([Char]
"-RTS":[[Char]]
opts) = Bool -> [[Char]] -> [[Char]]
go Bool
False [[Char]]
opts
        go Bool
isRTSopts ([Char]
opt:[[Char]]
opts) = [[Char]] -> [[Char]]
addOpt ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]]
forall a b. (a -> b) -> a -> b
$ Bool -> [[Char]] -> [[Char]]
go Bool
isRTSopts [[Char]]
opts
          where
            addOpt :: [[Char]] -> [[Char]]
addOpt | Bool
isRTSopts = [[Char]] -> [[Char]]
forall a. a -> a
id
                   | Bool
otherwise = ([Char]
opt[Char] -> [[Char]] -> [[Char]]
forall a. a -> [a] -> [a]
:)

    simpleFilters :: String -> Bool
    simpleFilters :: [Char] -> Bool
simpleFilters = Bool -> Bool
not (Bool -> Bool) -> ([Char] -> Bool) -> [Char] -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Any -> Bool
getAny (Any -> Bool) -> ([Char] -> Any) -> [Char] -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [[Char] -> Any] -> [Char] -> Any
forall a. Monoid a => [a] -> a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mconcat
      [ Set [Char] -> [Char] -> Any
flagIn Set [Char]
simpleFlags
      , Bool -> Any
Any (Bool -> Any) -> ([Char] -> Bool) -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [Char] -> Bool
forall a. Eq a => [a] -> [a] -> Bool
External instance of the constraint type Eq Char
isPrefixOf [Char]
"-ddump-"
      , Bool -> Any
Any (Bool -> Any) -> ([Char] -> Bool) -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [Char] -> Bool
forall a. Eq a => [a] -> [a] -> Bool
External instance of the constraint type Eq Char
isPrefixOf [Char]
"-dsuppress-"
      , Bool -> Any
Any (Bool -> Any) -> ([Char] -> Bool) -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [Char] -> Bool
forall a. Eq a => [a] -> [a] -> Bool
External instance of the constraint type Eq Char
isPrefixOf [Char]
"-dno-suppress-"
      , Set [Char] -> [Char] -> Any
flagIn (Set [Char] -> [Char] -> Any) -> Set [Char] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$ [Char] -> [[Char]] -> Set [Char]
invertibleFlagSet [Char]
"-" [[Char]
"ignore-dot-ghci"]
      , Set [Char] -> [Char] -> Any
flagIn (Set [Char] -> [Char] -> Any)
-> ([[[Char]]] -> Set [Char]) -> [[[Char]]] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [[Char]] -> Set [Char]
invertibleFlagSet [Char]
"-f" ([[Char]] -> Set [Char])
-> ([[[Char]]] -> [[Char]]) -> [[[Char]]] -> Set [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [[[Char]]] -> [[Char]]
forall a. Monoid a => [a] -> a
External instance of the constraint type forall a. Monoid [a]
mconcat ([[[Char]]] -> [Char] -> Any) -> [[[Char]]] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$
            [ [ [Char]
"reverse-errors", [Char]
"warn-unused-binds", [Char]
"break-on-error"
              , [Char]
"break-on-exception", [Char]
"print-bind-result"
              , [Char]
"print-bind-contents", [Char]
"print-evld-with-show"
              , [Char]
"implicit-import-qualified", [Char]
"error-spans"
              ]
            , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
7,Int
8]
              [ [Char]
"print-explicit-foralls" -- maybe also earlier, but GHC-7.6 doesn't have --show-options
              , [Char]
"print-explicit-kinds"
              ]
            , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
0]
              [ [Char]
"print-explicit-coercions"
              , [Char]
"print-explicit-runtime-reps"
              , [Char]
"print-equality-relations"
              , [Char]
"print-unicode-syntax"
              , [Char]
"print-expanded-synonyms"
              , [Char]
"print-potential-instances"
              , [Char]
"print-typechecker-elaboration"
              ]
            , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
2]
                [ [Char]
"diagnostics-show-caret", [Char]
"local-ghci-history"
                , [Char]
"show-warning-groups", [Char]
"hide-source-paths"
                , [Char]
"show-hole-constraints"
                ]
            , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
4] [[Char]
"show-loaded-modules"]
            , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
6] [ [Char]
"ghci-leak-check", [Char]
"no-it" ]
            , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
10]
                [ [Char]
"defer-diagnostics"      -- affects printing of diagnostics
                , [Char]
"keep-going"             -- try harder, the build will still fail if it's erroneous
                , [Char]
"print-axiom-incomps"    -- print more debug info for closed type families
                ]
            ]
      , Set [Char] -> [Char] -> Any
flagIn (Set [Char] -> [Char] -> Any)
-> ([[Char]] -> Set [Char]) -> [[Char]] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [[Char]] -> Set [Char]
invertibleFlagSet [Char]
"-d" ([[Char]] -> [Char] -> Any) -> [[Char]] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$ [ [Char]
"ppr-case-as-let", [Char]
"ppr-ticks" ]
      , [Char] -> Any
isOptIntFlag
      , [Char] -> Any
isIntFlag
      , if Bool
safeToFilterWarnings
           then [Char] -> Any
isWarning ([Char] -> Any) -> ([Char] -> Any) -> [Char] -> Any
forall a. Semigroup a => a -> a -> a
External instance of the constraint type forall b a. Semigroup b => Semigroup (a -> b)
External instance of the constraint type Semigroup Any
<> (Bool -> Any
Any (Bool -> Any) -> ([Char] -> Bool) -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char]
"-w"[Char] -> [Char] -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
==))
           else [Char] -> Any
forall a. Monoid a => a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mempty
      , [Int] -> ([Char] -> Any) -> [Char] -> Any
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
from [Int
8,Int
6] (([Char] -> Any) -> [Char] -> Any)
-> ([Char] -> Any) -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$
        if Bool
safeToFilterHoles
           then [Char] -> Any
isTypedHoleFlag
           else [Char] -> Any
forall a. Monoid a => a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mempty
      ]

    flagIn :: Set String -> String -> Any
    flagIn :: Set [Char] -> [Char] -> Any
flagIn Set [Char]
set [Char]
flag = Bool -> Any
Any (Bool -> Any) -> Bool -> Any
forall a b. (a -> b) -> a -> b
$ [Char] -> Set [Char] -> Bool
forall a. Ord a => a -> Set a -> Bool
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.member [Char]
flag Set [Char]
set

    isWarning :: String -> Any
    isWarning :: [Char] -> Any
isWarning = [[Char] -> Any] -> [Char] -> Any
forall a. Monoid a => [a] -> a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mconcat ([[Char] -> Any] -> [Char] -> Any)
-> [[Char] -> Any] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$ ([Char] -> [Char] -> Any) -> [[Char]] -> [[Char] -> Any]
forall a b. (a -> b) -> [a] -> [b]
map ((Bool -> Any
Any (Bool -> Any) -> ([Char] -> Bool) -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) (([Char] -> Bool) -> [Char] -> Any)
-> ([Char] -> [Char] -> Bool) -> [Char] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [Char] -> Bool
forall a. Eq a => [a] -> [a] -> Bool
External instance of the constraint type Eq Char
isPrefixOf)
        [[Char]
"-fwarn-", [Char]
"-fno-warn-", [Char]
"-W", [Char]
"-Wno-"]

    simpleFlags :: Set String
    simpleFlags :: Set [Char]
simpleFlags = [[Char]] -> Set [Char]
forall a. Ord a => [a] -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.fromList ([[Char]] -> Set [Char])
-> ([[[Char]]] -> [[Char]]) -> [[[Char]]] -> Set [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [[[Char]]] -> [[Char]]
forall a. Monoid a => [a] -> a
External instance of the constraint type forall a. Monoid [a]
mconcat ([[[Char]]] -> Set [Char]) -> [[[Char]]] -> Set [Char]
forall a b. (a -> b) -> a -> b
$
      [ [ [Char]
"-n", [Char]
"-#include", [Char]
"-Rghc-timing", [Char]
"-dstg-stats"
        , [Char]
"-dth-dec-file", [Char]
"-dsource-stats", [Char]
"-dverbose-core2core"
        , [Char]
"-dverbose-stg2stg", [Char]
"-dcore-lint", [Char]
"-dstg-lint", [Char]
"-dcmm-lint"
        , [Char]
"-dasm-lint", [Char]
"-dannot-lint", [Char]
"-dshow-passes", [Char]
"-dfaststring-stats"
        , [Char]
"-fno-max-relevant-binds", [Char]
"-recomp", [Char]
"-no-recomp", [Char]
"-fforce-recomp"
        , [Char]
"-fno-force-recomp"
        ]

      , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
2]
          [ [Char]
"-fno-max-errors", [Char]
"-fdiagnostics-color=auto"
          , [Char]
"-fdiagnostics-color=always", [Char]
"-fdiagnostics-color=never"
          , [Char]
"-dppr-debug", [Char]
"-dno-debug-output"
          ]

      , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
4] [ [Char]
"-ddebug-output" ]
      , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
4] ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]]
forall a b. (a -> b) -> a -> b
$ [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
to [Int
8,Int
6] [ [Char]
"-fno-max-valid-substitutions" ]
      , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
6] [ [Char]
"-dhex-word-literals" ]
      , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
8] [ [Char]
"-fshow-docs-of-hole-fits", [Char]
"-fno-show-docs-of-hole-fits" ]
      ]

    isOptIntFlag :: String -> Any
    isOptIntFlag :: [Char] -> Any
isOptIntFlag = [[Char] -> Any] -> [Char] -> Any
forall a. Monoid a => [a] -> a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mconcat ([[Char] -> Any] -> [Char] -> Any)
-> ([[Char]] -> [[Char] -> Any]) -> [[Char]] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char] -> [Char] -> Any) -> [[Char]] -> [[Char] -> Any]
forall a b. (a -> b) -> [a] -> [b]
map (Bool -> [Char] -> [Char] -> Any
dropIntFlag Bool
True) ([[Char]] -> [Char] -> Any) -> [[Char]] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$ [[Char]
"-v", [Char]
"-j"]

    isIntFlag :: String -> Any
    isIntFlag :: [Char] -> Any
isIntFlag = [[Char] -> Any] -> [Char] -> Any
forall a. Monoid a => [a] -> a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mconcat ([[Char] -> Any] -> [Char] -> Any)
-> ([[[Char]]] -> [[Char] -> Any]) -> [[[Char]]] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char] -> [Char] -> Any) -> [[Char]] -> [[Char] -> Any]
forall a b. (a -> b) -> [a] -> [b]
map (Bool -> [Char] -> [Char] -> Any
dropIntFlag Bool
False) ([[Char]] -> [[Char] -> Any])
-> ([[[Char]]] -> [[Char]]) -> [[[Char]]] -> [[Char] -> Any]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [[[Char]]] -> [[Char]]
forall a. Monoid a => [a] -> a
External instance of the constraint type forall a. Monoid [a]
mconcat ([[[Char]]] -> [Char] -> Any) -> [[[Char]]] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$
        [ [ [Char]
"-fmax-relevant-binds", [Char]
"-ddpr-user-length", [Char]
"-ddpr-cols"
          , [Char]
"-dtrace-level", [Char]
"-fghci-hist-size" ]
        , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
2] [[Char]
"-fmax-uncovered-patterns", [Char]
"-fmax-errors"]
        , [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
4] ([[Char]] -> [[Char]]) -> [[Char]] -> [[Char]]
forall a b. (a -> b) -> a -> b
$ [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
to [Int
8,Int
6] [[Char]
"-fmax-valid-substitutions"]
        ]

    dropIntFlag :: Bool -> String -> String -> Any
    dropIntFlag :: Bool -> [Char] -> [Char] -> Any
dropIntFlag Bool
isOpt [Char]
flag [Char]
input = Bool -> Any
Any (Bool -> Any) -> Bool -> Any
forall a b. (a -> b) -> a -> b
$ case [Char] -> [Char] -> Maybe [Char]
forall a. Eq a => [a] -> [a] -> Maybe [a]
External instance of the constraint type Eq Char
stripPrefix [Char]
flag [Char]
input of
        Maybe [Char]
Nothing -> Bool
False
        Just [Char]
rest | Bool
isOpt Bool -> Bool -> Bool
&& [Char] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
External instance of the constraint type Foldable []
null [Char]
rest -> Bool
True
                  | Bool
otherwise -> case [Char] -> Maybe Int
parseInt [Char]
rest of
                        Just Int
_ -> Bool
True
                        Maybe Int
Nothing -> Bool
False
      where
        parseInt :: String -> Maybe Int
        parseInt :: [Char] -> Maybe Int
parseInt = [Char] -> Maybe Int
forall a. Read a => [Char] -> Maybe a
External instance of the constraint type Read Int
readMaybe ([Char] -> Maybe Int) -> ([Char] -> [Char]) -> [Char] -> Maybe Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [Char]
dropEq

    dropEq :: String -> String
    dropEq :: [Char] -> [Char]
dropEq (Char
'=':[Char]
s) = [Char]
s
    dropEq [Char]
s = [Char]
s

    invertibleFlagSet :: String -> [String] -> Set String
    invertibleFlagSet :: [Char] -> [[Char]] -> Set [Char]
invertibleFlagSet [Char]
prefix [[Char]]
flagNames =
      [[Char]] -> Set [Char]
forall a. Ord a => [a] -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.fromList ([[Char]] -> Set [Char]) -> [[Char]] -> Set [Char]
forall a b. (a -> b) -> a -> b
$ [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
(++) ([Char] -> [Char] -> [Char]) -> [[Char]] -> [[Char] -> [Char]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
External instance of the constraint type Functor []
<$> [[Char]
prefix, [Char]
prefix [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"no-"] [[Char] -> [Char]] -> [[Char]] -> [[Char]]
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
External instance of the constraint type Applicative []
<*> [[Char]]
flagNames

    compatWarningSet :: Set String
    compatWarningSet :: Set [Char]
compatWarningSet = [[Char]] -> Set [Char]
forall a. Ord a => [a] -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.fromList ([[Char]] -> Set [Char]) -> [[Char]] -> Set [Char]
forall a b. (a -> b) -> a -> b
$ [[[Char]]] -> [[Char]]
forall a. Monoid a => [a] -> a
External instance of the constraint type forall a. Monoid [a]
mconcat
        [ [Int] -> [[Char]] -> [[Char]]
forall m. Monoid m => [Int] -> m -> m
External instance of the constraint type forall a. Monoid [a]
from [Int
8,Int
6]
            [ [Char]
"missing-monadfail-instances", [Char]
"semigroup"
            , [Char]
"noncanonical-monoid-instances", [Char]
"implicit-kind-vars" ]
        ]

    safeToFilterHoles :: Bool
    safeToFilterHoles :: Bool
safeToFilterHoles = All -> Bool
getAll (All -> Bool)
-> (([[Char]] -> All) -> All) -> ([[Char]] -> All) -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([[Char]] -> All) -> All
forall m. Monoid m => ([[Char]] -> m) -> m
External instance of the constraint type Monoid All
checkGhcFlags (([[Char]] -> All) -> Bool) -> ([[Char]] -> All) -> Bool
forall a b. (a -> b) -> a -> b
$
        Bool -> All
All (Bool -> All) -> ([[Char]] -> Bool) -> [[Char]] -> All
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Bool -> Maybe Bool -> Bool
forall a. a -> Maybe a -> a
fromMaybe Bool
True (Maybe Bool -> Bool)
-> ([[Char]] -> Maybe Bool) -> [[Char]] -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Last' Bool -> Bool) -> Maybe (Last' Bool) -> Maybe Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
External instance of the constraint type Functor Maybe
fmap Last' Bool -> Bool
forall a. Last' a -> a
getLast' (Maybe (Last' Bool) -> Maybe Bool)
-> ([[Char]] -> Maybe (Last' Bool)) -> [[Char]] -> Maybe Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Option' (Last' Bool) -> Maybe (Last' Bool)
forall a. Option' a -> Maybe a
getOption' (Option' (Last' Bool) -> Maybe (Last' Bool))
-> ([[Char]] -> Option' (Last' Bool))
-> [[Char]]
-> Maybe (Last' Bool)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char] -> Option' (Last' Bool))
-> [[Char]] -> Option' (Last' Bool)
forall (t :: * -> *) m a.
(Foldable t, Monoid m) =>
(a -> m) -> t a -> m
External instance of the constraint type forall a. Semigroup a => Monoid (Option' a)
External instance of the constraint type forall a. Semigroup (Last' a)
External instance of the constraint type Foldable []
foldMap [Char] -> Option' (Last' Bool)
notDeferred
      where
        notDeferred :: String -> Option' (Last' Bool)
        notDeferred :: [Char] -> Option' (Last' Bool)
notDeferred [Char]
"-fdefer-typed-holes" = Maybe (Last' Bool) -> Option' (Last' Bool)
forall a. Maybe a -> Option' a
Option' (Maybe (Last' Bool) -> Option' (Last' Bool))
-> (Bool -> Maybe (Last' Bool)) -> Bool -> Option' (Last' Bool)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Last' Bool -> Maybe (Last' Bool)
forall a. a -> Maybe a
Just (Last' Bool -> Maybe (Last' Bool))
-> (Bool -> Last' Bool) -> Bool -> Maybe (Last' Bool)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Bool -> Last' Bool
forall a. a -> Last' a
Last' (Bool -> Option' (Last' Bool)) -> Bool -> Option' (Last' Bool)
forall a b. (a -> b) -> a -> b
$ Bool
False
        notDeferred [Char]
"-fno-defer-typed-holes" = Maybe (Last' Bool) -> Option' (Last' Bool)
forall a. Maybe a -> Option' a
Option' (Maybe (Last' Bool) -> Option' (Last' Bool))
-> (Bool -> Maybe (Last' Bool)) -> Bool -> Option' (Last' Bool)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Last' Bool -> Maybe (Last' Bool)
forall a. a -> Maybe a
Just (Last' Bool -> Maybe (Last' Bool))
-> (Bool -> Last' Bool) -> Bool -> Maybe (Last' Bool)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Bool -> Last' Bool
forall a. a -> Last' a
Last' (Bool -> Option' (Last' Bool)) -> Bool -> Option' (Last' Bool)
forall a b. (a -> b) -> a -> b
$ Bool
True
        notDeferred [Char]
_ = Maybe (Last' Bool) -> Option' (Last' Bool)
forall a. Maybe a -> Option' a
Option' Maybe (Last' Bool)
forall a. Maybe a
Nothing

    isTypedHoleFlag :: String -> Any
    isTypedHoleFlag :: [Char] -> Any
isTypedHoleFlag = [[Char] -> Any] -> [Char] -> Any
forall a. Monoid a => [a] -> a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mconcat
        [ Set [Char] -> [Char] -> Any
flagIn (Set [Char] -> [Char] -> Any)
-> ([[Char]] -> Set [Char]) -> [[Char]] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> [[Char]] -> Set [Char]
invertibleFlagSet [Char]
"-f" ([[Char]] -> [Char] -> Any) -> [[Char]] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$
            [ [Char]
"show-hole-constraints", [Char]
"show-valid-substitutions"
            , [Char]
"show-valid-hole-fits", [Char]
"sort-valid-hole-fits"
            , [Char]
"sort-by-size-hole-fits", [Char]
"sort-by-subsumption-hole-fits"
            , [Char]
"abstract-refinement-hole-fits", [Char]
"show-provenance-of-hole-fits"
            , [Char]
"show-hole-matches-of-hole-fits", [Char]
"show-type-of-hole-fits"
            , [Char]
"show-type-app-of-hole-fits", [Char]
"show-type-app-vars-of-hole-fits"
            , [Char]
"unclutter-valid-hole-fits"
            ]
        , Set [Char] -> [Char] -> Any
flagIn (Set [Char] -> [Char] -> Any)
-> ([[Char]] -> Set [Char]) -> [[Char]] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [[Char]] -> Set [Char]
forall a. Ord a => [a] -> Set a
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
Set.fromList ([[Char]] -> [Char] -> Any) -> [[Char]] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$
            [ [Char]
"-fno-max-valid-hole-fits", [Char]
"-fno-max-refinement-hole-fits"
            , [Char]
"-fno-refinement-level-hole-fits" ]
        , [[Char] -> Any] -> [Char] -> Any
forall a. Monoid a => [a] -> a
External instance of the constraint type forall b a. Monoid b => Monoid (a -> b)
External instance of the constraint type Monoid Any
mconcat ([[Char] -> Any] -> [Char] -> Any)
-> ([[Char]] -> [[Char] -> Any]) -> [[Char]] -> [Char] -> Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Char] -> [Char] -> Any) -> [[Char]] -> [[Char] -> Any]
forall a b. (a -> b) -> [a] -> [b]
map (Bool -> [Char] -> [Char] -> Any
dropIntFlag Bool
False) ([[Char]] -> [Char] -> Any) -> [[Char]] -> [Char] -> Any
forall a b. (a -> b) -> a -> b
$
            [ [Char]
"-fmax-valid-hole-fits", [Char]
"-fmax-refinement-hole-fits"
            , [Char]
"-frefinement-level-hole-fits" ]
        ]

normaliseGhcArgs Maybe Version
_ PackageDescription
_ [[Char]]
args = [[Char]]
args

-- | A structured set of GHC options/flags
--
-- Note that options containing lists fall into two categories:
--
--  * options that can be safely deduplicated, e.g. input modules or
--    enabled extensions;
--  * options that cannot be deduplicated in general without changing
--    semantics, e.g. extra ghc options or linking options.
data GhcOptions = GhcOptions {

  -- | The major mode for the ghc invocation.
  GhcOptions -> Flag GhcMode
ghcOptMode          :: Flag GhcMode,

  -- | Any extra options to pass directly to ghc. These go at the end and hence
  -- override other stuff.
  GhcOptions -> [[Char]]
ghcOptExtra         :: [String],

  -- | Extra default flags to pass directly to ghc. These go at the beginning
  -- and so can be overridden by other stuff.
  GhcOptions -> [[Char]]
ghcOptExtraDefault  :: [String],

  -----------------------
  -- Inputs and outputs

  -- | The main input files; could be .hs, .hi, .c, .o, depending on mode.
  GhcOptions -> NubListR [Char]
ghcOptInputFiles    :: NubListR FilePath,

  -- | The names of input Haskell modules, mainly for @--make@ mode.
  GhcOptions -> NubListR ModuleName
ghcOptInputModules  :: NubListR ModuleName,

  -- | Location for output file; the @ghc -o@ flag.
  GhcOptions -> Flag [Char]
ghcOptOutputFile    :: Flag FilePath,

  -- | Location for dynamic output file in 'GhcStaticAndDynamic' mode;
  -- the @ghc -dyno@ flag.
  GhcOptions -> Flag [Char]
ghcOptOutputDynFile :: Flag FilePath,

  -- | Start with an empty search path for Haskell source files;
  -- the @ghc -i@ flag (@-i@ on its own with no path argument).
  GhcOptions -> Flag Bool
ghcOptSourcePathClear :: Flag Bool,

  -- | Search path for Haskell source files; the @ghc -i@ flag.
  GhcOptions -> NubListR [Char]
ghcOptSourcePath    :: NubListR FilePath,

  -------------
  -- Packages

  -- | The unit ID the modules will belong to; the @ghc -this-unit-id@
  -- flag (or @-this-package-key@ or @-package-name@ on older
  -- versions of GHC).  This is a 'String' because we assume you've
  -- already figured out what the correct format for this string is
  -- (we need to handle backwards compatibility.)
  GhcOptions -> Flag [Char]
ghcOptThisUnitId   :: Flag String,

  -- | GHC doesn't make any assumptions about the format of
  -- definite unit ids, so when we are instantiating a package it
  -- needs to be told explicitly what the component being instantiated
  -- is.  This only gets set when 'ghcOptInstantiatedWith' is non-empty
  GhcOptions -> Flag ComponentId
ghcOptThisComponentId :: Flag ComponentId,

  -- | How the requirements of the package being compiled are to
  -- be filled.  When typechecking an indefinite package, the 'OpenModule'
  -- is always a 'OpenModuleVar'; otherwise, it specifies the installed module
  -- that instantiates a package.
  GhcOptions -> [(ModuleName, OpenModule)]
ghcOptInstantiatedWith :: [(ModuleName, OpenModule)],

  -- | No code? (But we turn on interface writing
  GhcOptions -> Flag Bool
ghcOptNoCode :: Flag Bool,

  -- | GHC package databases to use, the @ghc -package-conf@ flag.
  GhcOptions -> PackageDBStack
ghcOptPackageDBs    :: PackageDBStack,

  -- | The GHC packages to bring into scope when compiling,
  -- the @ghc -package-id@ flags.
  GhcOptions -> NubListR (OpenUnitId, ModuleRenaming)
ghcOptPackages      ::
    NubListR (OpenUnitId, ModuleRenaming),

  -- | Start with a clean package set; the @ghc -hide-all-packages@ flag
  GhcOptions -> Flag Bool
ghcOptHideAllPackages :: Flag Bool,

  -- | Warn about modules, not listed in command line
  GhcOptions -> Flag Bool
ghcOptWarnMissingHomeModules :: Flag Bool,

  -- | Don't automatically link in Haskell98 etc; the @ghc
  -- -no-auto-link-packages@ flag.
  GhcOptions -> Flag Bool
ghcOptNoAutoLinkPackages :: Flag Bool,

  -----------------
  -- Linker stuff

  -- | Names of libraries to link in; the @ghc -l@ flag.
  GhcOptions -> [[Char]]
ghcOptLinkLibs      :: [FilePath],

  -- | Search path for libraries to link in; the @ghc -L@ flag.
  GhcOptions -> NubListR [Char]
ghcOptLinkLibPath  :: NubListR FilePath,

  -- | Options to pass through to the linker; the @ghc -optl@ flag.
  GhcOptions -> [[Char]]
ghcOptLinkOptions   :: [String],

  -- | OSX only: frameworks to link in; the @ghc -framework@ flag.
  GhcOptions -> NubListR [Char]
ghcOptLinkFrameworks :: NubListR String,

  -- | OSX only: Search path for frameworks to link in; the
  -- @ghc -framework-path@ flag.
  GhcOptions -> NubListR [Char]
ghcOptLinkFrameworkDirs :: NubListR String,

  -- | Don't do the link step, useful in make mode; the @ghc -no-link@ flag.
  GhcOptions -> Flag Bool
ghcOptNoLink :: Flag Bool,

  -- | Don't link in the normal RTS @main@ entry point; the @ghc -no-hs-main@
  -- flag.
  GhcOptions -> Flag Bool
ghcOptLinkNoHsMain :: Flag Bool,

  -- | Module definition files (Windows specific)
  GhcOptions -> NubListR [Char]
ghcOptLinkModDefFiles :: NubListR FilePath,

  --------------------
  -- C and CPP stuff

  -- | Options to pass through to the C compiler; the @ghc -optc@ flag.
  GhcOptions -> [[Char]]
ghcOptCcOptions     :: [String],

  -- | Options to pass through to the C++ compiler.
  GhcOptions -> [[Char]]
ghcOptCxxOptions     :: [String],

  -- | Options to pass through to the Assembler.
  GhcOptions -> [[Char]]
ghcOptAsmOptions     :: [String],

  -- | Options to pass through to CPP; the @ghc -optP@ flag.
  GhcOptions -> [[Char]]
ghcOptCppOptions    :: [String],

  -- | Search path for CPP includes like header files; the @ghc -I@ flag.
  GhcOptions -> NubListR [Char]
ghcOptCppIncludePath :: NubListR FilePath,

  -- | Extra header files to include at CPP stage; the @ghc -optP-include@ flag.
  GhcOptions -> NubListR [Char]
ghcOptCppIncludes    :: NubListR FilePath,

  -- | Extra header files to include for old-style FFI; the @ghc -#include@ flag.
  GhcOptions -> NubListR [Char]
ghcOptFfiIncludes    :: NubListR FilePath,

  ----------------------------
  -- Language and extensions

  -- | The base language; the @ghc -XHaskell98@ or @-XHaskell2010@ flag.
  GhcOptions -> Flag Language
ghcOptLanguage      :: Flag Language,

  -- | The language extensions; the @ghc -X@ flag.
  GhcOptions -> NubListR Extension
ghcOptExtensions    :: NubListR Extension,

  -- | A GHC version-dependent mapping of extensions to flags. This must be
  -- set to be able to make use of the 'ghcOptExtensions'.
  GhcOptions -> Map Extension (Maybe [Char])
ghcOptExtensionMap    :: Map Extension (Maybe Compiler.Flag),

  ----------------
  -- Compilation

  -- | What optimisation level to use; the @ghc -O@ flag.
  GhcOptions -> Flag GhcOptimisation
ghcOptOptimisation  :: Flag GhcOptimisation,

    -- | Emit debug info; the @ghc -g@ flag.
  GhcOptions -> Flag DebugInfoLevel
ghcOptDebugInfo     :: Flag DebugInfoLevel,

  -- | Compile in profiling mode; the @ghc -prof@ flag.
  GhcOptions -> Flag Bool
ghcOptProfilingMode :: Flag Bool,

  -- | Automatically add profiling cost centers; the @ghc -fprof-auto*@ flags.
  GhcOptions -> Flag GhcProfAuto
ghcOptProfilingAuto :: Flag GhcProfAuto,

  -- | Use the \"split sections\" feature; the @ghc -split-sections@ flag.
  GhcOptions -> Flag Bool
ghcOptSplitSections :: Flag Bool,

  -- | Use the \"split object files\" feature; the @ghc -split-objs@ flag.
  GhcOptions -> Flag Bool
ghcOptSplitObjs     :: Flag Bool,

  -- | Run N jobs simultaneously (if possible).
  GhcOptions -> Flag (Maybe Int)
ghcOptNumJobs       :: Flag (Maybe Int),

  -- | Enable coverage analysis; the @ghc -fhpc -hpcdir@ flags.
  GhcOptions -> Flag [Char]
ghcOptHPCDir        :: Flag FilePath,

  ----------------
  -- GHCi

  -- | Extra GHCi startup scripts; the @-ghci-script@ flag
  GhcOptions -> [[Char]]
ghcOptGHCiScripts    :: [FilePath],

  ------------------------
  -- Redirecting outputs

  GhcOptions -> Flag [Char]
ghcOptHiSuffix      :: Flag String,
  GhcOptions -> Flag [Char]
ghcOptObjSuffix     :: Flag String,
  GhcOptions -> Flag [Char]
ghcOptDynHiSuffix   :: Flag String,   -- ^ only in 'GhcStaticAndDynamic' mode
  GhcOptions -> Flag [Char]
ghcOptDynObjSuffix  :: Flag String,   -- ^ only in 'GhcStaticAndDynamic' mode
  GhcOptions -> Flag [Char]
ghcOptHiDir         :: Flag FilePath,
  GhcOptions -> Flag [Char]
ghcOptObjDir        :: Flag FilePath,
  GhcOptions -> Flag [Char]
ghcOptOutputDir     :: Flag FilePath,
  GhcOptions -> Flag [Char]
ghcOptStubDir       :: Flag FilePath,

  --------------------
  -- Creating libraries

  GhcOptions -> Flag GhcDynLinkMode
ghcOptDynLinkMode   :: Flag GhcDynLinkMode,
  GhcOptions -> Flag Bool
ghcOptStaticLib     :: Flag Bool,
  GhcOptions -> Flag Bool
ghcOptShared        :: Flag Bool,
  GhcOptions -> Flag Bool
ghcOptFPic          :: Flag Bool,
  GhcOptions -> Flag [Char]
ghcOptDylibName     :: Flag String,
  GhcOptions -> NubListR [Char]
ghcOptRPaths        :: NubListR FilePath,

  ---------------
  -- Misc flags

  -- | Get GHC to be quiet or verbose with what it's doing; the @ghc -v@ flag.
  GhcOptions -> Flag Verbosity
ghcOptVerbosity     :: Flag Verbosity,

  -- | Put the extra folders in the PATH environment variable we invoke
  -- GHC with
  GhcOptions -> NubListR [Char]
ghcOptExtraPath     :: NubListR FilePath,

  -- | Let GHC know that it is Cabal that's calling it.
  -- Modifies some of the GHC error messages.
  GhcOptions -> Flag Bool
ghcOptCabal         :: Flag Bool

} deriving (Int -> GhcOptions -> [Char] -> [Char]
[GhcOptions] -> [Char] -> [Char]
GhcOptions -> [Char]
(Int -> GhcOptions -> [Char] -> [Char])
-> (GhcOptions -> [Char])
-> ([GhcOptions] -> [Char] -> [Char])
-> Show GhcOptions
forall a.
(Int -> a -> [Char] -> [Char])
-> (a -> [Char]) -> ([a] -> [Char] -> [Char]) -> Show a
showList :: [GhcOptions] -> [Char] -> [Char]
$cshowList :: [GhcOptions] -> [Char] -> [Char]
show :: GhcOptions -> [Char]
$cshow :: GhcOptions -> [Char]
showsPrec :: Int -> GhcOptions -> [Char] -> [Char]
$cshowsPrec :: Int -> GhcOptions -> [Char] -> [Char]
External instance of the constraint type Show Verbosity
External instance of the constraint type Show DebugInfoLevel
External instance of the constraint type forall a. Show a => Show (Maybe a)
External instance of the constraint type Show Extension
External instance of the constraint type Show Language
External instance of the constraint type Show ModuleRenaming
External instance of the constraint type Show OpenUnitId
External instance of the constraint type Show ModuleRenaming
External instance of the constraint type Show OpenUnitId
External instance of the constraint type Show PackageDB
External instance of the constraint type Show OpenModule
External instance of the constraint type Show OpenModule
External instance of the constraint type forall a b. (Show a, Show b) => Show (a, b)
External instance of the constraint type Show ComponentId
External instance of the constraint type Show Bool
External instance of the constraint type Show ModuleName
External instance of the constraint type Show Char
External instance of the constraint type Show Char
External instance of the constraint type Show Verbosity
Instance of class: Show of the constraint type Show GhcDynLinkMode
External instance of the constraint type forall a. Show a => Show (Maybe a)
External instance of the constraint type Show Int
Instance of class: Show of the constraint type Show GhcProfAuto
External instance of the constraint type Show DebugInfoLevel
Instance of class: Show of the constraint type Show GhcOptimisation
External instance of the constraint type forall a. Show a => Show (Maybe a)
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type Show Char
External instance of the constraint type forall k a. (Show k, Show a) => Show (Map k a)
External instance of the constraint type Show Extension
External instance of the constraint type Show Language
External instance of the constraint type forall a b. (Show a, Show b) => Show (a, b)
External instance of the constraint type Show OpenUnitId
External instance of the constraint type Show ModuleRenaming
External instance of the constraint type Show PackageDB
External instance of the constraint type forall a b. (Show a, Show b) => Show (a, b)
External instance of the constraint type Show ModuleName
External instance of the constraint type Show OpenModule
External instance of the constraint type Show ComponentId
External instance of the constraint type Show Bool
External instance of the constraint type forall a. Show a => Show (Flag a)
External instance of the constraint type Show Bool
External instance of the constraint type forall a. Show a => Show (Flag a)
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type Show Char
External instance of the constraint type Show ModuleName
External instance of the constraint type forall a. Show a => Show (NubListR a)
External instance of the constraint type forall a. Show a => Show (NubListR a)
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type Show Char
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type Show Char
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type Show Char
Instance of class: Show of the constraint type Show GhcMode
External instance of the constraint type forall a. Show a => Show (Flag a)
External instance of the constraint type Ord Int
External instance of the constraint type Show Int
Instance of class: Show of the constraint type Show GhcMode
Instance of class: Show of the constraint type Show GhcOptimisation
Instance of class: Show of the constraint type Show GhcDynLinkMode
Instance of class: Show of the constraint type Show GhcProfAuto
Show, (forall x. GhcOptions -> Rep GhcOptions x)
-> (forall x. Rep GhcOptions x -> GhcOptions) -> Generic GhcOptions
forall x. Rep GhcOptions x -> GhcOptions
forall x. GhcOptions -> Rep GhcOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep GhcOptions x -> GhcOptions
$cfrom :: forall x. GhcOptions -> Rep GhcOptions x
Generic)


data GhcMode = GhcModeCompile     -- ^ @ghc -c@
             | GhcModeLink        -- ^ @ghc@
             | GhcModeMake        -- ^ @ghc --make@
             | GhcModeInteractive -- ^ @ghci@ \/ @ghc --interactive@
             | GhcModeAbiHash     -- ^ @ghc --abi-hash@
--             | GhcModeDepAnalysis -- ^ @ghc -M@
--             | GhcModeEvaluate    -- ^ @ghc -e@
 deriving (Int -> GhcMode -> [Char] -> [Char]
[GhcMode] -> [Char] -> [Char]
GhcMode -> [Char]
(Int -> GhcMode -> [Char] -> [Char])
-> (GhcMode -> [Char])
-> ([GhcMode] -> [Char] -> [Char])
-> Show GhcMode
forall a.
(Int -> a -> [Char] -> [Char])
-> (a -> [Char]) -> ([a] -> [Char] -> [Char]) -> Show a
showList :: [GhcMode] -> [Char] -> [Char]
$cshowList :: [GhcMode] -> [Char] -> [Char]
show :: GhcMode -> [Char]
$cshow :: GhcMode -> [Char]
showsPrec :: Int -> GhcMode -> [Char] -> [Char]
$cshowsPrec :: Int -> GhcMode -> [Char] -> [Char]
Show, GhcMode -> GhcMode -> Bool
(GhcMode -> GhcMode -> Bool)
-> (GhcMode -> GhcMode -> Bool) -> Eq GhcMode
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: GhcMode -> GhcMode -> Bool
$c/= :: GhcMode -> GhcMode -> Bool
== :: GhcMode -> GhcMode -> Bool
$c== :: GhcMode -> GhcMode -> Bool
Eq)

data GhcOptimisation = GhcNoOptimisation             -- ^ @-O0@
                     | GhcNormalOptimisation         -- ^ @-O@
                     | GhcMaximumOptimisation        -- ^ @-O2@
                     | GhcSpecialOptimisation String -- ^ e.g. @-Odph@
 deriving (Int -> GhcOptimisation -> [Char] -> [Char]
[GhcOptimisation] -> [Char] -> [Char]
GhcOptimisation -> [Char]
(Int -> GhcOptimisation -> [Char] -> [Char])
-> (GhcOptimisation -> [Char])
-> ([GhcOptimisation] -> [Char] -> [Char])
-> Show GhcOptimisation
forall a.
(Int -> a -> [Char] -> [Char])
-> (a -> [Char]) -> ([a] -> [Char] -> [Char]) -> Show a
showList :: [GhcOptimisation] -> [Char] -> [Char]
$cshowList :: [GhcOptimisation] -> [Char] -> [Char]
show :: GhcOptimisation -> [Char]
$cshow :: GhcOptimisation -> [Char]
showsPrec :: Int -> GhcOptimisation -> [Char] -> [Char]
$cshowsPrec :: Int -> GhcOptimisation -> [Char] -> [Char]
External instance of the constraint type Show Char
External instance of the constraint type Show Char
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type Ord Int
Show, GhcOptimisation -> GhcOptimisation -> Bool
(GhcOptimisation -> GhcOptimisation -> Bool)
-> (GhcOptimisation -> GhcOptimisation -> Bool)
-> Eq GhcOptimisation
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: GhcOptimisation -> GhcOptimisation -> Bool
$c/= :: GhcOptimisation -> GhcOptimisation -> Bool
== :: GhcOptimisation -> GhcOptimisation -> Bool
$c== :: GhcOptimisation -> GhcOptimisation -> Bool
External instance of the constraint type forall a. Eq a => Eq [a]
External instance of the constraint type Eq Char
Eq)

data GhcDynLinkMode = GhcStaticOnly       -- ^ @-static@
                    | GhcDynamicOnly      -- ^ @-dynamic@
                    | GhcStaticAndDynamic -- ^ @-static -dynamic-too@
 deriving (Int -> GhcDynLinkMode -> [Char] -> [Char]
[GhcDynLinkMode] -> [Char] -> [Char]
GhcDynLinkMode -> [Char]
(Int -> GhcDynLinkMode -> [Char] -> [Char])
-> (GhcDynLinkMode -> [Char])
-> ([GhcDynLinkMode] -> [Char] -> [Char])
-> Show GhcDynLinkMode
forall a.
(Int -> a -> [Char] -> [Char])
-> (a -> [Char]) -> ([a] -> [Char] -> [Char]) -> Show a
showList :: [GhcDynLinkMode] -> [Char] -> [Char]
$cshowList :: [GhcDynLinkMode] -> [Char] -> [Char]
show :: GhcDynLinkMode -> [Char]
$cshow :: GhcDynLinkMode -> [Char]
showsPrec :: Int -> GhcDynLinkMode -> [Char] -> [Char]
$cshowsPrec :: Int -> GhcDynLinkMode -> [Char] -> [Char]
Show, GhcDynLinkMode -> GhcDynLinkMode -> Bool
(GhcDynLinkMode -> GhcDynLinkMode -> Bool)
-> (GhcDynLinkMode -> GhcDynLinkMode -> Bool) -> Eq GhcDynLinkMode
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: GhcDynLinkMode -> GhcDynLinkMode -> Bool
$c/= :: GhcDynLinkMode -> GhcDynLinkMode -> Bool
== :: GhcDynLinkMode -> GhcDynLinkMode -> Bool
$c== :: GhcDynLinkMode -> GhcDynLinkMode -> Bool
Eq)

data GhcProfAuto = GhcProfAutoAll       -- ^ @-fprof-auto@
                 | GhcProfAutoToplevel  -- ^ @-fprof-auto-top@
                 | GhcProfAutoExported  -- ^ @-fprof-auto-exported@
 deriving (Int -> GhcProfAuto -> [Char] -> [Char]
[GhcProfAuto] -> [Char] -> [Char]
GhcProfAuto -> [Char]
(Int -> GhcProfAuto -> [Char] -> [Char])
-> (GhcProfAuto -> [Char])
-> ([GhcProfAuto] -> [Char] -> [Char])
-> Show GhcProfAuto
forall a.
(Int -> a -> [Char] -> [Char])
-> (a -> [Char]) -> ([a] -> [Char] -> [Char]) -> Show a
showList :: [GhcProfAuto] -> [Char] -> [Char]
$cshowList :: [GhcProfAuto] -> [Char] -> [Char]
show :: GhcProfAuto -> [Char]
$cshow :: GhcProfAuto -> [Char]
showsPrec :: Int -> GhcProfAuto -> [Char] -> [Char]
$cshowsPrec :: Int -> GhcProfAuto -> [Char] -> [Char]
Show, GhcProfAuto -> GhcProfAuto -> Bool
(GhcProfAuto -> GhcProfAuto -> Bool)
-> (GhcProfAuto -> GhcProfAuto -> Bool) -> Eq GhcProfAuto
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: GhcProfAuto -> GhcProfAuto -> Bool
$c/= :: GhcProfAuto -> GhcProfAuto -> Bool
== :: GhcProfAuto -> GhcProfAuto -> Bool
$c== :: GhcProfAuto -> GhcProfAuto -> Bool
Eq)

runGHC :: Verbosity -> ConfiguredProgram -> Compiler -> Platform  -> GhcOptions
       -> IO ()
runGHC :: Verbosity
-> ConfiguredProgram -> Compiler -> Platform -> GhcOptions -> IO ()
runGHC Verbosity
verbosity ConfiguredProgram
ghcProg Compiler
comp Platform
platform GhcOptions
opts = do
  Verbosity -> ProgramInvocation -> IO ()
runProgramInvocation Verbosity
verbosity (ConfiguredProgram
-> Compiler -> Platform -> GhcOptions -> ProgramInvocation
ghcInvocation ConfiguredProgram
ghcProg Compiler
comp Platform
platform GhcOptions
opts)


ghcInvocation :: ConfiguredProgram -> Compiler -> Platform -> GhcOptions
              -> ProgramInvocation
ghcInvocation :: ConfiguredProgram
-> Compiler -> Platform -> GhcOptions -> ProgramInvocation
ghcInvocation ConfiguredProgram
prog Compiler
comp Platform
platform GhcOptions
opts =
    (ConfiguredProgram -> [[Char]] -> ProgramInvocation
programInvocation ConfiguredProgram
prog (Compiler -> Platform -> GhcOptions -> [[Char]]
renderGhcOptions Compiler
comp Platform
platform GhcOptions
opts)) {
        progInvokePathEnv :: [[Char]]
progInvokePathEnv = NubListR [Char] -> [[Char]]
forall a. NubListR a -> [a]
fromNubListR (GhcOptions -> NubListR [Char]
ghcOptExtraPath GhcOptions
opts)
    }

renderGhcOptions :: Compiler -> Platform -> GhcOptions -> [String]
renderGhcOptions :: Compiler -> Platform -> GhcOptions -> [[Char]]
renderGhcOptions Compiler
comp _platform :: Platform
_platform@(Platform Arch
_arch OS
os) GhcOptions
opts
  | Compiler -> CompilerFlavor
compilerFlavor Compiler
comp CompilerFlavor -> [CompilerFlavor] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
External instance of the constraint type Eq CompilerFlavor
External instance of the constraint type Foldable []
`notElem` [CompilerFlavor
GHC, CompilerFlavor
GHCJS] =
    [Char] -> [[Char]]
forall a. HasCallStack => [Char] -> a
error ([Char] -> [[Char]]) -> [Char] -> [[Char]]
forall a b. (a -> b) -> a -> b
$ [Char]
"Distribution.Simple.Program.GHC.renderGhcOptions: "
    [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"compiler flavor must be 'GHC' or 'GHCJS'!"
  | Bool
otherwise =
  [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat
  [ case Flag GhcMode -> Maybe GhcMode
forall a. Flag a -> Maybe a
flagToMaybe (GhcOptions -> Flag GhcMode
ghcOptMode GhcOptions
opts) of
       Maybe GhcMode
Nothing                 -> []
       Just GhcMode
GhcModeCompile     -> [[Char]
"-c"]
       Just GhcMode
GhcModeLink        -> []
       Just GhcMode
GhcModeMake        -> [[Char]
"--make"]
       Just GhcMode
GhcModeInteractive -> [[Char]
"--interactive"]
       Just GhcMode
GhcModeAbiHash     -> [[Char]
"--abi-hash"]
--     Just GhcModeDepAnalysis -> ["-M"]
--     Just GhcModeEvaluate    -> ["-e", expr]

  , GhcOptions -> [[Char]]
ghcOptExtraDefault GhcOptions
opts

  , [ [Char]
"-no-link" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptNoLink ]

  ---------------
  -- Misc flags

  , [[Char]] -> (Verbosity -> [[Char]]) -> Maybe Verbosity -> [[Char]]
forall b a. b -> (a -> b) -> Maybe a -> b
maybe [] Verbosity -> [[Char]]
verbosityOpts (Flag Verbosity -> Maybe Verbosity
forall a. Flag a -> Maybe a
flagToMaybe (GhcOptions -> Flag Verbosity
ghcOptVerbosity GhcOptions
opts))

  , [ [Char]
"-fbuilding-cabal-package" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptCabal ]

  ----------------
  -- Compilation

  , case Flag GhcOptimisation -> Maybe GhcOptimisation
forall a. Flag a -> Maybe a
flagToMaybe (GhcOptions -> Flag GhcOptimisation
ghcOptOptimisation GhcOptions
opts) of
      Maybe GhcOptimisation
Nothing                         -> []
      Just GhcOptimisation
GhcNoOptimisation          -> [[Char]
"-O0"]
      Just GhcOptimisation
GhcNormalOptimisation      -> [[Char]
"-O"]
      Just GhcOptimisation
GhcMaximumOptimisation     -> [[Char]
"-O2"]
      Just (GhcSpecialOptimisation [Char]
s) -> [[Char]
"-O" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
s] -- eg -Odph

  , case Flag DebugInfoLevel -> Maybe DebugInfoLevel
forall a. Flag a -> Maybe a
flagToMaybe (GhcOptions -> Flag DebugInfoLevel
ghcOptDebugInfo GhcOptions
opts) of
      Maybe DebugInfoLevel
Nothing                                -> []
      Just DebugInfoLevel
NoDebugInfo                       -> []
      Just DebugInfoLevel
MinimalDebugInfo                  -> [[Char]
"-g1"]
      Just DebugInfoLevel
NormalDebugInfo                   -> [[Char]
"-g2"]
      Just DebugInfoLevel
MaximalDebugInfo                  -> [[Char]
"-g3"]

  , [ [Char]
"-prof" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptProfilingMode ]

  , case Flag GhcProfAuto -> Maybe GhcProfAuto
forall a. Flag a -> Maybe a
flagToMaybe (GhcOptions -> Flag GhcProfAuto
ghcOptProfilingAuto GhcOptions
opts) of
      Maybe GhcProfAuto
_ | Bool -> Bool
not ((GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptProfilingMode)
                                -> []
      Maybe GhcProfAuto
Nothing                   -> []
      Just GhcProfAuto
GhcProfAutoAll
        | GhcImplInfo -> Bool
flagProfAuto GhcImplInfo
implInfo -> [[Char]
"-fprof-auto"]
        | Bool
otherwise             -> [[Char]
"-auto-all"] -- not the same, but close
      Just GhcProfAuto
GhcProfAutoToplevel
        | GhcImplInfo -> Bool
flagProfAuto GhcImplInfo
implInfo -> [[Char]
"-fprof-auto-top"]
        | Bool
otherwise             -> [[Char]
"-auto-all"]
      Just GhcProfAuto
GhcProfAutoExported
        | GhcImplInfo -> Bool
flagProfAuto GhcImplInfo
implInfo -> [[Char]
"-fprof-auto-exported"]
        | Bool
otherwise             -> [[Char]
"-auto"]

  , [ [Char]
"-split-sections" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptSplitSections ]
  , [ [Char]
"-split-objs" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptSplitObjs ]

  , case Flag [Char] -> Maybe [Char]
forall a. Flag a -> Maybe a
flagToMaybe (GhcOptions -> Flag [Char]
ghcOptHPCDir GhcOptions
opts) of
      Maybe [Char]
Nothing -> []
      Just [Char]
hpcdir -> [[Char]
"-fhpc", [Char]
"-hpcdir", [Char]
hpcdir]

  , if Compiler -> Bool
parmakeSupported Compiler
comp
    then case GhcOptions -> Flag (Maybe Int)
ghcOptNumJobs GhcOptions
opts of
      Flag (Maybe Int)
NoFlag  -> []
      Flag Maybe Int
n  -> [[Char]
"-j" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char] -> (Int -> [Char]) -> Maybe Int -> [Char]
forall b a. b -> (a -> b) -> Maybe a -> b
maybe [Char]
"" Int -> [Char]
forall a. Show a => a -> [Char]
External instance of the constraint type Show Int
show Maybe Int
n]
    else []

  --------------------
  -- Creating libraries

  , [ [Char]
"-staticlib" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptStaticLib ]
  , [ [Char]
"-shared"    | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptShared    ]
  , case Flag GhcDynLinkMode -> Maybe GhcDynLinkMode
forall a. Flag a -> Maybe a
flagToMaybe (GhcOptions -> Flag GhcDynLinkMode
ghcOptDynLinkMode GhcOptions
opts) of
      Maybe GhcDynLinkMode
Nothing                  -> []
      Just GhcDynLinkMode
GhcStaticOnly       -> [[Char]
"-static"]
      Just GhcDynLinkMode
GhcDynamicOnly      -> [[Char]
"-dynamic"]
      Just GhcDynLinkMode
GhcStaticAndDynamic -> [[Char]
"-static", [Char]
"-dynamic-too"]
  , [ [Char]
"-fPIC"    | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptFPic ]

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-dylib-install-name", [Char]
libname] | [Char]
libname <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptDylibName ]

  ------------------------
  -- Redirecting outputs

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-osuf",    [Char]
suf] | [Char]
suf <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptObjSuffix ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-hisuf",   [Char]
suf] | [Char]
suf <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptHiSuffix  ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-dynosuf", [Char]
suf] | [Char]
suf <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptDynObjSuffix ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-dynhisuf",[Char]
suf] | [Char]
suf <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptDynHiSuffix  ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-outputdir", [Char]
dir] | [Char]
dir <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptOutputDir ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-odir",    [Char]
dir] | [Char]
dir <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptObjDir ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-hidir",   [Char]
dir] | [Char]
dir <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptHiDir  ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-stubdir", [Char]
dir] | [Char]
dir <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptStubDir ]

  -----------------------
  -- Source search path

  , [ [Char]
"-i"        | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptSourcePathClear ]
  , [ [Char]
"-i" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
dir | [Char]
dir <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptSourcePath ]

  --------------------

  --------------------
  -- CPP, C, and C++ stuff

  , [ [Char]
"-I"    [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
dir | [Char]
dir <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptCppIncludePath ]
  , [ [Char]
"-optP" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
opt | [Char]
opt <- GhcOptions -> [[Char]]
ghcOptCppOptions GhcOptions
opts]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [ [Char]
"-optP-include", [Char]
"-optP" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
inc]
           | [Char]
inc <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptCppIncludes ]
  , [ [Char]
"-optc" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
opt | [Char]
opt <- GhcOptions -> [[Char]]
ghcOptCcOptions GhcOptions
opts]
  , [ [Char]
"-optc" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
opt | [Char]
opt <- GhcOptions -> [[Char]]
ghcOptCxxOptions GhcOptions
opts]
  , [ [Char]
"-opta" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
opt | [Char]
opt <- GhcOptions -> [[Char]]
ghcOptAsmOptions GhcOptions
opts]

  -----------------
  -- Linker stuff

  , [ [Char]
"-optl" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
opt | [Char]
opt <- GhcOptions -> [[Char]]
ghcOptLinkOptions GhcOptions
opts]
  , [[Char]
"-l" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
lib     | [Char]
lib <- GhcOptions -> [[Char]]
ghcOptLinkLibs GhcOptions
opts]
  , [[Char]
"-L" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
dir     | [Char]
dir <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptLinkLibPath ]
  , if Bool
isOSX
    then [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-framework", [Char]
fmwk]
                | [Char]
fmwk <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptLinkFrameworks ]
    else []
  , if Bool
isOSX
    then [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-framework-path", [Char]
path]
                | [Char]
path <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptLinkFrameworkDirs ]
    else []
  , [ [Char]
"-no-hs-main"  | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptLinkNoHsMain ]
  , [ [Char]
"-dynload deploy" | Bool -> Bool
not ([[Char]] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
External instance of the constraint type Foldable []
null ((GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptRPaths)) ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [ [Char]
"-optl-Wl,-rpath," [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
dir]
           | [Char]
dir <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptRPaths ]
  , [ [Char]
modDefFile | [Char]
modDefFile <- (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptLinkModDefFiles ]

  -------------
  -- Packages

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [ case () of
                ()
_ | Compiler -> Bool
unitIdSupported Compiler
comp     -> [Char]
"-this-unit-id"
                  | Compiler -> Bool
packageKeySupported Compiler
comp -> [Char]
"-this-package-key"
                  | Bool
otherwise                -> [Char]
"-package-name"
             , [Char]
this_arg ]
             | [Char]
this_arg <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptThisUnitId ]

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-this-component-id", ComponentId -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty ComponentId
prettyShow ComponentId
this_cid ]
           | ComponentId
this_cid <- (GhcOptions -> Flag ComponentId) -> [ComponentId]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag ComponentId
ghcOptThisComponentId ]

  , if [(ModuleName, OpenModule)] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
External instance of the constraint type Foldable []
null (GhcOptions -> [(ModuleName, OpenModule)]
ghcOptInstantiatedWith GhcOptions
opts)
        then []
        else [Char]
"-instantiated-with"
             [Char] -> [[Char]] -> [[Char]]
forall a. a -> [a] -> [a]
: [Char] -> [[Char]] -> [Char]
forall a. [a] -> [[a]] -> [a]
intercalate [Char]
"," (((ModuleName, OpenModule) -> [Char])
-> [(ModuleName, OpenModule)] -> [[Char]]
forall a b. (a -> b) -> [a] -> [b]
map (\(ModuleName
n,OpenModule
m) -> ModuleName -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty ModuleName
prettyShow ModuleName
n [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"="
                                            [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ OpenModule -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty OpenModule
prettyShow OpenModule
m)
                                    (GhcOptions -> [(ModuleName, OpenModule)]
ghcOptInstantiatedWith GhcOptions
opts))
             [Char] -> [[Char]] -> [[Char]]
forall a. a -> [a] -> [a]
: []

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [[Char]
"-fno-code", [Char]
"-fwrite-interface"] | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptNoCode ]

  , [ [Char]
"-hide-all-packages"     | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptHideAllPackages ]
  , [ [Char]
"-Wmissing-home-modules" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptWarnMissingHomeModules ]
  , [ [Char]
"-no-auto-link-packages" | (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
ghcOptNoAutoLinkPackages ]

  , GhcImplInfo -> PackageDBStack -> [[Char]]
packageDbArgs GhcImplInfo
implInfo (GhcOptions -> PackageDBStack
ghcOptPackageDBs GhcOptions
opts)

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat ([[[Char]]] -> [[Char]]) -> [[[Char]]] -> [[Char]]
forall a b. (a -> b) -> a -> b
$ let space :: [Char] -> [Char]
space [Char]
"" = [Char]
""
                 space [Char]
xs = Char
' ' Char -> [Char] -> [Char]
forall a. a -> [a] -> [a]
: [Char]
xs
             in [ [[Char]
"-package-id", OpenUnitId -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty OpenUnitId
prettyShow OpenUnitId
ipkgid [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char] -> [Char]
space (ModuleRenaming -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty ModuleRenaming
prettyShow ModuleRenaming
rns)]
                | (OpenUnitId
ipkgid,ModuleRenaming
rns) <- (GhcOptions -> NubListR (OpenUnitId, ModuleRenaming))
-> [(OpenUnitId, ModuleRenaming)]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR (OpenUnitId, ModuleRenaming)
ghcOptPackages ]

  ----------------------------
  -- Language and extensions

  , if GhcImplInfo -> Bool
supportsHaskell2010 GhcImplInfo
implInfo
    then [ [Char]
"-X" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Language -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty Language
prettyShow Language
lang | Language
lang <- (GhcOptions -> Flag Language) -> [Language]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag Language
ghcOptLanguage ]
    else []

  , [ [Char]
ext'
    | Extension
ext  <- (GhcOptions -> NubListR Extension) -> [Extension]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR Extension
ghcOptExtensions
    , [Char]
ext' <- case Extension -> Map Extension (Maybe [Char]) -> Maybe (Maybe [Char])
forall k a. Ord k => k -> Map k a -> Maybe a
External instance of the constraint type Ord Extension
Map.lookup Extension
ext (GhcOptions -> Map Extension (Maybe [Char])
ghcOptExtensionMap GhcOptions
opts) of
        Just (Just [Char]
arg) -> [[Char]
arg]
        Just Maybe [Char]
Nothing    -> []
        Maybe (Maybe [Char])
Nothing         ->
            [Char] -> [[Char]]
forall a. HasCallStack => [Char] -> a
error ([Char] -> [[Char]]) -> [Char] -> [[Char]]
forall a b. (a -> b) -> a -> b
$ [Char]
"Distribution.Simple.Program.GHC.renderGhcOptions: "
                  [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Extension -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty Extension
prettyShow Extension
ext [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
" not present in ghcOptExtensionMap."
    ]

  ----------------
  -- GHCi

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [ [Char]
"-ghci-script", [Char]
script ] | [Char]
script <- GhcOptions -> [[Char]]
ghcOptGHCiScripts GhcOptions
opts
                                        , GhcImplInfo -> Bool
flagGhciScript GhcImplInfo
implInfo ]

  ---------------
  -- Inputs

  -- Specify the input file(s) first, so that in ghci the `main-is` module is
  -- in scope instead of the first module defined in `other-modules`.
  , (GhcOptions -> NubListR [Char]) -> [[Char]]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR [Char]
ghcOptInputFiles
  , [ ModuleName -> [Char]
forall a. Pretty a => a -> [Char]
External instance of the constraint type Pretty ModuleName
prettyShow ModuleName
modu | ModuleName
modu <- (GhcOptions -> NubListR ModuleName) -> [ModuleName]
forall {a}. (GhcOptions -> NubListR a) -> [a]
flags GhcOptions -> NubListR ModuleName
ghcOptInputModules ]

  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [ [Char]
"-o",    [Char]
out] | [Char]
out <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptOutputFile ]
  , [[[Char]]] -> [[Char]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
External instance of the constraint type Foldable []
concat [ [ [Char]
"-dyno", [Char]
out] | [Char]
out <- (GhcOptions -> Flag [Char]) -> [[Char]]
forall {a}. (GhcOptions -> Flag a) -> [a]
flag GhcOptions -> Flag [Char]
ghcOptOutputDynFile ]

  ---------------
  -- Extra

  , GhcOptions -> [[Char]]
ghcOptExtra GhcOptions
opts

  ]


  where
    implInfo :: GhcImplInfo
implInfo     = Compiler -> GhcImplInfo
getImplInfo Compiler
comp
    isOSX :: Bool
isOSX        = OS
os OS -> OS -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type Eq OS
== OS
OSX
    flag :: (GhcOptions -> Flag a) -> [a]
flag     GhcOptions -> Flag a
flg = Flag a -> [a]
forall a. Flag a -> [a]
flagToList (GhcOptions -> Flag a
flg GhcOptions
opts)
    flags :: (GhcOptions -> NubListR a) -> [a]
flags    GhcOptions -> NubListR a
flg = NubListR a -> [a]
forall a. NubListR a -> [a]
fromNubListR (NubListR a -> [a])
-> (GhcOptions -> NubListR a) -> GhcOptions -> [a]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. GhcOptions -> NubListR a
flg (GhcOptions -> [a]) -> GhcOptions -> [a]
forall a b. (a -> b) -> a -> b
$ GhcOptions
opts
    flagBool :: (GhcOptions -> Flag Bool) -> Bool
flagBool GhcOptions -> Flag Bool
flg = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (GhcOptions -> Flag Bool
flg GhcOptions
opts)

verbosityOpts :: Verbosity -> [String]
verbosityOpts :: Verbosity -> [[Char]]
verbosityOpts Verbosity
verbosity
  | Verbosity
verbosity Verbosity -> Verbosity -> Bool
forall a. Ord a => a -> a -> Bool
External instance of the constraint type Ord Verbosity
>= Verbosity
deafening = [[Char]
"-v"]
  | Verbosity
verbosity Verbosity -> Verbosity -> Bool
forall a. Ord a => a -> a -> Bool
External instance of the constraint type Ord Verbosity
>= Verbosity
normal    = []
  | Bool
otherwise              = [[Char]
"-w", [Char]
"-v0"]


-- | GHC <7.6 uses '-package-conf' instead of '-package-db'.
packageDbArgsConf :: PackageDBStack -> [String]
packageDbArgsConf :: PackageDBStack -> [[Char]]
packageDbArgsConf PackageDBStack
dbstack = case PackageDBStack
dbstack of
  (PackageDB
GlobalPackageDB:PackageDB
UserPackageDB:PackageDBStack
dbs) -> (PackageDB -> [[Char]]) -> PackageDBStack -> [[Char]]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
External instance of the constraint type Foldable []
concatMap PackageDB -> [[Char]]
specific PackageDBStack
dbs
  (PackageDB
GlobalPackageDB:PackageDBStack
dbs)               -> ([Char]
"-no-user-package-conf")
                                       [Char] -> [[Char]] -> [[Char]]
forall a. a -> [a] -> [a]
: (PackageDB -> [[Char]]) -> PackageDBStack -> [[Char]]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
External instance of the constraint type Foldable []
concatMap PackageDB -> [[Char]]
specific PackageDBStack
dbs
  PackageDBStack
_ -> [[Char]]
forall {a}. a
ierror
  where
    specific :: PackageDB -> [[Char]]
specific (SpecificPackageDB [Char]
db) = [ [Char]
"-package-conf", [Char]
db ]
    specific PackageDB
_                      = [[Char]]
forall {a}. a
ierror
    ierror :: a
ierror = [Char] -> a
forall a. HasCallStack => [Char] -> a
error ([Char] -> a) -> [Char] -> a
forall a b. (a -> b) -> a -> b
$ [Char]
"internal error: unexpected package db stack: "
                  [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ PackageDBStack -> [Char]
forall a. Show a => a -> [Char]
External instance of the constraint type forall a. Show a => Show [a]
External instance of the constraint type Show PackageDB
show PackageDBStack
dbstack

-- | GHC >= 7.6 uses the '-package-db' flag. See
-- https://ghc.haskell.org/trac/ghc/ticket/5977.
packageDbArgsDb :: PackageDBStack -> [String]
-- special cases to make arguments prettier in common scenarios
packageDbArgsDb :: PackageDBStack -> [[Char]]
packageDbArgsDb PackageDBStack
dbstack = case PackageDBStack
dbstack of
  (PackageDB
GlobalPackageDB:PackageDB
UserPackageDB:PackageDBStack
dbs)
    | (PackageDB -> Bool) -> PackageDBStack -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
External instance of the constraint type Foldable []
all PackageDB -> Bool
isSpecific PackageDBStack
dbs              -> (PackageDB -> [[Char]]) -> PackageDBStack -> [[Char]]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
External instance of the constraint type Foldable []
concatMap PackageDB -> [[Char]]
single PackageDBStack
dbs
  (PackageDB
GlobalPackageDB:PackageDBStack
dbs)
    | (PackageDB -> Bool) -> PackageDBStack -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
External instance of the constraint type Foldable []
all PackageDB -> Bool
isSpecific PackageDBStack
dbs              -> [Char]
"-no-user-package-db"
                                       [Char] -> [[Char]] -> [[Char]]
forall a. a -> [a] -> [a]
: (PackageDB -> [[Char]]) -> PackageDBStack -> [[Char]]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
External instance of the constraint type Foldable []
concatMap PackageDB -> [[Char]]
single PackageDBStack
dbs
  PackageDBStack
dbs                                 -> [Char]
"-clear-package-db"
                                       [Char] -> [[Char]] -> [[Char]]
forall a. a -> [a] -> [a]
: (PackageDB -> [[Char]]) -> PackageDBStack -> [[Char]]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
External instance of the constraint type Foldable []
concatMap PackageDB -> [[Char]]
single PackageDBStack
dbs
 where
   single :: PackageDB -> [[Char]]
single (SpecificPackageDB [Char]
db) = [ [Char]
"-package-db", [Char]
db ]
   single PackageDB
GlobalPackageDB        = [ [Char]
"-global-package-db" ]
   single PackageDB
UserPackageDB          = [ [Char]
"-user-package-db" ]
   isSpecific :: PackageDB -> Bool
isSpecific (SpecificPackageDB [Char]
_) = Bool
True
   isSpecific PackageDB
_                     = Bool
False

packageDbArgs :: GhcImplInfo -> PackageDBStack -> [String]
packageDbArgs :: GhcImplInfo -> PackageDBStack -> [[Char]]
packageDbArgs GhcImplInfo
implInfo
  | GhcImplInfo -> Bool
flagPackageConf GhcImplInfo
implInfo = PackageDBStack -> [[Char]]
packageDbArgsConf
  | Bool
otherwise                = PackageDBStack -> [[Char]]
packageDbArgsDb

-- -----------------------------------------------------------------------------
-- Boilerplate Monoid instance for GhcOptions

instance Monoid GhcOptions where
  mempty :: GhcOptions
mempty = GhcOptions
forall a. (Generic a, GMonoid (Rep a)) => a
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type Ord ModuleName
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type Ord ModuleName
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a b. (Ord a, Ord b) => Ord (a, b)
External instance of the constraint type Ord OpenUnitId
External instance of the constraint type Ord ModuleRenaming
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a b. (Ord a, Ord b) => Ord (a, b)
External instance of the constraint type Ord OpenUnitId
External instance of the constraint type Ord ModuleRenaming
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type Ord Extension
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type Ord Extension
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall k v. Ord k => Semigroup (Map k v)
External instance of the constraint type Ord Extension
External instance of the constraint type forall k v. Ord k => Monoid (Map k v)
External instance of the constraint type Ord Extension
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall a. Monoid [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GMonoid f, GMonoid g) =>
GMonoid (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall a. Ord a => Monoid (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta). GMonoid f => GMonoid (M1 i c f)
External instance of the constraint type forall a i. (Semigroup a, Monoid a) => GMonoid (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall a. Monoid (Flag a)
Instance of class: Generic of the constraint type Generic GhcOptions
gmempty
  mappend :: GhcOptions -> GhcOptions -> GhcOptions
mappend = GhcOptions -> GhcOptions -> GhcOptions
forall a. Semigroup a => a -> a -> a
Instance of class: Semigroup of the constraint type Semigroup GhcOptions
(<>)

instance Semigroup GhcOptions where
  <> :: GhcOptions -> GhcOptions -> GhcOptions
(<>) = GhcOptions -> GhcOptions -> GhcOptions
forall a. (Generic a, GSemigroup (Rep a)) => a -> a -> a
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type Ord ModuleName
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a b. (Ord a, Ord b) => Ord (a, b)
External instance of the constraint type Ord OpenUnitId
External instance of the constraint type Ord ModuleRenaming
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type Ord Extension
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall k v. Ord k => Semigroup (Map k v)
External instance of the constraint type Ord Extension
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup [a]
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
External instance of the constraint type forall (f :: * -> *) (g :: * -> *).
(GSemigroup f, GSemigroup g) =>
GSemigroup (f :*: g)
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Ord a => Semigroup (NubListR a)
External instance of the constraint type forall a. Ord a => Ord [a]
External instance of the constraint type Ord Char
External instance of the constraint type forall (f :: * -> *) i (c :: Meta).
GSemigroup f =>
GSemigroup (M1 i c f)
External instance of the constraint type forall a i. Semigroup a => GSemigroup (K1 i a)
External instance of the constraint type forall a. Semigroup (Flag a)
Instance of class: Generic of the constraint type Generic GhcOptions
gmappend