Idris2Doc : Control.Applicative.Concurrent

Control.Applicative.Concurrent

(source)

Definitions

interfaceConcurrentApplicative : (Type->Type) ->Type
Parameters: m
Methods:
Concurrent : Applicativem
Concurrent : ConcurrentApplicativem=>Applicativem
Totality: total
Visibility: public export