diff options
| author | hdgarrood <> | 2019-08-18 14:02:00 (GMT) |
|---|---|---|
| committer | hdiff <hdiff@hdiff.luite.com> | 2019-08-18 14:02:00 (GMT) |
| commit | 196340405320c2706aef57bcfe40cf4790e62de3 (patch) | |
| tree | 5438cef009fdeceb1da910c2bf9207292cf4e74a /src/Language/PureScript/Docs/Convert/Single.hs | |
| parent | 47e475db976f0dd4837c1e911fc55c9f7242db65 (diff) | |
version 0.13.30.13.3
Diffstat (limited to 'src/Language/PureScript/Docs/Convert/Single.hs')
| -rw-r--r-- | src/Language/PureScript/Docs/Convert/Single.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Language/PureScript/Docs/Convert/Single.hs b/src/Language/PureScript/Docs/Convert/Single.hs index 1ab7188..60e2ddb 100644 --- a/src/Language/PureScript/Docs/Convert/Single.hs +++ b/src/Language/PureScript/Docs/Convert/Single.hs @@ -128,9 +128,9 @@ convertDeclaration (P.DataDeclaration sa dtype _ args ctors) title = where info = DataDeclaration dtype (fmap (fmap (fmap ($> ()))) args) children = map convertCtor ctors - convertCtor :: (P.ProperName 'P.ConstructorName, [(P.Ident, P.SourceType)]) -> ChildDeclaration - convertCtor (ctor', tys) = - ChildDeclaration (P.runProperName ctor') Nothing Nothing (ChildDataConstructor (fmap (($> ()) . snd) tys)) + convertCtor :: P.DataConstructorDeclaration -> ChildDeclaration + convertCtor P.DataConstructorDeclaration{..} = + ChildDeclaration (P.runProperName dataCtorName) (convertComments $ snd dataCtorAnn) Nothing (ChildDataConstructor (fmap (($> ()) . snd) dataCtorFields)) convertDeclaration (P.ExternDataDeclaration sa _ kind') title = basicDeclaration sa title (ExternDataDeclaration (kind' $> ())) convertDeclaration (P.ExternKindDeclaration sa _) title = |