Module

Polyform.Dual.Record

Package
purescript-polyform
Repository
paluh/purescript-polyform

#Builder Source

newtype Builder p i ser prs prs'

Constructors

Instances

#insert Source

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

#build Source

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