View difference between Paste ID: wvjHPbji and kpMyZphP

 module VersionOne.CommandLine
 
-type OptionBag = {
+module ArgParse =
-  storedCredsFile : string
+
-  secretsFile : string
+  type FlagFuncs<'T> = Map<string, ('T -> 'T)>
-  } with
+  type ValueFuncs<'T> = Map<string, ('T -> string -> 'T)>
-  static member Default = {
+  type BareFunc<'T> = 'T -> string ->  'T
-    storedCredsFile = "stored_credentials.json"
+
-    secretsFile = "client_secrets.json"
+  type OptionsDefinition<'T> = {
     initialState : 'T
     flagFuncs : FlagFuncs<'T>
-let flagFuncs =
+    valueFuncs : ValueFuncs<'T>
-  Map [
+    bareFunc : BareFunc<'T>
-    "-h", fun state -> failwith "Would display help here"
+
-    ]
+
   let rec parseArgs' (def:OptionsDefinition<'T>) state = function
-let valueFuncs =
+    | flag        :: tail when def.flagFuncs.ContainsKey flag  -> parseArgs' def (def.flagFuncs.[flag] state) tail
-  Map [
+    | flag :: arg :: tail when def.valueFuncs.ContainsKey flag -> parseArgs' def (def.valueFuncs.[flag] state arg) tail
-    "--creds",   fun state v -> {state with storedCredsFile = v}
+    |         arg :: tail                                      -> parseArgs' def (def.bareFunc state arg) tail
-    "--secrets", fun state v -> {state with secretsFile = v}
+    | []                                                       -> state
-    ]
+
   let fromDefinition def argv = parseArgs' def def.initialState (List.ofArray argv)
-let rec parseArgs' state = function
+
-  | flag :: tail when flagFuncs.ContainsKey flag  -> parseArgs' (flagFuncs.[flag] state) tail
+
-  | flag :: v :: tail when valueFuncs.ContainsKey flag -> parseArgs'  (valueFuncs.[flag] state v) tail
+module Main =
-  | item :: tail -> failwith "Unexpected argument \"%s\" in command line"
+
-  | [] -> state
+  type Options = {
     creds : string
-let parseArgs = parseArgs' OptionBag.Default
+    secrets : string
     outputs : string list
     }
 
   let parseOpts = ArgParse.fromDefinition {
     initialState =
       { creds = "stored_credentials.json"
         secrets = "client_secrets.json"
         outputs = []  }
     bareFunc =       fun opts v -> {opts with outputs = v :: opts.outputs }
     flagFuncs  =
       Map [
         "-h",        fun opts   -> failwith "Would display help here"
         ]
     valueFuncs =
       Map [
         "--creds",   fun opts v -> {opts with creds = v}
         "--secrets", fun opts v -> {opts with secrets = v}
         ]
     }
 
   [<EntryPoint>]
   let main argv =
     let opts = parseOpts argv
     printfn "%A" opts
     0