Idris2Doc : System.Future

System.Future

data Future : Type -> Type
  Totality: total
await : Future a -> a
  Totality: total
fork : Lazy a -> Future a
  Totality: total
forkIO : HasIO io => IO a -> io (Future a)
  Totality: total
performFutureIO : HasIO io => Future (IO a) -> io (Future a)
  Totality: total