Mark Eibes
2020-03-19T21:50:18Z

Abomination.purs

| module Abomination where
|
| jsx ∷
| ∀ to thru from.
| Lacks "kids" from =>
| Justifiable { | Kids from } { | Kids thru } =>
| Fillable { | Kids thru } { | Kids to } =>
| -- arguments
| ReactComponent (Record (Kids to)) ->
| Record from ->
| Array JSX ->
| JSX
| jsx x partialProps kids = element x props
| where
| props ∷ Record (Kids to)
| props = justifill partialPropsWithKids
| partialPropsWithKids ∷ Record (Kids from)
| partialPropsWithKids = insert _kids kids partialProps
| _kids = SProxy ∷ SProxy "kids"