Module

Run.Internal

Package
purescript-run
Repository
natefaubion/purescript-run

#Choose Source

data Choose a

Constructors

Instances

#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