Module
Justifill.Fillable
- Package
- purescript-justifill
- Repository
- i-am-the-slime/purescript-justifill
#FillableFields Source
class FillableFields (xs :: RowList) (from :: Row Type) (to :: Row Type) | xs -> from to where
Members
getFillableFields :: RLProxy 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