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