Idris2Doc
: Libraries.Data.List.Quantifiers.Extra
Index
Default
Alternative
Black & White
Libraries.Data.List.Quantifiers.Extra
(
source
)
Definitions
lookup
:
DecEq
a
=>
(
v
:
a
)
->
All
p
xs
->
Maybe
(
p
v
)
Totality
:
total
Visibility
:
export