-- --------------------------------------------------------------- [ Model.idr ]
-- Description : The Model
-- Copyright   : (c) Jan de Muijnck-Hughes
-- License     : see LICENSE
-- --------------------------------------------------------------------- [ EOH ]
module Commons.Options.ArgParse.Model

%access public export

data Arg : Type where
  Flag : String -> Arg
  KeyValue : String -> String -> Arg
  File : String -> Arg

Show Arg where
  show (Flag f) = "[Flag " ++ show f ++ "]"
  show (KeyValue k v) = "[KeyValue " ++ show k ++ " : " ++ show v ++ "]"
  show (File fs) = "[File " ++ show fs ++ "]"

-- --------------------------------------------------------------------- [ EOF ]
