Idris2Doc
: Control.Eff.Interface
Index
Default
Alternative
Black & White
Control.Eff.Interface
(
source
)
Interact with Standard library
Definitions