Module

Run.Choose

#liftChoose

liftChoose :: forall r a. Choose a -> Run (choose :: CHOOSE | r) a

#cempty

cempty :: forall r a. Run (choose :: CHOOSE | r) a

#calt

calt :: forall r a. Run (choose :: CHOOSE | r) a -> Run (choose :: CHOOSE | r) a -> Run (choose :: CHOOSE | r) a

#runChoose

runChoose :: forall f a r. Alternative f => Run (choose :: CHOOSE | r) a -> Run r (f a)

Re-exports from Run.Internal

#Choose

data Choose a

Constructors

Instances

#CHOOSE

#_choose

_choose :: SProxy "choose"

Modules