{-# LANGUAGE OverloadedStrings #-}

module Ormolu.Printer.Meat.Declaration.Default
  ( p_defaultDecl,
  )
where

import GHC.Data.Maybe (whenIsJust)
import GHC.Hs
import Ormolu.Printer.Combinators
import Ormolu.Printer.Meat.Common
import Ormolu.Printer.Meat.Type

p_defaultDecl :: DefaultDecl GhcPs -> R ()
p_defaultDecl :: DefaultDecl GhcPs -> R ()
p_defaultDecl (DefaultDecl XCDefaultDecl GhcPs
_ Maybe (LIdP GhcPs)
mclass [LHsType GhcPs]
ts) = do
  Text -> R ()
txt Text
"default"
  Maybe (LocatedN RdrName) -> (LocatedN RdrName -> R ()) -> R ()
forall (m :: * -> *) a. Monad m => Maybe a -> (a -> m ()) -> m ()
whenIsJust Maybe (LIdP GhcPs)
Maybe (LocatedN RdrName)
mclass ((LocatedN RdrName -> R ()) -> R ())
-> (LocatedN RdrName -> R ()) -> R ()
forall a b. (a -> b) -> a -> b
$ \LocatedN RdrName
c -> do
    R ()
breakpoint
    LocatedN RdrName -> R ()
p_rdrName LocatedN RdrName
c
  R ()
breakpoint
  R () -> R ()
inci (R () -> R ()) -> (R () -> R ()) -> R () -> R ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. BracketStyle -> R () -> R ()
parens BracketStyle
N (R () -> R ()) -> R () -> R ()
forall a b. (a -> b) -> a -> b
$
    R ()
-> (GenLocated SrcSpanAnnA (HsType GhcPs) -> R ())
-> [GenLocated SrcSpanAnnA (HsType GhcPs)]
-> R ()
forall a. R () -> (a -> R ()) -> [a] -> R ()
sep R ()
commaDel (R () -> R ()
sitcc (R () -> R ())
-> (GenLocated SrcSpanAnnA (HsType GhcPs) -> R ())
-> GenLocated SrcSpanAnnA (HsType GhcPs)
-> R ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (HsType GhcPs -> R ())
-> GenLocated SrcSpanAnnA (HsType GhcPs) -> R ()
forall l a. HasLoc l => (a -> R ()) -> GenLocated l a -> R ()
located' HsType GhcPs -> R ()
p_hsType) [LHsType GhcPs]
[GenLocated SrcSpanAnnA (HsType GhcPs)]
ts