Module

Run.Choose

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

#liftChoose Source

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

#cempty Source

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

#calt Source

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

#runChoose Source

runChoose :: forall r a f. Alternative f => Run (choose :: 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 = FProxy Choose

#_choose Source

_choose :: SProxy "choose"

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