ghc-tags-core-0.1.0.0: a library to work with tags created from Haskell parsed tree

Safe HaskellSafe
LanguageHaskell2010

GhcTags.CTag.Header

Contents

Synopsis

Documentation

data Header where Source #

A type safe representation of a ctag header.

Constructors

Header 

Fields

Instances
Eq Header Source # 
Instance details

Defined in GhcTags.CTag.Header

Methods

(==) :: Header -> Header -> Bool #

(/=) :: Header -> Header -> Bool #

Show Header Source # 
Instance details

Defined in GhcTags.CTag.Header

Methods

showsPrec :: Int -> Header -> ShowS #

show :: Header -> String #

showList :: [Header] -> ShowS #

data HeaderType ty where Source #

Enumeration of header type and values of their corresponding argument

Constructors

FileEncoding :: HeaderType Text 
FileFormat :: HeaderType Int 
FileSorted :: HeaderType Int 
OutputMode :: HeaderType Text 
KindDescription :: HeaderType Text 
KindSeparator :: HeaderType Text 
ProgramAuthor :: HeaderType Text 
ProgramName :: HeaderType Text 
ProgramUrl :: HeaderType Text 
ProgramVersion :: HeaderType Text 
ExtraDescription :: HeaderType Text 
FieldDescription :: HeaderType Text 
PseudoTag :: Text -> HeaderType Text 
Instances
Eq (HeaderType ty) Source # 
Instance details

Defined in GhcTags.CTag.Header

Methods

(==) :: HeaderType ty -> HeaderType ty -> Bool #

(/=) :: HeaderType ty -> HeaderType ty -> Bool #

Ord (HeaderType ty) Source # 
Instance details

Defined in GhcTags.CTag.Header

Methods

compare :: HeaderType ty -> HeaderType ty -> Ordering #

(<) :: HeaderType ty -> HeaderType ty -> Bool #

(<=) :: HeaderType ty -> HeaderType ty -> Bool #

(>) :: HeaderType ty -> HeaderType ty -> Bool #

(>=) :: HeaderType ty -> HeaderType ty -> Bool #

max :: HeaderType ty -> HeaderType ty -> HeaderType ty #

min :: HeaderType ty -> HeaderType ty -> HeaderType ty #

Show (HeaderType ty) Source # 
Instance details

Defined in GhcTags.CTag.Header

Methods

showsPrec :: Int -> HeaderType ty -> ShowS #

show :: HeaderType ty -> String #

showList :: [HeaderType ty] -> ShowS #

data SomeHeaderType where Source #

Existential wrapper.

Constructors

SomeHeaderType :: forall ty. HeaderType ty -> SomeHeaderType 

Utils

data SingHeaderType ty where Source #

Singletons which makes it easier to work with HeaderType

Constructors

SingHeaderTypeText :: SingHeaderType Text 
SingHeaderTypeInt :: SingHeaderType Int 

headerTypeSing :: HeaderType ty -> SingHeaderType ty Source #