Idris2Doc
: Pipeline
Index
Default
Alternative
Black & White
Pipeline
(
source
)
Reexports
import
public
Pipeline.Basic
import
public
Pipeline.Category
import
public
Pipeline.Dependent