Module

Run.Internal

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

#Choose Source

data Choose a

Constructors

Empty
Alt (Boolean -> a)

Instances

Functor Choose

#CHOOSE Source

type CHOOSE :: Row (Type -> Type) -> Row (Type -> Type)type CHOOSE r = (choose :: Choose | r)

#_choose Source

_choose :: Proxy "choose"

#toRows Source

toRows :: forall f r1 r2 a. TypeEquals (Proxy r1) (Proxy r2) => f r1 a -> f r2 a

#fromRows Source

fromRows :: forall f r1 r2 a. TypeEquals (Proxy r1) (Proxy r2) => f r2 a -> f r1 a

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