Promise

Definitions

record Callbacks : Type -> (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkCallbacks : (a -> m ()) -> (e -> m ()) -> Callbacks e m a

Projections:

.onFailed : Callbacks e m a -> e -> m ()

.onSucceded : Callbacks e m a -> a -> m ()

.onSucceded : Callbacks e m a -> a -> m ()

Visibility: public export

onSucceded : Callbacks e m a -> a -> m ()

Visibility: public export

.onFailed : Callbacks e m a -> e -> m ()

Visibility: public export

onFailed : Callbacks e m a -> e -> m ()

Visibility: public export

record Promise : Type -> (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkPromise : (Callbacks e m a -> m ()) -> Promise e m a

Projection: 

.continuation : Promise e m a -> Callbacks e m a -> m ()

Hints:

Applicative (Promise e m)

Functor (Promise e m)

HasIO m => HasIO (Promise e m)

Monad (Promise e m)

MonadError e (Promise e m)

Monad n => MonadPromise e n (Promise e n)

MonadTrans (Promise e)

.continuation : Promise e m a -> Callbacks e m a -> m ()

Visibility: public export

continuation : Promise e m a -> Callbacks e m a -> m ()

Visibility: public export

runPromise : (a -> m ()) -> (e -> m ()) -> Promise e m a -> m ()

Visibility: export

succeed : a -> Promise e m a

Visibility: export

fail : e -> Promise e m a

Visibility: export

mapFailure : (e -> e') -> Promise e m a -> Promise e' m a

Visibility: export

interface MonadPromise : Type -> (Type -> Type) -> (Type -> Type) -> Type

Parameters: e, n, m
Constraints: Monad m, Monad n
Methods:

promise : ((a -> n ()) -> (e -> n ()) -> n ()) -> m a

Implementations:

Monad n => MonadPromise e n (Promise e n)

MonadPromise e n m => MonadPromise e n (EitherT e' m)

MonadPromise e n m => MonadPromise e n (MaybeT m)

MonadPromise e n m => MonadPromise e n (RWST r w s m)

MonadPromise e n m => MonadPromise e n (ReaderT r m)

MonadPromise e n m => MonadPromise e n (StateT s m)

MonadPromise e n m => MonadPromise e n (WriterT w m)

promise : MonadPromise e n m => ((a -> n ()) -> (e -> n ()) -> n ()) -> m a

Visibility: public export

resolve : MonadPromise e n m => a -> m a

Visibility: export

reject : MonadPromise e n m => e -> m a

Visibility: export

liftPromise : MonadPromise e n m => Promise e n a -> m a

Visibility: export