coalpit-0.1.1.0: examples/Basic.hs

{-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}
module Main where

import GHC.Generics
import Coalpit
import Data.Proxy

data FooArgs = FooArgs { arg1 :: Int
                       , arg2 :: String
                       } deriving (Show, Generic, Coalpit)

data FooBar = Foo FooArgs
            | Bar
            deriving (Show, Generic, Coalpit)

data Input = Input { something :: Maybe String
                   , fooBar :: Maybe FooBar
                   , fooBar2 :: FooBar
                   } deriving (Show, Generic, Coalpit)

main :: IO ()
main = do
  let val = Input { something = Nothing
                  , fooBar = Just (Foo FooArgs { arg1 = 1
                                               , arg2 = "a string"})
                  , fooBar2 = Bar}
      args = toArgs defOpt val
  print val
  print args
  print (fromArgs defOpt args :: Either String Input)

data Test = Test { foo :: [Int], bar :: Maybe String }
  deriving (Show, Generic, Coalpit)

help :: IO ()
help = do
  mapM_ (\(o, x, y) -> print o >> putStrLn x >> putStrLn y) $
    [ let opts = defOpt { alwaysUseSelName = ausn
                        , omitNamedOptions = ono }
      in ( (ausn, ono)
         , showDSV opts (Test [1,2,3] vals)
         , usageString opts (Proxy :: Proxy Test))
      | ausn <- [True, False]
      , ono <- [True, False]
      , vals <- [Just "a string", Nothing]]