Safe Haskell	None
Language	Haskell2010

Data.GS1.DWhat

Synopsis

Documentation

data LabelEPC Source #

Constructors

CL
Fields _clClassLabelEpc :: ClassLabelEPC _clQuantity :: Maybe Quantity
IL
Fields _ilInstanceLabelEpc :: InstanceLabelEPC

Instances

Eq LabelEPC Source #
Methods (==) :: LabelEPC -> LabelEPC -> Bool # (/=) :: LabelEPC -> LabelEPC -> Bool #
Read LabelEPC Source #
Methods readsPrec :: Int -> ReadS LabelEPC # readList :: ReadS [LabelEPC] # readPrec :: ReadPrec LabelEPC # readListPrec :: ReadPrec [LabelEPC] #
Show LabelEPC Source #
Methods showsPrec :: Int -> LabelEPC -> ShowS # show :: LabelEPC -> String # showList :: [LabelEPC] -> ShowS #
Generic LabelEPC Source #
Associated Types type Rep LabelEPC :: * -> * # Methods from :: LabelEPC -> Rep LabelEPC x # to :: Rep LabelEPC x -> LabelEPC #
ToJSON LabelEPC Source #
Methods toJSON :: LabelEPC -> Value # toEncoding :: LabelEPC -> Encoding # toJSONList :: [LabelEPC] -> Value # toEncodingList :: [LabelEPC] -> Encoding #
FromJSON LabelEPC Source #
Methods parseJSON :: Value -> Parser LabelEPC # parseJSONList :: Value -> Parser [LabelEPC] #
ToSchema LabelEPC Source #
Methods declareNamedSchema :: proxy LabelEPC -> Declare (Definitions Schema) NamedSchema #
type Rep LabelEPC Source #
type Rep LabelEPC = D1 * (MetaData "LabelEPC" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * (C1 * (MetaCons "CL" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_clClassLabelEpc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ClassLabelEPC)) (S1 * (MetaSel (Just Symbol "_clQuantity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Quantity))))) (C1 * (MetaCons "IL" PrefixI True) (S1 * (MetaSel (Just Symbol "_ilInstanceLabelEpc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstanceLabelEPC))))

newtype ParentLabel Source #

Constructors

ParentLabel
Fields unParentLabel :: InstanceLabelEPC

Instances

Eq ParentLabel Source #
Methods (==) :: ParentLabel -> ParentLabel -> Bool # (/=) :: ParentLabel -> ParentLabel -> Bool #
Read ParentLabel Source #
Methods readsPrec :: Int -> ReadS ParentLabel # readList :: ReadS [ParentLabel] # readPrec :: ReadPrec ParentLabel # readListPrec :: ReadPrec [ParentLabel] #
Show ParentLabel Source #
Methods showsPrec :: Int -> ParentLabel -> ShowS # show :: ParentLabel -> String # showList :: [ParentLabel] -> ShowS #
Generic ParentLabel Source #
Associated Types type Rep ParentLabel :: * -> * # Methods from :: ParentLabel -> Rep ParentLabel x # to :: Rep ParentLabel x -> ParentLabel #
ToJSON ParentLabel Source #
Methods toJSON :: ParentLabel -> Value # toEncoding :: ParentLabel -> Encoding # toJSONList :: [ParentLabel] -> Value # toEncodingList :: [ParentLabel] -> Encoding #
FromJSON ParentLabel Source #
Methods parseJSON :: Value -> Parser ParentLabel # parseJSONList :: Value -> Parser [ParentLabel] #
ToSchema ParentLabel Source #
Methods declareNamedSchema :: proxy ParentLabel -> Declare (Definitions Schema) NamedSchema #
URI ParentLabel Source #
Methods uriPrefix :: ParentLabel -> Text uriSuffix :: ParentLabel -> Either Text [Text] readURI :: Text -> Either ParseFailure ParentLabel Source # renderURL :: ParentLabel -> Text Source #
type Rep ParentLabel Source #
type Rep ParentLabel = D1 * (MetaData "ParentLabel" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "ParentLabel" PrefixI True) (S1 * (MetaSel (Just Symbol "unParentLabel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstanceLabelEPC)))

newtype InputEPC Source #

Constructors

InputEPC
Fields unInputEPC :: LabelEPC

Instances

Eq InputEPC Source #
Methods (==) :: InputEPC -> InputEPC -> Bool # (/=) :: InputEPC -> InputEPC -> Bool #
Read InputEPC Source #
Methods readsPrec :: Int -> ReadS InputEPC # readList :: ReadS [InputEPC] # readPrec :: ReadPrec InputEPC # readListPrec :: ReadPrec [InputEPC] #
Show InputEPC Source #
Methods showsPrec :: Int -> InputEPC -> ShowS # show :: InputEPC -> String # showList :: [InputEPC] -> ShowS #
Generic InputEPC Source #
Associated Types type Rep InputEPC :: * -> * # Methods from :: InputEPC -> Rep InputEPC x # to :: Rep InputEPC x -> InputEPC #
ToJSON InputEPC Source #
Methods toJSON :: InputEPC -> Value # toEncoding :: InputEPC -> Encoding # toJSONList :: [InputEPC] -> Value # toEncodingList :: [InputEPC] -> Encoding #
FromJSON InputEPC Source #
Methods parseJSON :: Value -> Parser InputEPC # parseJSONList :: Value -> Parser [InputEPC] #
ToSchema InputEPC Source #
Methods declareNamedSchema :: proxy InputEPC -> Declare (Definitions Schema) NamedSchema #
type Rep InputEPC Source #
type Rep InputEPC = D1 * (MetaData "InputEPC" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "InputEPC" PrefixI True) (S1 * (MetaSel (Just Symbol "unInputEPC") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LabelEPC)))

newtype OutputEPC Source #

Constructors

OutputEPC
Fields unOutputEPC :: LabelEPC

Instances

Eq OutputEPC Source #
Methods (==) :: OutputEPC -> OutputEPC -> Bool # (/=) :: OutputEPC -> OutputEPC -> Bool #
Read OutputEPC Source #
Methods readsPrec :: Int -> ReadS OutputEPC # readList :: ReadS [OutputEPC] # readPrec :: ReadPrec OutputEPC # readListPrec :: ReadPrec [OutputEPC] #
Show OutputEPC Source #
Methods showsPrec :: Int -> OutputEPC -> ShowS # show :: OutputEPC -> String # showList :: [OutputEPC] -> ShowS #
Generic OutputEPC Source #
Associated Types type Rep OutputEPC :: * -> * # Methods from :: OutputEPC -> Rep OutputEPC x # to :: Rep OutputEPC x -> OutputEPC #
ToJSON OutputEPC Source #
Methods toJSON :: OutputEPC -> Value # toEncoding :: OutputEPC -> Encoding # toJSONList :: [OutputEPC] -> Value # toEncodingList :: [OutputEPC] -> Encoding #
FromJSON OutputEPC Source #
Methods parseJSON :: Value -> Parser OutputEPC # parseJSONList :: Value -> Parser [OutputEPC] #
ToSchema OutputEPC Source #
Methods declareNamedSchema :: proxy OutputEPC -> Declare (Definitions Schema) NamedSchema #
type Rep OutputEPC Source #
type Rep OutputEPC = D1 * (MetaData "OutputEPC" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "OutputEPC" PrefixI True) (S1 * (MetaSel (Just Symbol "unOutputEPC") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LabelEPC)))

data ObjectDWhat Source #

Constructors

ObjectDWhat
Fields _objAction :: Action _objEpcList :: [LabelEPC]

Instances

Eq ObjectDWhat Source #
Methods (==) :: ObjectDWhat -> ObjectDWhat -> Bool # (/=) :: ObjectDWhat -> ObjectDWhat -> Bool #
Show ObjectDWhat Source #
Methods showsPrec :: Int -> ObjectDWhat -> ShowS # show :: ObjectDWhat -> String # showList :: [ObjectDWhat] -> ShowS #
Generic ObjectDWhat Source #
Associated Types type Rep ObjectDWhat :: * -> * # Methods from :: ObjectDWhat -> Rep ObjectDWhat x # to :: Rep ObjectDWhat x -> ObjectDWhat #
ToJSON ObjectDWhat Source #
Methods toJSON :: ObjectDWhat -> Value # toEncoding :: ObjectDWhat -> Encoding # toJSONList :: [ObjectDWhat] -> Value # toEncodingList :: [ObjectDWhat] -> Encoding #
FromJSON ObjectDWhat Source #
Methods parseJSON :: Value -> Parser ObjectDWhat # parseJSONList :: Value -> Parser [ObjectDWhat] #
ToSchema ObjectDWhat Source #
Methods declareNamedSchema :: proxy ObjectDWhat -> Declare (Definitions Schema) NamedSchema #
type Rep ObjectDWhat Source #
type Rep ObjectDWhat = D1 * (MetaData "ObjectDWhat" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) (C1 * (MetaCons "ObjectDWhat" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_objAction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Action)) (S1 * (MetaSel (Just Symbol "_objEpcList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LabelEPC]))))

data AggregationDWhat Source #

Constructors

AggregationDWhat
Fields _aggAction :: Action _aggParentLabel :: Maybe ParentLabel _aggChildEpcList :: [LabelEPC]

Instances

Eq AggregationDWhat Source #
Methods (==) :: AggregationDWhat -> AggregationDWhat -> Bool # (/=) :: AggregationDWhat -> AggregationDWhat -> Bool #
Show AggregationDWhat Source #
Methods showsPrec :: Int -> AggregationDWhat -> ShowS # show :: AggregationDWhat -> String # showList :: [AggregationDWhat] -> ShowS #
Generic AggregationDWhat Source #
Associated Types type Rep AggregationDWhat :: * -> * # Methods from :: AggregationDWhat -> Rep AggregationDWhat x # to :: Rep AggregationDWhat x -> AggregationDWhat #
ToJSON AggregationDWhat Source #
Methods toJSON :: AggregationDWhat -> Value # toEncoding :: AggregationDWhat -> Encoding # toJSONList :: [AggregationDWhat] -> Value # toEncodingList :: [AggregationDWhat] -> Encoding #
FromJSON AggregationDWhat Source #
Methods parseJSON :: Value -> Parser AggregationDWhat # parseJSONList :: Value -> Parser [AggregationDWhat] #
ToSchema AggregationDWhat Source #
Methods declareNamedSchema :: proxy AggregationDWhat -> Declare (Definitions Schema) NamedSchema #
type Rep AggregationDWhat Source #
type Rep AggregationDWhat = D1 * (MetaData "AggregationDWhat" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) (C1 * (MetaCons "AggregationDWhat" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_aggAction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Action)) ((::) (S1 * (MetaSel (Just Symbol "_aggParentLabel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ParentLabel))) (S1 * (MetaSel (Just Symbol "_aggChildEpcList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LabelEPC])))))

data TransactionDWhat Source #

Constructors

TransactionDWhat
Fields _transactionAction :: Action _transactionParentLabel :: Maybe ParentLabel _transactionBizTransactionList :: [BizTransaction] _transactionEpcList :: [LabelEPC]

Instances

Eq TransactionDWhat Source #
Methods (==) :: TransactionDWhat -> TransactionDWhat -> Bool # (/=) :: TransactionDWhat -> TransactionDWhat -> Bool #
Show TransactionDWhat Source #
Methods showsPrec :: Int -> TransactionDWhat -> ShowS # show :: TransactionDWhat -> String # showList :: [TransactionDWhat] -> ShowS #
Generic TransactionDWhat Source #
Associated Types type Rep TransactionDWhat :: * -> * # Methods from :: TransactionDWhat -> Rep TransactionDWhat x # to :: Rep TransactionDWhat x -> TransactionDWhat #
ToJSON TransactionDWhat Source #
Methods toJSON :: TransactionDWhat -> Value # toEncoding :: TransactionDWhat -> Encoding # toJSONList :: [TransactionDWhat] -> Value # toEncodingList :: [TransactionDWhat] -> Encoding #
FromJSON TransactionDWhat Source #
Methods parseJSON :: Value -> Parser TransactionDWhat # parseJSONList :: Value -> Parser [TransactionDWhat] #
ToSchema TransactionDWhat Source #
Methods declareNamedSchema :: proxy TransactionDWhat -> Declare (Definitions Schema) NamedSchema #
type Rep TransactionDWhat Source #
type Rep TransactionDWhat = D1 * (MetaData "TransactionDWhat" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) (C1 * (MetaCons "TransactionDWhat" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_transactionAction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Action)) (S1 * (MetaSel (Just Symbol "_transactionParentLabel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ParentLabel)))) ((::) (S1 * (MetaSel (Just Symbol "_transactionBizTransactionList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [BizTransaction])) (S1 * (MetaSel (Just Symbol "_transactionEpcList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LabelEPC])))))

data TransformationDWhat Source #

Constructors

TransformationDWhat
Fields _transformationId :: Maybe TransformationId _transformationInputEpcList :: [InputEPC] _transformationOutputEpcList :: [OutputEPC]

Instances

Eq TransformationDWhat Source #
Methods (==) :: TransformationDWhat -> TransformationDWhat -> Bool # (/=) :: TransformationDWhat -> TransformationDWhat -> Bool #
Show TransformationDWhat Source #
Methods showsPrec :: Int -> TransformationDWhat -> ShowS # show :: TransformationDWhat -> String # showList :: [TransformationDWhat] -> ShowS #
Generic TransformationDWhat Source #
Associated Types type Rep TransformationDWhat :: * -> * # Methods from :: TransformationDWhat -> Rep TransformationDWhat x # to :: Rep TransformationDWhat x -> TransformationDWhat #
ToJSON TransformationDWhat Source #
Methods toJSON :: TransformationDWhat -> Value # toEncoding :: TransformationDWhat -> Encoding # toJSONList :: [TransformationDWhat] -> Value # toEncodingList :: [TransformationDWhat] -> Encoding #
FromJSON TransformationDWhat Source #
Methods parseJSON :: Value -> Parser TransformationDWhat # parseJSONList :: Value -> Parser [TransformationDWhat] #
ToSchema TransformationDWhat Source #
Methods declareNamedSchema :: proxy TransformationDWhat -> Declare (Definitions Schema) NamedSchema #
type Rep TransformationDWhat Source #
type Rep TransformationDWhat = D1 * (MetaData "TransformationDWhat" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) (C1 * (MetaCons "TransformationDWhat" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_transformationId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe TransformationId))) ((::) (S1 * (MetaSel (Just Symbol "_transformationInputEpcList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [InputEPC])) (S1 * (MetaSel (Just Symbol "_transformationOutputEpcList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [OutputEPC])))))

data DWhat Source #

The What dimension specifies what physical or digital objects participated in the event

Constructors

ObjWhat ObjectDWhat
AggWhat AggregationDWhat
TransactWhat TransactionDWhat
TransformWhat TransformationDWhat

Instances

Eq DWhat Source #
Methods (==) :: DWhat -> DWhat -> Bool # (/=) :: DWhat -> DWhat -> Bool #
Show DWhat Source #
Methods showsPrec :: Int -> DWhat -> ShowS # show :: DWhat -> String # showList :: [DWhat] -> ShowS #
Generic DWhat Source #
Associated Types type Rep DWhat :: * -> * # Methods from :: DWhat -> Rep DWhat x # to :: Rep DWhat x -> DWhat #
ToJSON DWhat Source #
Methods toJSON :: DWhat -> Value # toEncoding :: DWhat -> Encoding # toJSONList :: [DWhat] -> Value # toEncodingList :: [DWhat] -> Encoding #
FromJSON DWhat Source #
Methods parseJSON :: Value -> Parser DWhat # parseJSONList :: Value -> Parser [DWhat] #
ToSchema DWhat Source #
Methods declareNamedSchema :: proxy DWhat -> Declare (Definitions Schema) NamedSchema #
type Rep DWhat Source #
type Rep DWhat = D1 * (MetaData "DWhat" "Data.GS1.DWhat" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * ((:+:) * (C1 * (MetaCons "ObjWhat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ObjectDWhat))) (C1 * (MetaCons "AggWhat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AggregationDWhat)))) ((:+:) * (C1 * (MetaCons "TransactWhat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TransactionDWhat))) (C1 * (MetaCons "TransformWhat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TransformationDWhat)))))

readLabelEPC :: Maybe Quantity -> Text -> Either ParseFailure LabelEPC Source #

Parses an EPC URN into a LabelEPC. As no quantity information is provided in a URN, Maybe Quantity is provided so ClassLabel EPCs can be instantiated with it.

urn2LabelEPC :: Text -> Either ParseFailure LabelEPC Source #

Given an EPC URN, return a LabelEPC. As no quantity information is provided in the URN, the quantity field in ClassLabelEPC is set to Nothing. Use this when you do not need Quantity information