{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedStrings #-}

module Ormolu.Printer.Meat.Declaration.Annotation
  ( p_annDecl,
  )
where

import GHC
import Ormolu.Printer.Combinators
import Ormolu.Printer.Meat.Common
import Ormolu.Printer.Meat.Declaration.Value

p_annDecl :: AnnDecl GhcPs -> R ()
p_annDecl :: AnnDecl GhcPs -> R ()
p_annDecl = \case
  HsAnnotation XHsAnnotation GhcPs
NoExtField SourceText
_ AnnProvenance (IdP GhcPs)
annProv Located (HsExpr GhcPs)
expr -> Text -> R () -> R ()
pragma Text
"ANN" (R () -> R ()) -> (R () -> R ()) -> R () -> R ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. R () -> R ()
inci (R () -> R ()) -> R () -> R ()
forall a b. (a -> b) -> a -> b
$ do
    AnnProvenance (IdP GhcPs) -> R ()
p_annProv AnnProvenance (IdP GhcPs)
annProv
    R ()
breakpoint
    Located (HsExpr GhcPs) -> (HsExpr GhcPs -> R ()) -> R ()
forall a. Located a -> (a -> R ()) -> R ()
located Located (HsExpr GhcPs)
expr HsExpr GhcPs -> R ()
p_hsExpr
  XAnnDecl XXAnnDecl GhcPs
x -> NoExtCon -> R ()
forall a. NoExtCon -> a
noExtCon NoExtCon
XXAnnDecl GhcPs
x

p_annProv :: AnnProvenance (IdP GhcPs) -> R ()
p_annProv :: AnnProvenance (IdP GhcPs) -> R ()
p_annProv = \case
  ValueAnnProvenance Located (IdP GhcPs)
name -> Located RdrName -> R ()
p_rdrName Located (IdP GhcPs)
Located RdrName
name
  TypeAnnProvenance Located (IdP GhcPs)
name -> Text -> R ()
txt Text
"type" R () -> R () -> R ()
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> R ()
space R () -> R () -> R ()
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Located RdrName -> R ()
p_rdrName Located (IdP GhcPs)
Located RdrName
name
  AnnProvenance (IdP GhcPs)
ModuleAnnProvenance -> Text -> R ()
txt Text
"module"