moduleArg :: (FilePath -> Command) -> String -> IP.IdrisParser (Either String Command)
moduleArg = genArg "module" (fmap toPath IP.identifier)
  where
    toPath n = foldl1' (</>) $ splitOn "." n
moduleArg :: (FilePath -> Command) -> String -> IP.IdrisParser (Either String Command)
moduleArg = genArg "module" (fmap toPath IP.identifier)
  where
    toPath n = foldl1' (</>) $ splitOn "." n
moduleArg = genArg "module" (fmap toPath IP.identifier)
  where
    toPath n = foldl1' (</>) $ splitOn "." n