7f2d442 · rowtype-yoga/purescript-radix-ui

git.iko.soy/rowtype-yoga/purescript-radix-ui

on main help sign in

Change

7f2d442Mark Eibes3 years ago

src/RadixUI/Dialog.js−1

compare with main

unifiedsplit

@@ -7,5 +7,4 @@ export const descriptionImpl = Dialog.Description;

7export const triggerImpl = Dialog.Trigger;

8export const closeImpl = Dialog.Close;

9export const rootImpl = Dialog.Root;

10−export const actionImpl = Dialog.Action;

11export const portalImpl = Dialog.Portal;

10export const portalImpl = Dialog.Portal;

src/RadixUI/Dialog.purs+23−41

@@ -25,16 +25,17 @@ type RootProps =

25 }

27x = React.element

28+

28-- | The foreign component for the Dialog

29-- | The foreign component for the Dialog

29foreign import rootImpl ∷ ∀ a. ReactComponent { | a }

30foreign import rootImpl ∷ ∀ a. ReactComponent { | a }

31-- | A PureScript wrapper for the Dialog component

32-- | A PureScript wrapper for the Dialog component

32−root ∷

33+root

33− ∀ p.

34+ ∷ ∀ p

34− Coerce p RootProps ⇒

35+ . Coerce p RootProps

35− p →

36+ ⇒ p

36− Array JSX →

37+ → Array JSX

37− JSX

38+ → JSX

38root props kids = React.element rootImpl $

39root props kids = React.element rootImpl $

39 (coerce props ∷ RootProps) # RB.build

40 (coerce props ∷ RootProps) # RB.build

40 ( RB.modify (Proxy ∷ _ "onOpenChange") (pseudoMap mkEffectFn1)

41 ( RB.modify (Proxy ∷ _ "onOpenChange") (pseudoMap mkEffectFn1)

@@ -51,8 +52,8 @@ type DialogTriggerProps =

51foreign import triggerImpl ∷ ∀ a. ReactComponent { | a }

52foreign import triggerImpl ∷ ∀ a. ReactComponent { | a }

53-- | A PureScript wrapper for the DialogTrigger component

54-- | A PureScript wrapper for the DialogTrigger component

54−trigger ∷

55+trigger

55− ∀ p kids. Coerce p DialogTriggerProps ⇒ IsJSX kids ⇒ p → kids → JSX

56+ ∷ ∀ p kids. Coerce p DialogTriggerProps ⇒ IsJSX kids ⇒ p → kids → JSX

56trigger props kids = React.element triggerImpl $

57trigger props kids = React.element triggerImpl $

57 (coerce props ∷ DialogTriggerProps) # RB.build

58 (coerce props ∷ DialogTriggerProps) # RB.build

58 ( RB.insert (Proxy ∷ _ "children") kids

59 ( RB.insert (Proxy ∷ _ "children") kids

@@ -60,18 +61,16 @@ trigger props kids = React.element triggerImpl $

61-- | The type of the DialogPortal component props

62-- | The type of the DialogPortal component props

62type DialogPortalProps =

63type DialogPortalProps =

63− { forceMount ∷

64− Opt Boolean -- ^ Whether to force mount the alert dialog portal in the DOM even when it is not open

64+ { forceMount ∷ Opt Boolean -- ^ Whether to force mount the alert dialog portal in the DOM even when it is not open

65− , container ∷

66− Opt HTMLElement -- ^ The container element to mount the alert dialog portal into

65+ , container ∷ Opt HTMLElement -- ^ The container element to mount the alert dialog portal into

67 }

66 }

69-- | The foreign component for the DialogPortal

68-- | The foreign component for the DialogPortal

70foreign import portalImpl ∷ ∀ a. ReactComponent { | a }

69foreign import portalImpl ∷ ∀ a. ReactComponent { | a }

72-- | A PureScript wrapper for the DialogPortal component

71-- | A PureScript wrapper for the DialogPortal component

73−portal ∷

72+portal

74− ∀ p kids. Coerce p DialogPortalProps ⇒ IsJSX kids ⇒ p → kids → JSX

73+ ∷ ∀ p kids. Coerce p DialogPortalProps ⇒ IsJSX kids ⇒ p → kids → JSX

75portal props kids = React.element portalImpl $

74portal props kids = React.element portalImpl $

76 (coerce props ∷ DialogPortalProps) # RB.build

75 (coerce props ∷ DialogPortalProps) # RB.build

77 ( RB.insert (Proxy ∷ _ "children") kids

76 ( RB.insert (Proxy ∷ _ "children") kids

@@ -91,8 +90,8 @@ type DialogOverlayProps =

91foreign import overlayImpl ∷ ∀ a. ReactComponent { | a }

90foreign import overlayImpl ∷ ∀ a. ReactComponent { | a }

93-- | A PureScript wrapper for the DialogOverlay component

92-- | A PureScript wrapper for the DialogOverlay component

94−overlay ∷

93+overlay

95− ∀ p kids. Coerce p DialogOverlayProps ⇒ IsJSX kids ⇒ p → kids → JSX

94+ ∷ ∀ p kids. Coerce p DialogOverlayProps ⇒ IsJSX kids ⇒ p → kids → JSX

96overlay props kids = React.element overlayImpl $

95overlay props kids = React.element overlayImpl $

97 (coerce props ∷ DialogOverlayProps) # RB.build

96 (coerce props ∷ DialogOverlayProps) # RB.build

98 ( RB.insert (Proxy ∷ _ "children") kids

97 ( RB.insert (Proxy ∷ _ "children") kids

@@ -118,8 +117,8 @@ type DialogContentProps =

118foreign import contentImpl ∷ ∀ a. ReactComponent { | a }

117foreign import contentImpl ∷ ∀ a. ReactComponent { | a }

119

118

120-- | A PureScript wrapper for the DialogContent component

119-- | A PureScript wrapper for the DialogContent component

121−content ∷

120+content

122− ∀ p kids. Coerce p DialogContentProps ⇒ IsJSX kids ⇒ p → kids → JSX

121+ ∷ ∀ p kids. Coerce p DialogContentProps ⇒ IsJSX kids ⇒ p → kids → JSX

123content props kids = React.element contentImpl $

122content props kids = React.element contentImpl $

124 (coerce props ∷ DialogContentProps) # RB.build

123 (coerce props ∷ DialogContentProps) # RB.build

125 (

124 (

@@ -136,23 +135,6 @@ type DialogCancelProps =

136 Opt Boolean -- ^ Whether to render the alert dialog cancel button as a child of the dialog content

135 Opt Boolean -- ^ Whether to render the alert dialog cancel button as a child of the dialog content

137 }

136 }

138

137

139−-- | The type of the DialogAction component props

140−type DialogActionProps =

141− { asChild ∷

142− Opt Boolean -- ^ Whether to render the alert dialog action button as a child of the dialog content

143− }

144−

145−-- | The foreign component for the DialogAction

146−foreign import actionImpl ∷ ∀ a. ReactComponent { | a }

147−

148−-- | A PureScript wrapper for the DialogAction component

149−action ∷

150− ∀ p kids. Coerce p DialogActionProps ⇒ IsJSX kids ⇒ p → kids → JSX

151−action props kids = React.element actionImpl $

152− (coerce props ∷ DialogActionProps) # RB.build

153− ( RB.insert (Proxy ∷ _ "children") kids

154− )

155−

156-- | The type of the DialogTitle component props

138-- | The type of the DialogTitle component props

157type DialogTitleProps =

139type DialogTitleProps =

158 { asChild ∷

140 { asChild ∷

@@ -165,8 +147,8 @@ type DialogTitleProps =

165foreign import titleImpl ∷ ∀ a. ReactComponent { | a }

147foreign import titleImpl ∷ ∀ a. ReactComponent { | a }

166

148

167-- | A PureScript wrapper for the DialogTitle component

149-- | A PureScript wrapper for the DialogTitle component

168−title ∷

150+title

169− ∀ p kids. Coerce p DialogTitleProps ⇒ IsJSX kids ⇒ p → kids → JSX

151+ ∷ ∀ p kids. Coerce p DialogTitleProps ⇒ IsJSX kids ⇒ p → kids → JSX

170title props kids = React.element titleImpl $

152title props kids = React.element titleImpl $

171 (coerce props ∷ DialogTitleProps) # RB.build

153 (coerce props ∷ DialogTitleProps) # RB.build

172 ( RB.insert (Proxy ∷ _ "children") kids

154 ( RB.insert (Proxy ∷ _ "children") kids

@@ -185,8 +167,8 @@ type DialogDescriptionProps =

185foreign import descriptionImpl ∷ ∀ a. ReactComponent { | a }

167foreign import descriptionImpl ∷ ∀ a. ReactComponent { | a }

186

168

187-- | A PureScript wrapper for the DialogDescription component

169-- | A PureScript wrapper for the DialogDescription component

188−description ∷

170+description

189− ∀ p kids. Coerce p DialogDescriptionProps ⇒ IsJSX kids ⇒ p → kids → JSX

171+ ∷ ∀ p kids. Coerce p DialogDescriptionProps ⇒ IsJSX kids ⇒ p → kids → JSX

190description props kids = React.element descriptionImpl $

172description props kids = React.element descriptionImpl $

191 (coerce props ∷ DialogDescriptionProps) # RB.build

173 (coerce props ∷ DialogDescriptionProps) # RB.build

192 ( RB.insert (Proxy ∷ _ "children") kids

174 ( RB.insert (Proxy ∷ _ "children") kids

@@ -205,8 +187,8 @@ type DialogCloseProps =

205foreign import closeImpl ∷ ∀ a. ReactComponent { | a }

187foreign import closeImpl ∷ ∀ a. ReactComponent { | a }

206

188

207-- | A PureScript wrapper for the DialogClose component

189-- | A PureScript wrapper for the DialogClose component

208−close ∷

190+close

209− ∀ p kids. Coerce p DialogCloseProps ⇒ IsJSX kids ⇒ p → kids → JSX

191+ ∷ ∀ p kids. Coerce p DialogCloseProps ⇒ IsJSX kids ⇒ p → kids → JSX

210close props kids = React.element closeImpl $

192close props kids = React.element closeImpl $

211 (coerce props ∷ DialogCloseProps) # RB.build

193 (coerce props ∷ DialogCloseProps) # RB.build

212 ( RB.insert (Proxy ∷ _ "children") kids

194 ( RB.insert (Proxy ∷ _ "children") kids