class Printf.HPrintfType (t : Type u) : Type u

• hspr : IO.FS.Handle → String → List UPrintf → t

instance Printf.instHPrintfTypeIOUnit : HPrintfType (IO Unit)

Equations

• Printf.instHPrintfTypeIOUnit = { hspr := fun (handle : IO.FS.Handle) (fmt : String) (args : List Printf.UPrintf) => handle.putStr (Printf.uprintf fmt args.reverse) }

instance Printf.instHPrintfTypeForallOfPrintfArg {a : Type u_1} {r : Type u_2} [PrintfArg a] [HPrintfType r] : HPrintfType (a → r)

Equations

• One or more equations did not get rendered due to their size.