Idris2Doc
: Data.Container.Additive.Extension.Definition
Index
Default
Alternative
Black & White
Data.Container.Additive.Extension.Definition
(
source
)
Definitions
Ext
:
AddCont
->
Type
->
Type
Totality
:
total
Visibility
:
public export
Path
:
AddCont
->
Type
Can be represented as a derivative
Totality
:
total
Visibility
:
public export