alaList and alaList' are simply List, with additional phantom arguments to constrain the resulting type

>>> :t alaList VCat
alaList VCat :: [a] -> List VCat (Identity a) a

>>> :t alaList' FSep Token
alaList' FSep Token :: [String] -> List FSep Token String

More general version of alaList.

Vertical list with commas. Displayed with vcat

Paragraph fill list with commas. Displayed with fsep

Vertical list with optional commas. Displayed with vcat.

Paragraph fill list with optional commas. Displayed with fsep.

Paragraph fill list without commas. Displayed with fsep.

List separated with optional commas. Displayed with sep, arguments of type a are parsed and pretty-printed as b.

alaSet and alaSet' are simply Set' constructor, with additional phantom arguments to constrain the resulting type

>>> :t alaSet VCat
alaSet VCat :: Set a -> Set' VCat (Identity a) a

>>> :t alaSet' FSep Token
alaSet' FSep Token :: Set String -> Set' FSep Token String

>>> unpack' (alaSet' FSep Token) <$> eitherParsec "foo bar foo"
Right (fromList ["bar","foo"])

Since: Cabal-syntax-3.2.0.0

More general version of alaSet.

Since: Cabal-syntax-3.2.0.0

Like List, but for Set.

Since: Cabal-syntax-3.2.0.0

alaNonEmpty and alaNonEmpty' are simply NonEmpty' constructor, with additional phantom arguments to constrain the resulting type

>>> :t alaNonEmpty VCat
alaNonEmpty VCat :: NonEmpty a -> NonEmpty' VCat (Identity a) a

>>> unpack' (alaNonEmpty' FSep Token) <$> eitherParsec "foo bar foo"
Right ("foo" :| ["bar","foo"])

Since: Cabal-syntax-3.2.0.0

More general version of alaNonEmpty.

Since: Cabal-syntax-3.2.0.0

Like List, but for NonEmpty.

Since: Cabal-syntax-3.2.0.0

Version range or just version, i.e. cabal-version field.

There are few things to consider:

• Starting with 2.2 the cabal-version field should be the first field in the file and only exact version is accepted. Therefore if we get e.g. >= 2.2, we fail. See https://github.com/haskell/cabal/issues/4899

We have this newtype, as writing Parsec and Pretty instances for CabalSpecVersion would cause cycle in modules: Version -> CabalSpecVersion -> Parsec -> ...

Version range or just version

SPDX License expression or legacy license

Haskell string or [^ ,]+

Haskell string or [^ ]+

Either "quoted" or un-quoted.

Filepath are parsed as Token.

Newtype for SymbolicPath, with a different Parsec instance to disallow empty paths.

Newtype for RelativePath, with a different Parsec instance to disallow empty paths but allow non-relative paths (which get rejected later with a different error message, see checkPath)