IdrisDoc: Effect.Select

Effect.Select

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