Idris2Doc : Control.Applicative.Concurrent

Control.Applicative.Concurrent

(source)

Definitions

interface ConcurrentApplicative : (Type -> Type) -> Type
Parameters: m
Methods:
Concurrent : Applicative m
Concurrent : ConcurrentApplicative m => Applicative m
Totality: total
Visibility: public export