Data.Effect.Select

Documentation

data Select r a where

Constructors

Select :: forall a r. ((a -> r) -> a) -> Select r a

type LSelect r = LiftFOE (Select r)

pattern LSelect :: forall a r f a1. () => (a ~ a1, ()) => ((a1 -> r) -> a1) -> LiftFOE (Select r) f a

select :: forall a r f. SendFOE (Select r) f => ((a -> r) -> a) -> f a

select' :: forall {k} (tag :: k) a r f. SendFOE (Tag (Select r) tag) f => ((a -> r) -> a) -> f a

select'' :: forall {k} (key :: k) a r f. SendFOEBy key (Select r) f => ((a -> r) -> a) -> f a