HsSyn

Documentation

module HsBinds

module HsDecls

module HsExpr

module HsImpExp

module HsLit

module HsPat

module HsTypes

module HsUtils

module HsDoc

module PlaceHolder

module HsExtension

data Fixity

Instances

Eq Fixity

Defined in BasicTypes

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Data Fixity

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

Outputable Fixity

Defined in BasicTypes

Methods

ppr :: Fixity -> SDoc

pprPrec :: Rational -> Fixity -> SDoc

Binary Fixity

Defined in Binary

Methods

put_ :: BinHandle -> Fixity -> IO ()

put :: BinHandle -> Fixity -> IO (Bin Fixity)

get :: BinHandle -> IO Fixity

data HsModule name

Haskell Module

All we actually declare here is the top-level structure for a module.

Constructors

HsModule

AnnKeywordIds

• AnnModule,AnnWhere
• AnnOpen,AnnSemi, AnnClose for explicit braces and semi around hsmodImports,hsmodDecls if this style is used.

Fields

• hsmodName :: Maybe (Located ModuleName)

  Nothing: "module X where" is omitted (in which case the next field is Nothing too)

• hsmodExports :: Maybe (Located [LIE name])

  Export list

  • Nothing: export list omitted, so export everything
  • Just []: export nothing
  • Just [...]: as you would expect...
  • AnnKeywordIds : AnnOpen ,AnnClose
• hsmodImports :: [LImportDecl name]

  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 name]

  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

DataId name => Data (HsModule name)

Defined in HsSyn

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsModule name -> c (HsModule name)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsModule name)

toConstr :: HsModule name -> Constr

dataTypeOf :: HsModule name -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsModule name))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsModule name))

gmapT :: (forall b. Data b => b -> b) -> HsModule name -> HsModule name

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsModule name -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsModule name -> r

gmapQ :: (forall d. Data d => d -> u) -> HsModule name -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> HsModule name -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsModule name -> m (HsModule name)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule name -> m (HsModule name)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsModule name -> m (HsModule name)

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsModule pass)

Defined in HsSyn

Methods

ppr :: HsModule pass -> SDoc

pprPrec :: Rational -> HsModule pass -> SDoc