{-# LANGUAGE TemplateHaskell #-}
module JsonToHaskell.Internal.Options where

import Lens.Micro.Platform (makeLenses)

data NumberPreference =
    SmartFloats
  | SmartDoubles
  | FloatNumbers
  | DoubleNumbers
  | ScientificNumbers
  deriving (Int -> NumberPreference -> ShowS
[NumberPreference] -> ShowS
NumberPreference -> String
(Int -> NumberPreference -> ShowS)
-> (NumberPreference -> String)
-> ([NumberPreference] -> ShowS)
-> Show NumberPreference
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [NumberPreference] -> ShowS
$cshowList :: [NumberPreference] -> ShowS
show :: NumberPreference -> String
$cshow :: NumberPreference -> String
showsPrec :: Int -> NumberPreference -> ShowS
$cshowsPrec :: Int -> NumberPreference -> ShowS
Show, NumberPreference -> NumberPreference -> Bool
(NumberPreference -> NumberPreference -> Bool)
-> (NumberPreference -> NumberPreference -> Bool)
-> Eq NumberPreference
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: NumberPreference -> NumberPreference -> Bool
$c/= :: NumberPreference -> NumberPreference -> Bool
== :: NumberPreference -> NumberPreference -> Bool
$c== :: NumberPreference -> NumberPreference -> Bool
Eq)

data TextType =
    UseString
  | UseText
  | UseByteString
  deriving (Int -> TextType -> ShowS
[TextType] -> ShowS
TextType -> String
(Int -> TextType -> ShowS)
-> (TextType -> String) -> ([TextType] -> ShowS) -> Show TextType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [TextType] -> ShowS
$cshowList :: [TextType] -> ShowS
show :: TextType -> String
$cshow :: TextType -> String
showsPrec :: Int -> TextType -> ShowS
$cshowsPrec :: Int -> TextType -> ShowS
Show, TextType -> TextType -> Bool
(TextType -> TextType -> Bool)
-> (TextType -> TextType -> Bool) -> Eq TextType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: TextType -> TextType -> Bool
$c/= :: TextType -> TextType -> Bool
== :: TextType -> TextType -> Bool
$c== :: TextType -> TextType -> Bool
Eq)

data MapType =
    UseMap
  | UseHashMap
  deriving (Int -> MapType -> ShowS
[MapType] -> ShowS
MapType -> String
(Int -> MapType -> ShowS)
-> (MapType -> String) -> ([MapType] -> ShowS) -> Show MapType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MapType] -> ShowS
$cshowList :: [MapType] -> ShowS
show :: MapType -> String
$cshow :: MapType -> String
showsPrec :: Int -> MapType -> ShowS
$cshowsPrec :: Int -> MapType -> ShowS
Show, MapType -> MapType -> Bool
(MapType -> MapType -> Bool)
-> (MapType -> MapType -> Bool) -> Eq MapType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: MapType -> MapType -> Bool
$c/= :: MapType -> MapType -> Bool
== :: MapType -> MapType -> Bool
$c== :: MapType -> MapType -> Bool
Eq)

data ListType =
    UseList
  | UseVector
  deriving (Int -> ListType -> ShowS
[ListType] -> ShowS
ListType -> String
(Int -> ListType -> ShowS)
-> (ListType -> String) -> ([ListType] -> ShowS) -> Show ListType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ListType] -> ShowS
$cshowList :: [ListType] -> ShowS
show :: ListType -> String
$cshow :: ListType -> String
showsPrec :: Int -> ListType -> ShowS
$cshowsPrec :: Int -> ListType -> ShowS
Show, ListType -> ListType -> Bool
(ListType -> ListType -> Bool)
-> (ListType -> ListType -> Bool) -> Eq ListType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ListType -> ListType -> Bool
$c/= :: ListType -> ListType -> Bool
== :: ListType -> ListType -> Bool
$c== :: ListType -> ListType -> Bool
Eq)

data Options = Options
  { Options -> Int
_tabStop :: Int
  , Options -> NumberPreference
_numberPreference :: NumberPreference
  , Options -> TextType
_textType :: TextType
  , Options -> MapType
_mapType :: MapType
  , Options -> ListType
_listType :: ListType
  , Options -> Bool
_includeImports :: Bool
  , Options -> Bool
_stronglyNormalize :: Bool
  , Options -> Bool
_strictData :: Bool
  }


data Env = Env
    { Env -> Options
_options :: Options
    , Env -> Int
_indentationLevel  :: Int
    }

makeLenses ''Options
makeLenses ''Env

defaultOptions :: Options
defaultOptions :: Options
defaultOptions = Options :: Int
-> NumberPreference
-> TextType
-> MapType
-> ListType
-> Bool
-> Bool
-> Bool
-> Options
Options
    { _tabStop :: Int
_tabStop = Int
2
    , _numberPreference :: NumberPreference
_numberPreference = NumberPreference
DoubleNumbers
    , _textType :: TextType
_textType = TextType
UseText
    , _mapType :: MapType
_mapType = MapType
UseMap
    , _listType :: ListType
_listType = ListType
UseList
    , _includeImports :: Bool
_includeImports = Bool
False
    , _stronglyNormalize :: Bool
_stronglyNormalize = Bool
True
    , _strictData :: Bool
_strictData = Bool
False
    }

performantOptions :: Options
performantOptions :: Options
performantOptions = Options :: Int
-> NumberPreference
-> TextType
-> MapType
-> ListType
-> Bool
-> Bool
-> Bool
-> Options
Options
    { _tabStop :: Int
_tabStop = Int
2
    , _numberPreference :: NumberPreference
_numberPreference = NumberPreference
DoubleNumbers
    , _textType :: TextType
_textType = TextType
UseText
    , _mapType :: MapType
_mapType = MapType
UseMap
    , _listType :: ListType
_listType = ListType
UseList
    , _includeImports :: Bool
_includeImports = Bool
False
    , _stronglyNormalize :: Bool
_stronglyNormalize = Bool
True
    -- TODO
    , _strictData :: Bool
_strictData = Bool
True
    }


data NumberType = Fractional | Whole
  deriving (Int -> NumberType -> ShowS
[NumberType] -> ShowS
NumberType -> String
(Int -> NumberType -> ShowS)
-> (NumberType -> String)
-> ([NumberType] -> ShowS)
-> Show NumberType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [NumberType] -> ShowS
$cshowList :: [NumberType] -> ShowS
show :: NumberType -> String
$cshow :: NumberType -> String
showsPrec :: Int -> NumberType -> ShowS
$cshowsPrec :: Int -> NumberType -> ShowS
Show, NumberType -> NumberType -> Bool
(NumberType -> NumberType -> Bool)
-> (NumberType -> NumberType -> Bool) -> Eq NumberType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: NumberType -> NumberType -> Bool
$c/= :: NumberType -> NumberType -> Bool
== :: NumberType -> NumberType -> Bool
$c== :: NumberType -> NumberType -> Bool
Eq, Eq NumberType
Eq NumberType
-> (NumberType -> NumberType -> Ordering)
-> (NumberType -> NumberType -> Bool)
-> (NumberType -> NumberType -> Bool)
-> (NumberType -> NumberType -> Bool)
-> (NumberType -> NumberType -> Bool)
-> (NumberType -> NumberType -> NumberType)
-> (NumberType -> NumberType -> NumberType)
-> Ord NumberType
NumberType -> NumberType -> Bool
NumberType -> NumberType -> Ordering
NumberType -> NumberType -> NumberType
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: NumberType -> NumberType -> NumberType
$cmin :: NumberType -> NumberType -> NumberType
max :: NumberType -> NumberType -> NumberType
$cmax :: NumberType -> NumberType -> NumberType
>= :: NumberType -> NumberType -> Bool
$c>= :: NumberType -> NumberType -> Bool
> :: NumberType -> NumberType -> Bool
$c> :: NumberType -> NumberType -> Bool
<= :: NumberType -> NumberType -> Bool
$c<= :: NumberType -> NumberType -> Bool
< :: NumberType -> NumberType -> Bool
$c< :: NumberType -> NumberType -> Bool
compare :: NumberType -> NumberType -> Ordering
$ccompare :: NumberType -> NumberType -> Ordering
$cp1Ord :: Eq NumberType
Ord)