Safe Haskell	None
Language	Haskell2010

HsImpExp

Synopsis

Documentation

type LImportDecl name Source

Arguments

= Located (ImportDecl name)

When in a list this may have

AnnKeywordId : AnnSemi

data ImportDecl name Source

A single Haskell import declaration.

Constructors

ImportDecl

AnnKeywordIds

AnnImport
AnnOpen, AnnClose for ideclSource
AnnSafe,AnnQualified, AnnPackageName,AnnAs, AnnVal
AnnHiding,AnnOpen, AnnClose attached to location in ideclHiding

Fields

ideclSourceSrc :: Maybe SourceText
ideclName :: Located ModuleName
Module name.
ideclPkgQual :: Maybe StringLiteral
Package qualifier.
ideclSource :: Bool
True = {-# SOURCE #-} import
ideclSafe :: Bool
True => safe import
ideclQualified :: Bool
True => qualified
ideclImplicit :: Bool
True => implicit import (of Prelude)
ideclAs :: Maybe ModuleName
as Module
ideclHiding :: Maybe (Bool, Located [LIE name])
(True => hiding, names)

Instances

Data name => Data (ImportDecl name)
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImportDecl name -> c (ImportDecl name) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ImportDecl name) Source toConstr :: ImportDecl name -> Constr Source dataTypeOf :: ImportDecl name -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c (ImportDecl name)) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ImportDecl name)) Source gmapT :: (forall b. Data b => b -> b) -> ImportDecl name -> ImportDecl name Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImportDecl name -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImportDecl name -> r Source gmapQ :: (forall d. Data d => d -> u) -> ImportDecl name -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> ImportDecl name -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImportDecl name -> m (ImportDecl name) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImportDecl name -> m (ImportDecl name) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImportDecl name -> m (ImportDecl name) Source
(OutputableBndr name, HasOccName name) => Outputable (ImportDecl name)
Methods ppr :: ImportDecl name -> SDoc Source pprPrec :: Rational -> ImportDecl name -> SDoc Source

simpleImportDecl :: ModuleName -> ImportDecl name Source

type LIE name Source

Arguments

= Located (IE name)

When in a list this may have

AnnKeywordId : AnnComma

data IE name Source

Imported or exported entity.

Constructors

IEVar (Located name)	`AnnKeywordId`s : `AnnPattern`, `AnnType`
IEThingAbs (Located name)	Class/Type (can't tell) - `AnnKeywordId`s : `AnnPattern`, `AnnType`,`AnnVal`
IEThingAll (Located name)	ClassType plus all methodsconstructors `AnnKeywordId`s : `AnnOpen`, `AnnDotdot`,`AnnClose`, `AnnType`
IEThingWith (Located name) IEWildcard [Located name] [Located (FieldLbl name)]	ClassType plus some methodsconstructors and record fields; see Note [IEThingWith] - `AnnKeywordId`s : `AnnOpen`, `AnnClose`, `AnnComma`, `AnnType`
IEModuleContents (Located ModuleName)	(Export Only) `AnnKeywordId`s : `AnnModule`
IEGroup Int HsDocString	Doc section heading
IEDoc HsDocString	Some documentation
IEDocNamed String	Reference to named doc

Instances

Eq name => Eq (IE name)
Methods (==) :: IE name -> IE name -> Bool (/=) :: IE name -> IE name -> Bool
Data name => Data (IE name)
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IE name -> c (IE name) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IE name) Source toConstr :: IE name -> Constr Source dataTypeOf :: IE name -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c (IE name)) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (IE name)) Source gmapT :: (forall b. Data b => b -> b) -> IE name -> IE name Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IE name -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IE name -> r Source gmapQ :: (forall d. Data d => d -> u) -> IE name -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> IE name -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> IE name -> m (IE name) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IE name -> m (IE name) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IE name -> m (IE name) Source
(HasOccName name, OutputableBndr name) => Outputable (IE name)
Methods ppr :: IE name -> SDoc Source pprPrec :: Rational -> IE name -> SDoc Source

data IEWildcard Source

Constructors

NoIEWildcard
IEWildcard Int

Instances

Eq IEWildcard
Methods (==) :: IEWildcard -> IEWildcard -> Bool (/=) :: IEWildcard -> IEWildcard -> Bool
Data IEWildcard
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IEWildcard -> c IEWildcard Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IEWildcard Source toConstr :: IEWildcard -> Constr Source dataTypeOf :: IEWildcard -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c IEWildcard) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IEWildcard) Source gmapT :: (forall b. Data b => b -> b) -> IEWildcard -> IEWildcard Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IEWildcard -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IEWildcard -> r Source gmapQ :: (forall d. Data d => d -> u) -> IEWildcard -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> IEWildcard -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> IEWildcard -> m IEWildcard Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IEWildcard -> m IEWildcard Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IEWildcard -> m IEWildcard Source

ieName :: IE name -> name Source

ieNames :: IE a -> [a] Source

pprImpExp :: (HasOccName name, OutputableBndr name) => name -> SDoc Source