-- -------------------------------------------------------------- [ Parser.idr ]
-- Description : A command line argument parser
-- Copyright   : (c) Huw Campbell
-- --------------------------------------------------------------------- [ EOH ]
module Options.Applicative

import public Text.PrettyPrint.WL
import public Options.Applicative.Builder
import public Options.Applicative.Maybe
import public Options.Applicative.Run
import public Options.Applicative.Types
import public Options.Applicative.Usage
import public Control.Lens

%access public export

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