-- |

{-# LANGUAGE GADTs, DataKinds, StandaloneDeriving #-}

module Language.PureScript.Options where

-- |

data Mode = Compile | Make

-- |

data ModeOptions mode where

CompileOptions :: String -> [String] -> [String] -> ModeOptions Compile

MakeOptions :: ModeOptions Make

browserNamespace :: ModeOptions Compile -> String

browserNamespace (CompileOptions ns _ _) = ns

entryPointModules :: ModeOptions Compile -> [String]

entryPointModules (CompileOptions _ ms _) = ms

codeGenModules :: ModeOptions Compile -> [String]

codeGenModules (CompileOptions _ _ ms) = ms

deriving instance Show (ModeOptions mode)

-- |

data Options mode = Options {

-- |

-- Disable inclusion of the built in Prelude

--

optionsNoPrelude :: Bool

-- |

-- Disable tail-call elimination

--

, optionsNoTco :: Bool

-- |

-- Disable inlining of calls to return and bind for the Eff monad

--

, optionsNoMagicDo :: Bool

-- |

-- When specified, checks the type of `main` in the module, and generate a call to run main

-- after the module definitions.

--

, optionsMain :: Maybe String

-- |

-- Skip all optimizations

--

, optionsNoOptimizations :: Bool

-- |

-- Verbose error message

--

, optionsVerboseErrors :: Bool

-- |

-- Remove the comments from the generated js

, optionsNoComments :: Bool

-- |

-- Specify the namespace that PureScript modules will be exported to when running in the

-- browser.

--

, optionsAdditional :: ModeOptions mode

} deriving Show

-- |

defaultCompileOptions :: Options Compile

defaultCompileOptions = Options False False False Nothing False False False (CompileOptions "PS" [] [])

-- |

defaultMakeOptions :: Options Make

defaultMakeOptions = Options False False False Nothing False False False MakeOptions