module Fay.Exts.Scoped where

import qualified Fay.Exts                        as F

import qualified Language.Haskell.Exts as A
import qualified Language.Haskell.Names          as HN (Scoped (Scoped), NameInfo (None))


type X = HN.Scoped A.SrcSpanInfo

type Alt = A.Alt X
type BangType = A.BangType X
type ClassDecl = A.ClassDecl X
type Decl = A.Decl X
type DeclHead = A.DeclHead X
type Ex = A.Exp X
type Exp = A.Exp X
type ExportSpec = A.ExportSpec X
type FieldDecl = A.FieldDecl X
type FieldUpdate = A.FieldUpdate X
type GadtDecl = A.GadtDecl X
type GuardedRhs = A.GuardedRhs X
type ImportDecl = A.ImportDecl X
type ImportSpec = A.ImportSpec X
type Literal = A.Literal X
type Match = A.Match X
type Module = A.Module X
type ModuleName = A.ModuleName X
type ModulePragma = A.ModulePragma X
type Name = A.Name X
type Pat = A.Pat X
type PatField = A.PatField X
type QName = A.QName X
type QOp = A.QOp X
type QualConDecl = A.QualConDecl X
type QualStmt = A.QualStmt X
type Rhs = A.Rhs X
type Sign = A.Sign X
type SpecialCon = A.SpecialCon X
type SrcLoc = A.SrcLoc
type Stmt = A.Stmt X
type TyVarBind = A.TyVarBind X
type Type = A.Type X

noI :: HN.Scoped A.SrcSpanInfo
noI :: Scoped SrcSpanInfo
noI = NameInfo SrcSpanInfo -> SrcSpanInfo -> Scoped SrcSpanInfo
forall l. NameInfo l -> l -> Scoped l
HN.Scoped NameInfo SrcSpanInfo
forall l. NameInfo l
HN.None SrcSpanInfo
F.noI

srcSpanInfo :: HN.Scoped A.SrcSpanInfo -> A.SrcSpanInfo
srcSpanInfo :: Scoped SrcSpanInfo -> SrcSpanInfo
srcSpanInfo (HN.Scoped NameInfo SrcSpanInfo
_ SrcSpanInfo
l) = SrcSpanInfo
l