{-# LANGUAGE DeriveAnyClass #-}
module Horizon.Spec.Types.PackageSetExportSettings (PackageSetExportSettings(MkPackageSetExportSettings), packagesDir, packageSetFile, packageSet) where

import           Data.Kind                         (Type)
import           Dhall                             (FromDhall, Generic, ToDhall)
import           Horizon.Spec.Types.PackagesDir    (PackagesDir)
import           Horizon.Spec.Types.PackageSet     (PackageSet)
import           Horizon.Spec.Types.PackageSetFile (PackageSetFile)

type PackageSetExportSettings :: Type
data PackageSetExportSettings where
  MkPackageSetExportSettings :: { PackageSetExportSettings -> PackagesDir
packagesDir :: PackagesDir
                                , PackageSetExportSettings -> PackageSetFile
packageSetFile :: PackageSetFile
                                , PackageSetExportSettings -> PackageSet
packageSet :: PackageSet } -> PackageSetExportSettings
  deriving stock (Int -> PackageSetExportSettings -> ShowS
[PackageSetExportSettings] -> ShowS
PackageSetExportSettings -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [PackageSetExportSettings] -> ShowS
$cshowList :: [PackageSetExportSettings] -> ShowS
show :: PackageSetExportSettings -> String
$cshow :: PackageSetExportSettings -> String
showsPrec :: Int -> PackageSetExportSettings -> ShowS
$cshowsPrec :: Int -> PackageSetExportSettings -> ShowS
Show, PackageSetExportSettings -> PackageSetExportSettings -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PackageSetExportSettings -> PackageSetExportSettings -> Bool
$c/= :: PackageSetExportSettings -> PackageSetExportSettings -> Bool
== :: PackageSetExportSettings -> PackageSetExportSettings -> Bool
$c== :: PackageSetExportSettings -> PackageSetExportSettings -> Bool
Eq, forall x.
Rep PackageSetExportSettings x -> PackageSetExportSettings
forall x.
PackageSetExportSettings -> Rep PackageSetExportSettings x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x.
Rep PackageSetExportSettings x -> PackageSetExportSettings
$cfrom :: forall x.
PackageSetExportSettings -> Rep PackageSetExportSettings x
Generic)
  deriving anyclass (InputNormalizer -> Decoder PackageSetExportSettings
forall a. (InputNormalizer -> Decoder a) -> FromDhall a
autoWith :: InputNormalizer -> Decoder PackageSetExportSettings
$cautoWith :: InputNormalizer -> Decoder PackageSetExportSettings
FromDhall, InputNormalizer -> Encoder PackageSetExportSettings
forall a. (InputNormalizer -> Encoder a) -> ToDhall a
injectWith :: InputNormalizer -> Encoder PackageSetExportSettings
$cinjectWith :: InputNormalizer -> Encoder PackageSetExportSettings
ToDhall)