Module

Polyform.Dual.Record

Package: purescript-polyform
Repository: purescript-polyform/polyform

#Builder Source

newtype Builder p s i ser prs prs'

Constructors

Builder (DualD p s i ser (Builder prs prs'))

Instances

(Semigroup i, Applicative s, Applicative (p i)) => Semigroupoid (Builder p s i ser)
(Monoid i, Applicative s, Applicative (p i)) => Category (Builder p s i ser)

#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)