HTTP.Debug

Definitions

decodeTest : (0 a : Type) -> Decode a => Show a => String -> IO ()

  Testing facility for value decoding.
  
  Example usage at the REPL:
  
  ```
  :exec decodeTest Double "12.112"
  ```

Totality: total
Visibility: export

decodeManyTest : (0 a : Type) -> DecodeMany a => Show a => String -> IO ()

  Testing facility for path decoding.
  
  Example usage at the REPL:
  
  ```
  :exec decodeTest (Vect 3 Nat) "https://www.hock.com/1/2/3?foo=bar"
  ```

Totality: total
Visibility: export