[github/fretlink/edi-parser.git] / scaffolder / src / Text / Edifact / Scaffolder / Messages / Types.hs

{-# LANGUAGE DerivingStrategies         #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

module Text.Edifact.Scaffolder.Messages.Types where

import           Text.Edifact.Scaffolder.Commons

import           Data.Function                   (on)
import           Data.Ord                        (comparing)

newtype Dependency = Dependency { getElement :: Element } deriving newtype (Show, Ord, Eq)

data Repetition = Repetition Presence Cardinality deriving Show

data Positional = Positional { positionalPosition   :: Position
                             , positionalRepetition :: Repetition
                             } deriving (Show)

instance Eq Positional where
  (==) = (==) `on` positionalPosition

instance Ord Positional where
  compare = comparing positionalPosition

data Element = Segment    SegmentCode Positional
             | GroupStart GroupCode   Positional
             | GroupEnd   GroupCode
               deriving (Show, Ord, Eq)

getSegment :: Element -> Maybe SegmentCode
getSegment (Segment code _) = Just code
getSegment _                = Nothing

newtype Cardinality = Cardinality { getCardinality :: Int }
  deriving stock (Show)
  deriving newtype (Eq, Num)
Commit	Line	Data
a9d77a20 FM	1	{-# LANGUAGE DerivingStrategies #-}
	2	{-# LANGUAGE GeneralizedNewtypeDeriving #-}
	3
	4	module Text.Edifact.Scaffolder.Messages.Types where
	5
	6	import Text.Edifact.Scaffolder.Commons
	7
	8	import Data.Function (on)
	9	import Data.Ord (comparing)
	10
	11	newtype Dependency = Dependency { getElement :: Element } deriving newtype (Show, Ord, Eq)
	12
	13	data Repetition = Repetition Presence Cardinality deriving Show
	14
	15	data Positional = Positional { positionalPosition :: Position
	16	, positionalRepetition :: Repetition
	17	} deriving (Show)
	18
	19	instance Eq Positional where
	20	(==) = (==) `on` positionalPosition
	21
	22	instance Ord Positional where
	23	compare = comparing positionalPosition
	24
	25	data Element = Segment SegmentCode Positional
	26	\| GroupStart GroupCode Positional
	27	\| GroupEnd GroupCode
	28	deriving (Show, Ord, Eq)
	29
	30	getSegment :: Element -> Maybe SegmentCode
	31	getSegment (Segment code _) = Just code
	32	getSegment _ = Nothing
	33
	34	newtype Cardinality = Cardinality { getCardinality :: Int }
	35	deriving stock (Show)
	36	deriving newtype (Eq, Num)