Safe Haskell	None
Language	Haskell2010

Distribution.Parsec.Newtypes

Contents

List
- Modifiers
- Type
Set
Version & License
Identifiers

Description

This module provides newtype wrappers to be used with Distribution.FieldGrammar.

Synopsis

alaList :: sep -> [a] -> List sep (Identity a) a
alaList' :: sep -> (a -> b) -> [a] -> List sep b a
data CommaVCat = CommaVCat
data CommaFSep = CommaFSep
data VCat = VCat
data FSep = FSep
data NoCommaFSep = NoCommaFSep
class Sep sep where
data List sep b a
alaSet :: sep -> Set a -> Set' sep (Identity a) a
alaSet' :: sep -> (a -> b) -> Set a -> Set' sep b a
data Set' sep b a
newtype SpecVersion = SpecVersion {
- getSpecVersion :: Either Version VersionRange
}
newtype TestedWith = TestedWith {
- getTestedWith :: (CompilerFlavor, VersionRange)
}
newtype SpecLicense = SpecLicense {
- getSpecLicense :: Either License License
}
newtype Token = Token {
- getToken :: String
}
newtype Token' = Token' {
- getToken' :: String
}
newtype MQuoted a = MQuoted {
- getMQuoted :: a
}
newtype FilePathNT = FilePathNT {
- getFilePathNT :: String
}

List

alaList :: sep -> [a] -> List sep (Identity a) a #

alaList and alaList' are simply List, with additional phantom arguments to constraint 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

alaList' :: sep -> (a -> b) -> [a] -> List sep b a #

More general version of alaList.

Modifiers

data CommaVCat #

Vertical list with commas. Displayed with vcat

Constructors

CommaVCat

Instances

Sep CommaVCat #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy CommaVCat -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy CommaVCat -> m a -> m [a] #

data CommaFSep #

Paragraph fill list with commas. Displayed with fsep

Constructors

CommaFSep

Instances

Sep CommaFSep #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy CommaFSep -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy CommaFSep -> m a -> m [a] #

data VCat #

Vertical list with optional commas. Displayed with vcat.

Constructors

VCat

Instances

Sep VCat #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy VCat -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy VCat -> m a -> m [a] #

data FSep #

Paragraph fill list with optional commas. Displayed with fsep.

Constructors

FSep

Instances

Sep FSep #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy FSep -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy FSep -> m a -> m [a] #

data NoCommaFSep #

Paragraph fill list without commas. Displayed with fsep.

Constructors

NoCommaFSep

Instances

Sep NoCommaFSep #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy NoCommaFSep -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy NoCommaFSep -> m a -> m [a] #

class Sep sep where #

Minimal complete definition

prettySep, parseSep

Methods

prettySep :: Proxy sep -> [Doc] -> Doc #

parseSep :: CabalParsing m => Proxy sep -> m a -> m [a] #

Instances

Sep NoCommaFSep #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy NoCommaFSep -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy NoCommaFSep -> m a -> m [a] #
Sep FSep #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy FSep -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy FSep -> m a -> m [a] #
Sep VCat #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy VCat -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy VCat -> m a -> m [a] #
Sep CommaFSep #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy CommaFSep -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy CommaFSep -> m a -> m [a] #
Sep CommaVCat #
Instance details Defined in Distribution.Parsec.Newtypes Methods prettySep :: Proxy CommaVCat -> [Doc] -> Doc # parseSep :: CabalParsing m => Proxy CommaVCat -> m a -> m [a] #

Type

data List sep b a #

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

Instances

Newtype [a] (List sep wrapper a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: [a] -> List sep wrapper a # unpack :: List sep wrapper a -> [a] #
(Newtype a b, Sep sep, Pretty b) => Pretty (List sep b a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: List sep b a -> Doc # prettyVersioned :: CabalSpecVersion -> List sep b a -> Doc #
(Newtype a b, Sep sep, Parsec b) => Parsec (List sep b a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m (List sep b a) #

Set

alaSet :: sep -> Set a -> Set' sep (Identity a) a #

alaSet and alaSet' are simply Set' constructor, with additional phantom arguments to constraint 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: 3.2.0.0

alaSet' :: sep -> (a -> b) -> Set a -> Set' sep b a #

More general version of alaSet.

Since: 3.2.0.0

data Set' sep b a #

Like List, but for Set.

Since: 3.2.0.0

Instances

Newtype (Set a) (Set' sep wrapper a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: Set a -> Set' sep wrapper a # unpack :: Set' sep wrapper a -> Set a #
(Newtype a b, Sep sep, Pretty b) => Pretty (Set' sep b a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: Set' sep b a -> Doc # prettyVersioned :: CabalSpecVersion -> Set' sep b a -> Doc #
(Newtype a b, Ord a, Sep sep, Parsec b) => Parsec (Set' sep b a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m (Set' sep b a) #

Version & License

newtype SpecVersion #

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

Constructors

SpecVersion
Fields getSpecVersion :: Either Version VersionRange

Instances

Pretty SpecVersion #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: SpecVersion -> Doc # prettyVersioned :: CabalSpecVersion -> SpecVersion -> Doc #
Parsec SpecVersion #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m SpecVersion #
Newtype (Either Version VersionRange) SpecVersion #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: Either Version VersionRange -> SpecVersion # unpack :: SpecVersion -> Either Version VersionRange #

newtype TestedWith #

Version range or just version

Constructors

TestedWith
Fields getTestedWith :: (CompilerFlavor, VersionRange)

Instances

Pretty TestedWith #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: TestedWith -> Doc # prettyVersioned :: CabalSpecVersion -> TestedWith -> Doc #
Parsec TestedWith #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m TestedWith #
Newtype (CompilerFlavor, VersionRange) TestedWith #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: (CompilerFlavor, VersionRange) -> TestedWith # unpack :: TestedWith -> (CompilerFlavor, VersionRange) #

newtype SpecLicense #

SPDX License expression or legacy license

Constructors

SpecLicense
Fields getSpecLicense :: Either License License

Instances

Pretty SpecLicense #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: SpecLicense -> Doc # prettyVersioned :: CabalSpecVersion -> SpecLicense -> Doc #
Parsec SpecLicense #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m SpecLicense #
Newtype (Either License License) SpecLicense #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: Either License0 License -> SpecLicense # unpack :: SpecLicense -> Either License0 License #

Identifiers

newtype Token #

Haskell string or [^ ,]+

Constructors

Token
Fields getToken :: String

Instances

Pretty Token #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: Token -> Doc # prettyVersioned :: CabalSpecVersion -> Token -> Doc #
Parsec Token #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m Token #
Newtype String Token #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: String -> Token # unpack :: Token -> String #

newtype Token' #

Haskell string or [^ ]+

Constructors

Token'
Fields getToken' :: String

Instances

Pretty Token' #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: Token' -> Doc # prettyVersioned :: CabalSpecVersion -> Token' -> Doc #
Parsec Token' #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m Token' #
Newtype String Token' #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: String -> Token' # unpack :: Token' -> String #

newtype MQuoted a #

Either "quoted" or un-quoted.

Constructors

MQuoted
Fields getMQuoted :: a

Instances

Newtype a (MQuoted a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: a -> MQuoted a # unpack :: MQuoted a -> a #
Pretty a => Pretty (MQuoted a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: MQuoted a -> Doc # prettyVersioned :: CabalSpecVersion -> MQuoted a -> Doc #
Parsec a => Parsec (MQuoted a) #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m (MQuoted a) #

newtype FilePathNT #

Filepath are parsed as Token.

Constructors

FilePathNT
Fields getFilePathNT :: String

Instances

Pretty FilePathNT #
Instance details Defined in Distribution.Parsec.Newtypes Methods pretty :: FilePathNT -> Doc # prettyVersioned :: CabalSpecVersion -> FilePathNT -> Doc #
Parsec FilePathNT #
Instance details Defined in Distribution.Parsec.Newtypes Methods parsec :: CabalParsing m => m FilePathNT #
Newtype String FilePathNT #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: String -> FilePathNT # unpack :: FilePathNT -> String #