Module

Run.Internal

#Choose 

data Choose a

Constructors

Instances

#CHOOSE 

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

#_choose 

_choose :: Proxy "choose"

#toRows 

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

#fromRows 

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

Modules