IdrisDoc: Effect.Select

Effect.Select

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