Module

Run.Choose

#liftChoose

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

#cempty

cempty :: forall r a. Run (CHOOSE + r) a

#calt

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

#runChoose

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

Re-exports from Run.Internal

#Choose

data Choose a

Constructors

Instances

#CHOOSE

type CHOOSE r = (choose :: Choose | r)

#_choose

_choose :: Proxy "choose"

Modules