{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
module Data.SemVer.Delimited
(
Delimiters
, semantic
, minor
, patch
, release
, metadata
, identifier
, toBuilder
, parser
) where
import Control.Applicative
import Control.Monad
import Data.Attoparsec.Text
import Data.SemVer.Internal
import Data.Text.Lazy.Builder (Builder)
import qualified Data.Text.Lazy.Builder as Build
import qualified Data.Text.Lazy.Builder.Int as Build
semantic :: Delimiters
semantic :: Delimiters
semantic = Delimiters
{ _delimMinor :: Char
_delimMinor = Char
'.'
, _delimPatch :: Char
_delimPatch = Char
'.'
, _delimRelease :: Char
_delimRelease = Char
'-'
, _delimMeta :: Char
_delimMeta = Char
'+'
, _delimIdent :: Char
_delimIdent = Char
'.'
}
minor :: Functor f => (Char -> f Char) -> Delimiters -> f Delimiters
minor :: forall (f :: * -> *).
Functor f =>
(Char -> f Char) -> Delimiters -> f Delimiters
minor Char -> f Char
f Delimiters
x = (\Char
y -> Delimiters
x { _delimMinor :: Char
_delimMinor = Char
y }) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Char -> f Char
f (Delimiters -> Char
_delimMinor Delimiters
x)
{-# INLINE minor #-}
patch :: Functor f => (Char -> f Char) -> Delimiters -> f Delimiters
patch :: forall (f :: * -> *).
Functor f =>
(Char -> f Char) -> Delimiters -> f Delimiters
patch Char -> f Char
f Delimiters
x = (\Char
y -> Delimiters
x { _delimPatch :: Char
_delimPatch = Char
y }) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Char -> f Char
f (Delimiters -> Char
_delimPatch Delimiters
x)
{-# INLINE patch #-}
release :: Functor f => (Char -> f Char) -> Delimiters -> f Delimiters
release :: forall (f :: * -> *).
Functor f =>
(Char -> f Char) -> Delimiters -> f Delimiters
release Char -> f Char
f Delimiters
x = (\Char
y -> Delimiters
x { _delimRelease :: Char
_delimRelease = Char
y }) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Char -> f Char
f (Delimiters -> Char
_delimRelease Delimiters
x)
{-# INLINE release #-}
metadata :: Functor f => (Char -> f Char) -> Delimiters -> f Delimiters
metadata :: forall (f :: * -> *).
Functor f =>
(Char -> f Char) -> Delimiters -> f Delimiters
metadata Char -> f Char
f Delimiters
x = (\Char
y -> Delimiters
x { _delimMeta :: Char
_delimMeta = Char
y }) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Char -> f Char
f (Delimiters -> Char
_delimMeta Delimiters
x)
{-# INLINE metadata #-}
identifier :: Functor f => (Char -> f Char) -> Delimiters -> f Delimiters
identifier :: forall (f :: * -> *).
Functor f =>
(Char -> f Char) -> Delimiters -> f Delimiters
identifier Char -> f Char
f Delimiters
x = (\Char
y -> Delimiters
x { _delimIdent :: Char
_delimIdent = Char
y }) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Char -> f Char
f (Delimiters -> Char
_delimIdent Delimiters
x)
{-# INLINE identifier #-}
toBuilder :: Delimiters -> Version -> Builder
toBuilder :: Delimiters -> Version -> Builder
toBuilder = forall m.
Monoid m =>
(Char -> m)
-> (Int -> m) -> (Text -> m) -> Delimiters -> Version -> m
toMonoid Char -> Builder
Build.singleton forall a. Integral a => a -> Builder
Build.decimal Text -> Builder
Build.fromText
parser :: Delimiters -> Bool -> Parser Version
parser :: Delimiters -> Bool -> Parser Version
parser Delimiters{Char
_delimIdent :: Char
_delimMeta :: Char
_delimRelease :: Char
_delimPatch :: Char
_delimMinor :: Char
_delimIdent :: Delimiters -> Char
_delimMeta :: Delimiters -> Char
_delimRelease :: Delimiters -> Char
_delimPatch :: Delimiters -> Char
_delimMinor :: Delimiters -> Char
..} Bool
requireAtEnd = Int -> Int -> Int -> [Identifier] -> [Identifier] -> Version
Version
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (forall a. (Show a, Integral a) => Parser a
nonNegative forall (f :: * -> *) a b. Applicative f => f a -> f b -> f a
<* Char -> Parser Char
char Char
_delimMinor)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (forall a. (Show a, Integral a) => Parser a
nonNegative forall (f :: * -> *) a b. Applicative f => f a -> f b -> f a
<* Char -> Parser Char
char Char
_delimPatch)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall a. (Show a, Integral a) => Parser a
nonNegative
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Alternative f => a -> f a -> f a
option [] (forall i a. Parser i a -> Parser i a
try (Char -> Parser Char
char Char
_delimRelease) forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser Text [Identifier]
identifiers)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Alternative f => a -> f a -> f a
option [] (forall i a. Parser i a -> Parser i a
try (Char -> Parser Char
char Char
_delimMeta) forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser Text [Identifier]
identifiers)
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f a
<* forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
requireAtEnd forall t. Chunk t => Parser t ()
endOfInput
where
identifiers :: Parser [Identifier]
identifiers :: Parser Text [Identifier]
identifiers = forall (f :: * -> *) a. Alternative f => f a -> f [a]
many (Parser () -> Parser Identifier
identifierParser forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a. Functor f => f a -> f ()
void (Char -> Parser Char
char Char
_delimIdent))