Module

Polyform.Dual.Record

Package
purescript-polyform
Repository
purescript-polyform/polyform

#Builder Source

newtype Builder p s i ser prs prs'

Constructors

Instances

#insert Source

insert :: forall i n o p prs prs' s ser ser'. Cons' n o ser ser' => Cons' n o prs prs' => Functor (p i) => Proxy n -> Dual p s i o -> Builder p s i (Record ser') (Record prs) (Record prs')

#build Source

build :: forall i o p s. Functor (p i) => Builder p s i (Record o) (Record ()) (Record o) -> Dual p s i (Record o)