Idris2Doc
: Libraries.Data.NameMap.Traversable
Index
Default
Alternative
Black & White
Libraries.Data.NameMap.Traversable
(
source
)
Definitions
traverseNameMap
: (
Name
->
a
->
Core
b
)
->
NameMap
a
->
Core
(
NameMap
b
)
Visibility
:
export