Idris2Doc : System.Future

System.Future

Future : Type -> Type
Totality: total
await : Futurea -> a
Totality: total
fork : Lazy a -> Futurea
Totality: total
forkIO : HasIOio => IOa -> io (Futurea)
Totality: total
performFutureIO : HasIOio => Future (IOa) -> io (Futurea)
Totality: total