System.Future

Definitions

data Future : Type -> Type

Totality: total
Visibility: export
Hints:

Applicative Future

Functor Future

Monad Future

fork : Lazy a -> Future a

Totality: total
Visibility: export

await : Future a -> a

Totality: total
Visibility: export

performFutureIO : HasIO io => Future (IO a) -> io (Future a)

Totality: total
Visibility: export

forkIO : HasIO io => IO a -> io (Future a)

Totality: total
Visibility: export