ModuleCabal-syntax-3.16.0.0Haskell2010

Distribution.Fields.Field

Cabal-like file AST types: Field, Section etc

These types are parameterized by an annotation.

Contents

Cabal file
Name
Conversions to String

Synopsis

data Field
value fieldName
value fieldAnn
value fieldUniverse
data FieldLine
value fieldLineAnn
value fieldLineBS
data SectionArg
value sectionArgAnn
type FieldName
data Name
value mkName
value getName
value nameAnn
value sectionArgsToString
value fieldLinesToString

PackageCabal-syntax-3.16.0.0
Exports16
LanguageHaskell2010
LicenceBSD-3-Clause
SourceField.hs

Cabal file

datadata Field ann

Source#

A Cabal-like file consists of a series of fields (foo: bar) and sections (library ...).

Constructors

Field !(Name ann) [FieldLine ann]
Section !(Name ann) [SectionArg ann] [Field ann]

Instances7Functor, Foldable, Traversable, Foldable1, Eq, Ord, …

Functor FieldDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable FieldDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Traversable FieldDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable1 FieldDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Eq ann => Eq (Field ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Ord ann => Ord (Field ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Show ann => Show (Field ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field

valuefieldName :: Field ann -> Name ann

Source#

Section of field name

valuefieldAnn :: Field ann -> ann

valuefieldUniverse :: Field ann -> [Field ann]

Source#

All transitive descendants of Field, including itself.

Note: the resulting list is never empty.

datadata FieldLine ann

Source#

A line of text representing the value of a field from a Cabal file. A field may contain multiple lines.

Invariant: ByteString has no newlines.

Constructors

FieldLine !ann !ByteString

Instances7Functor, Foldable, Traversable, Foldable1, Eq, Ord, …

Functor FieldLineDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable FieldLineDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Traversable FieldLineDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable1 FieldLineDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Eq ann => Eq (FieldLine ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Ord ann => Ord (FieldLine ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Show ann => Show (FieldLine ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field

valuefieldLineAnn :: FieldLine ann -> ann

Source#

valuefieldLineBS :: FieldLine ann -> ByteString

Source#

datadata SectionArg ann

Source#

Section arguments, e.g. name of the library

Constructors

SecArgName !ann !ByteString
identifier, or something which looks like number. Also many dot numbers, i.e. "7.6.3"
SecArgStr !ann !ByteString
quoted string
SecArgOther !ann !ByteString
everything else, mm. operators (e.g. in if-section conditionals)

Instances7Functor, Foldable, Traversable, Foldable1, Eq, Ord, …

Functor SectionArgDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable SectionArgDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Traversable SectionArgDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable1 SectionArgDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Eq ann => Eq (SectionArg ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Ord ann => Ord (SectionArg ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Show ann => Show (SectionArg ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field

valuesectionArgAnn :: SectionArg ann -> ann

Source#

Extract annotation from SectionArg.

Name

typetype FieldName = ByteString

datadata Name ann

Source#

A field name.

Invariant: ByteString is lower-case ASCII.

Constructors

Name !ann !FieldName

Instances7Functor, Foldable, Traversable, Foldable1, Eq, Ord, …

Functor NameDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable NameDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Traversable NameDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Foldable1 NameDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Eq ann => Eq (Name ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Ord ann => Ord (Name ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field
Show ann => Show (Name ann)Defined in Cabal-syntax-3.16.0.0 · Distribution.Fields.Field

valuemkName :: ann -> FieldName -> Name ann

valuegetName :: Name ann -> FieldName

valuenameAnn :: Name ann -> ann

Conversions to String

valuesectionArgsToString :: [SectionArg ann] -> String

Source#

valuefieldLinesToString :: [FieldLine ann] -> String

Source#

Convert [FieldLine] into String.

Note: this doesn't preserve indentation or empty lines, as the annotations (e.g. positions) are ignored.