Module

Run.Choose

Package: purescript-run
Repository: natefaubion/purescript-run

#liftChoose Source

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

#cempty Source

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

#calt Source

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

#runChoose Source

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

Re-exports from Run.Internal

#Choose Source

data Choose a

Constructors

Empty
Alt (Boolean -> a)

Instances

Functor Choose

#CHOOSE Source

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

#_choose Source

_choose :: Proxy "choose"

Modules: Run; Run.Choose; Run.Except; Run.Internal; Run.Reader; Run.State; Run.Writer