Module

Run.Internal

#Choose

data Choose a

Constructors

Instances

#CHOOSE

#_choose

_choose :: SProxy "choose"

#toRows

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

#fromRows

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

Modules