{-# LANGUAGE DeriveDataTypeable    #-}
{-# LANGUAGE DeriveGeneric         #-}
{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedLists       #-}
{-# LANGUAGE OverloadedStrings     #-}
{-# LANGUAGE MultiWayIf            #-}
{-# LANGUAGE PackageImports        #-}
{-# LANGUAGE RecordWildCards       #-}
{-# LANGUAGE ScopedTypeVariables   #-}
{-# LANGUAGE TemplateHaskell       #-}
{-# LANGUAGE TypeFamilies          #-}
{-# LANGUAGE QuasiQuotes           #-}

-- |
-- Module      :  Data.SAM.Version1_6.Read.Parser.Header.HD.Base
-- Copyright   :  (c) Matthew Mosior 2023
-- License     :  BSD-style
-- Maintainer  :  mattm.github@gmail.com
-- Portability :  portable
--
-- = WARNING
--
-- This module is considered __internal__.
--
-- The Package Versioning Policy __does not apply__.
--
-- The contents of this module may change __in any way whatsoever__
-- and __without any warning__ between minor versions of this package.
--
-- Authors importing this library are expected to track development
-- closely.
--
-- All credit goes to the author(s)/maintainer(s) of the
-- [containers](https://hackage.haskell.org/package/containers) library
-- for the above warning text.
--
-- = Description
--
-- This library enables the decoding/encoding of SAM, BAM and CRAM file formats.

module Data.SAM.Version1_6.Read.Parser.Header.HD.Base ( -- * SAM_V1_6 parser - header section (File-level metadata)
                                                        parse_SAM_V1_6_File_Level_Metadata
                                                      ) where

import Data.SAM.Version1_6.Header
import Data.SAM.Version1_6.Read.Error
import Data.SAM.Version1_6.Read.Parser.Header.HD.VN
import Data.SAM.Version1_6.Read.Parser.Header.HD.SO
import Data.SAM.Version1_6.Read.Parser.Header.HD.GO
import Data.SAM.Version1_6.Read.Parser.Header.HD.SS

import Data.Attoparsec.ByteString.Lazy   as DABL
import Text.Regex.PCRE.Heavy

-- | Make a parser optional, return Nothing if there is no match.
maybeOption :: Parser a
            -> Parser (Maybe a)
maybeOption :: forall a. Parser a -> Parser (Maybe a)
maybeOption Parser a
p = Maybe a
-> Parser ByteString (Maybe a) -> Parser ByteString (Maybe a)
forall (f :: * -> *) a. Alternative f => a -> f a -> f a
option Maybe a
forall a. Maybe a
Nothing (a -> Maybe a
forall a. a -> Maybe a
Just (a -> Maybe a) -> Parser a -> Parser ByteString (Maybe a)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser a
p)

-- | @"SAM_V1_6_File_Level_Metadata"@ parser.
-- Defines a parser for @HD tag section of the SAM v1.6 file format.
-- See the [SAM v1.6](http://samtools.github.io/hts-specs/SAMv1.pdf) specification documentation.
parse_SAM_V1_6_File_Level_Metadata :: Parser SAM_V1_6_File_Level_Metadata
parse_SAM_V1_6_File_Level_Metadata :: Parser SAM_V1_6_File_Level_Metadata
parse_SAM_V1_6_File_Level_Metadata = do
  ByteString
_         <- do ByteString
hdheaderp <- (Word8 -> Bool) -> Parser ByteString ByteString
DABL.takeTill (Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
09)
                  -- Parse @HD tag of the header section.
                  case (ByteString
hdheaderp ByteString -> Regex -> Bool
forall a. ConvertibleStrings a ByteString => a -> Regex -> Bool
=~ [re|[@][H][D]|]) of
                    Bool
False -> String -> Parser ByteString ByteString
forall a. String -> Parser ByteString a
forall (m :: * -> *) a. MonadFail m => String -> m a
fail (String -> Parser ByteString ByteString)
-> String -> Parser ByteString ByteString
forall a b. (a -> b) -> a -> b
$ SAM_V1_6_Error -> String
forall a. Show a => a -> String
show SAM_V1_6_Error
SAM_V1_6_Error_File_Level_Metadata_Tag_Incorrect_Format
                    Bool
True  -> -- @HD tag is in the accepted format.
                             ByteString -> Parser ByteString ByteString
forall a. a -> Parser ByteString a
forall (m :: * -> *) a. Monad m => a -> m a
return ByteString
hdheaderp
  Word8
_         <- Word8 -> Parser Word8
word8 Word8
09
  -- This parser assumes that the VN tag always appears first, followed by
  -- SO, GO and SS tags, if they exist, in that order.
  SAM_V1_6_File_Level_Metadata_Format_Version
vn <- Parser SAM_V1_6_File_Level_Metadata_Format_Version
parse_SAM_V1_6_File_Level_Metadata_VN
  Word8
_  <- Word8 -> Parser Word8
word8 Word8
09
  Maybe SAM_V1_6_File_Level_Metadata_Sorting_Order
so <- Parser SAM_V1_6_File_Level_Metadata_Sorting_Order
-> Parser (Maybe SAM_V1_6_File_Level_Metadata_Sorting_Order)
forall a. Parser a -> Parser (Maybe a)
maybeOption Parser SAM_V1_6_File_Level_Metadata_Sorting_Order
parse_SAM_V1_6_File_Level_Metadata_SO
  Word8
_  <- Word8 -> Parser Word8
word8 Word8
09
  Maybe SAM_V1_6_File_Level_Metadata_Alignment_Grouping
go <- Parser SAM_V1_6_File_Level_Metadata_Alignment_Grouping
-> Parser (Maybe SAM_V1_6_File_Level_Metadata_Alignment_Grouping)
forall a. Parser a -> Parser (Maybe a)
maybeOption Parser SAM_V1_6_File_Level_Metadata_Alignment_Grouping
parse_SAM_V1_6_File_Level_Metadata_GO
  Word8
_  <- Word8 -> Parser Word8
word8 Word8
09
  Maybe SAM_V1_6_File_Level_Metadata_SubSorting_Order
ss <- Parser SAM_V1_6_File_Level_Metadata_SubSorting_Order
-> Parser (Maybe SAM_V1_6_File_Level_Metadata_SubSorting_Order)
forall a. Parser a -> Parser (Maybe a)
maybeOption Parser SAM_V1_6_File_Level_Metadata_SubSorting_Order
parse_SAM_V1_6_File_Level_Metadata_SS
  SAM_V1_6_File_Level_Metadata -> Parser SAM_V1_6_File_Level_Metadata
forall a. a -> Parser ByteString a
forall (m :: * -> *) a. Monad m => a -> m a
return SAM_V1_6_File_Level_Metadata { sam_v1_6_file_level_metadata_format_version :: SAM_V1_6_File_Level_Metadata_Format_Version
sam_v1_6_file_level_metadata_format_version     = SAM_V1_6_File_Level_Metadata_Format_Version
vn
                                      , sam_v1_6_file_level_metadata_sorting_order :: Maybe SAM_V1_6_File_Level_Metadata_Sorting_Order
sam_v1_6_file_level_metadata_sorting_order      = Maybe SAM_V1_6_File_Level_Metadata_Sorting_Order
so
                                      , sam_v1_6_file_level_metadata_alignment_grouping :: Maybe SAM_V1_6_File_Level_Metadata_Alignment_Grouping
sam_v1_6_file_level_metadata_alignment_grouping = Maybe SAM_V1_6_File_Level_Metadata_Alignment_Grouping
go
                                      , sam_v1_6_file_level_metadata_subsorting_order :: Maybe SAM_V1_6_File_Level_Metadata_SubSorting_Order
sam_v1_6_file_level_metadata_subsorting_order   = Maybe SAM_V1_6_File_Level_Metadata_SubSorting_Order
ss
                                      }