{-# LANGUAGE DeriveAnyClass #-}
module Horizon.Spec.Types.CabalFlag (CabalFlag(MkCabalFlag)) where

import           Data.Kind               (Type)
import           Data.Text               (Text)
import           Dhall                   (FromDhall, Generic, ToDhall)
import           Horizon.Spec.Types.Flag (Flag)

type CabalFlag :: Type
data CabalFlag where
  MkCabalFlag :: Flag Text -> CabalFlag
  deriving stock (Int -> CabalFlag -> ShowS
[CabalFlag] -> ShowS
CabalFlag -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CabalFlag] -> ShowS
$cshowList :: [CabalFlag] -> ShowS
show :: CabalFlag -> String
$cshow :: CabalFlag -> String
showsPrec :: Int -> CabalFlag -> ShowS
$cshowsPrec :: Int -> CabalFlag -> ShowS
Show, CabalFlag -> CabalFlag -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CabalFlag -> CabalFlag -> Bool
$c/= :: CabalFlag -> CabalFlag -> Bool
== :: CabalFlag -> CabalFlag -> Bool
$c== :: CabalFlag -> CabalFlag -> Bool
Eq, forall x. Rep CabalFlag x -> CabalFlag
forall x. CabalFlag -> Rep CabalFlag x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep CabalFlag x -> CabalFlag
$cfrom :: forall x. CabalFlag -> Rep CabalFlag x
Generic)
  deriving anyclass (InputNormalizer -> Decoder CabalFlag
forall a. (InputNormalizer -> Decoder a) -> FromDhall a
autoWith :: InputNormalizer -> Decoder CabalFlag
$cautoWith :: InputNormalizer -> Decoder CabalFlag
FromDhall, InputNormalizer -> Encoder CabalFlag
forall a. (InputNormalizer -> Encoder a) -> ToDhall a
injectWith :: InputNormalizer -> Encoder CabalFlag
$cinjectWith :: InputNormalizer -> Encoder CabalFlag
ToDhall)