Module

Justifill.Fillable

Package: purescript-justifill
Repository: i-am-the-slime/purescript-justifill

#Fillable Source

class Fillable partial complete  where

Members

fill :: partial -> complete

Instances

(RowToList missing missingList, FillableFields missingList () missing, Union partial missing complete, Nub complete complete) => Fillable (Record partial) (Record complete)

#FillableFields Source

class FillableFields :: RowList Type -> Row Type -> Row Type -> Constraintclass FillableFields (xs :: RowList Type) (from :: Row Type) (to :: Row Type) | xs -> from to where

Members

getFillableFields :: Proxy xs -> Builder (Record from) (Record to)

Instances

FillableFields Nil () ()
(IsSymbol name, FillableFields tail from from', Lacks name from', Cons name (Maybe ty) from' to) => FillableFields (Cons name (Maybe ty) tail) from to

Modules: Justifill; Justifill.Fillable; Justifill.Justifiable