IdrisDoc
: Effect.Select
Index
Effect.Select
select
:
List
a
->
Eff
a
[
SELECT
]
data
Selection
:
Effect
Select
:
List
a
->
sig
Selection
a
()
SELECT
:
EFFECT