| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HsSyn
Synopsis
- module HsBinds
- module HsDecls
- module HsExpr
- module HsImpExp
- module HsLit
- module HsPat
- module HsTypes
- module HsUtils
- module HsDoc
- module PlaceHolder
- module HsExtension
- data Fixity
- data HsModule pass = HsModule {
- hsmodName :: Maybe (Located ModuleName)
- hsmodExports :: Maybe (Located [LIE pass])
- hsmodImports :: [LImportDecl pass]
- hsmodDecls :: [LHsDecl pass]
- hsmodDeprecMessage :: Maybe (Located WarningTxt)
- hsmodHaddockModHeader :: Maybe LHsDocString
Documentation
module HsBinds
module HsDecls
module HsExpr
module HsImpExp
module HsLit
module HsPat
module HsTypes
module HsUtils
module HsDoc
module PlaceHolder
module HsExtension
Instances
Instance details
Defined in BasicTypes
Methods
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixity -> c Fixity #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Fixity #
toConstr :: Fixity -> Constr #
dataTypeOf :: Fixity -> DataType #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Fixity) #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Fixity) #
gmapT :: (forall b. Data b => b -> b) -> Fixity -> Fixity #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r #
gmapQ :: (forall d. Data d => d -> u) -> Fixity -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixity -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity #
Haskell Module
All we actually declare here is the top-level structure for a module.
Constructors
Fields
- hsmodName :: Maybe (Located ModuleName)
Nothing: "module X where" is omitted (in which case the next field is Nothing too) - hsmodExports :: Maybe (Located [LIE pass])
Export list
Nothing: export list omitted, so export everythingJust []: export nothingJust [...]: as you would expect...AnnKeywordIds :AnnOpen,AnnClose
- hsmodImports :: [LImportDecl pass]
We snaffle interesting stuff out of the imported interfaces early on, adding that info to TyDecls/etc; so this list is often empty, downstream.
- hsmodDecls :: [LHsDecl pass]
Type, class, value, and interface signature decls
- hsmodDeprecMessage :: Maybe (Located WarningTxt)
reason/explanation for warning/deprecation of this module
AnnKeywordIds :AnnOpen,AnnClose
- hsmodHaddockModHeader :: Maybe LHsDocString
Haddock module info and description, unparsed
AnnKeywordIds :AnnOpen,AnnClose
Instances
Instance details
Defined in HsSyn
Methods
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsModule GhcTc -> c (HsModule GhcTc) #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsModule GhcTc) #
toConstr :: HsModule GhcTc -> Constr #
dataTypeOf :: HsModule GhcTc -> DataType #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsModule GhcTc)) #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsModule GhcTc)) #
gmapT :: (forall b. Data b => b -> b) -> HsModule GhcTc -> HsModule GhcTc #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsModule GhcTc -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsModule GhcTc -> r #
gmapQ :: (forall d. Data d => d -> u) -> HsModule GhcTc -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> HsModule GhcTc -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsModule GhcTc -> m (HsModule GhcTc) #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule GhcTc -> m (HsModule GhcTc) #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule GhcTc -> m (HsModule GhcTc) #
Instance details
Defined in HsSyn
Methods
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsModule GhcRn -> c (HsModule GhcRn) #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsModule GhcRn) #
toConstr :: HsModule GhcRn -> Constr #
dataTypeOf :: HsModule GhcRn -> DataType #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsModule GhcRn)) #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsModule GhcRn)) #
gmapT :: (forall b. Data b => b -> b) -> HsModule GhcRn -> HsModule GhcRn #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsModule GhcRn -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsModule GhcRn -> r #
gmapQ :: (forall d. Data d => d -> u) -> HsModule GhcRn -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> HsModule GhcRn -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsModule GhcRn -> m (HsModule GhcRn) #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule GhcRn -> m (HsModule GhcRn) #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule GhcRn -> m (HsModule GhcRn) #
Instance details
Defined in HsSyn
Methods
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsModule GhcPs -> c (HsModule GhcPs) #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsModule GhcPs) #
toConstr :: HsModule GhcPs -> Constr #
dataTypeOf :: HsModule GhcPs -> DataType #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsModule GhcPs)) #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsModule GhcPs)) #
gmapT :: (forall b. Data b => b -> b) -> HsModule GhcPs -> HsModule GhcPs #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsModule GhcPs -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsModule GhcPs -> r #
gmapQ :: (forall d. Data d => d -> u) -> HsModule GhcPs -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> HsModule GhcPs -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsModule GhcPs -> m (HsModule GhcPs) #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule GhcPs -> m (HsModule GhcPs) #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule GhcPs -> m (HsModule GhcPs) #