GS1Combinators-0.1.0.0: Haskell combinator library of GS1 EPCIS standard

Safe HaskellNone
LanguageHaskell2010

Data.GS1.EPC

Contents

Description

module containing error types, URI class, epc types the types in this file cover all dimensions

Synopsis

Documentation

class URI a where Source #

Anything that could be converted into URI

Minimal complete definition

uriPrefix, uriSuffix, readURI

Methods

readURI :: Text -> Either ParseFailure a Source #

renderURL :: a -> Text Source #

Should not be directly implemented unless the format for URIs differs substantially from other URIs

Instances

URI ClassLabelEPC Source # 
URI InstanceLabelEPC Source # 
URI LocationEPC Source # 
URI SourceDestType Source # 
URI BusinessTransactionEPC Source # 
URI BizStep Source # 
URI BizTransactionType Source # 
URI Disposition Source # 
URI BizLocation Source # 
URI ReadPointLocation Source # 
URI ParentLabel Source # 

data ParseFailure Source #

Constructors

InvalidLength XMLSnippet

Length is not correct

InvalidFormat XMLSnippet

Components Missing, incorrectly structured, wrong payload

InvalidAction XMLSnippet

When parsing an action failed

InvalidBizTransaction XMLSnippet

When parsing a bizTransaction failed

InvalidEventId EventIdStr

When the `eventId` in the XML is not a valid UUID

TimeZoneError XMLSnippet

Error in parsing timezone

TagNotFound MissingTag

When a mandatory tag is not found

MultipleTags Text

When more than the specified number of tags are present

InvalidDispBizCombination XMLSnippet

When the disposition does not go with the bizstep

ChildFailure [ParseFailure]

When there is a list of Parsefailures typically applicable to higher level structures, like DWhat, DWhere, etc

Instances

Eq ParseFailure Source # 
Read ParseFailure Source # 
Show ParseFailure Source # 
Generic ParseFailure Source # 

Associated Types

type Rep ParseFailure :: * -> * #

Semigroup ParseFailure Source # 
Monoid ParseFailure Source # 
type Rep ParseFailure Source # 
type Rep ParseFailure = D1 * (MetaData "ParseFailure" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "InvalidLength" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * XMLSnippet))) (C1 * (MetaCons "InvalidFormat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * XMLSnippet)))) ((:+:) * (C1 * (MetaCons "InvalidAction" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * XMLSnippet))) ((:+:) * (C1 * (MetaCons "InvalidBizTransaction" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * XMLSnippet))) (C1 * (MetaCons "InvalidEventId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * EventIdStr)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "TimeZoneError" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * XMLSnippet))) (C1 * (MetaCons "TagNotFound" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MissingTag)))) ((:+:) * (C1 * (MetaCons "MultipleTags" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) ((:+:) * (C1 * (MetaCons "InvalidDispBizCombination" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * XMLSnippet))) (C1 * (MetaCons "ChildFailure" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ParseFailure])))))))

newtype GS1CompanyPrefix Source #

Assigned by a GS1 Member Organisation to a user/subscriber

Constructors

GS1CompanyPrefix 

Instances

Eq GS1CompanyPrefix Source # 
Read GS1CompanyPrefix Source # 
Show GS1CompanyPrefix Source # 
Generic GS1CompanyPrefix Source # 
ToJSON GS1CompanyPrefix Source # 
FromJSON GS1CompanyPrefix Source # 
ToSchema GS1CompanyPrefix Source # 
ToParamSchema GS1CompanyPrefix Source # 
type Rep GS1CompanyPrefix Source # 
type Rep GS1CompanyPrefix = D1 * (MetaData "GS1CompanyPrefix" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "GS1CompanyPrefix" PrefixI True) (S1 * (MetaSel (Just Symbol "unGS1CompanyPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

newtype ItemReference Source #

Constructors

ItemReference 

newtype ExtensionDigit Source #

Constructors

ExtensionDigit 

newtype SerialReference Source #

Constructors

SerialReference 

Instances

Eq SerialReference Source # 
Read SerialReference Source # 
Show SerialReference Source # 
Generic SerialReference Source # 
ToJSON SerialReference Source # 
FromJSON SerialReference Source # 
ToSchema SerialReference Source # 
type Rep SerialReference Source # 
type Rep SerialReference = D1 * (MetaData "SerialReference" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "SerialReference" PrefixI True) (S1 * (MetaSel (Just Symbol "unSerialReference") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

newtype CheckDigit Source #

Calculated according to an algorithm https://en.wikipedia.org/wiki/Global_Location_Number

Constructors

CheckDigit 

Fields

newtype Lot Source #

Constructors

Lot 

Fields

Instances

Eq Lot Source # 

Methods

(==) :: Lot -> Lot -> Bool #

(/=) :: Lot -> Lot -> Bool #

Read Lot Source # 
Show Lot Source # 

Methods

showsPrec :: Int -> Lot -> ShowS #

show :: Lot -> String #

showList :: [Lot] -> ShowS #

Generic Lot Source # 

Associated Types

type Rep Lot :: * -> * #

Methods

from :: Lot -> Rep Lot x #

to :: Rep Lot x -> Lot #

ToJSON Lot Source # 
FromJSON Lot Source # 
ToSchema Lot Source # 
type Rep Lot Source # 
type Rep Lot = D1 * (MetaData "Lot" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "Lot" PrefixI True) (S1 * (MetaSel (Just Symbol "unLot") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

newtype IndividualAssetReference Source #

Instances

Eq IndividualAssetReference Source # 
Read IndividualAssetReference Source # 
Show IndividualAssetReference Source # 
Generic IndividualAssetReference Source # 
ToJSON IndividualAssetReference Source # 
FromJSON IndividualAssetReference Source # 
ToSchema IndividualAssetReference Source # 
type Rep IndividualAssetReference Source # 
type Rep IndividualAssetReference = D1 * (MetaData "IndividualAssetReference" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "IndividualAssetReference" PrefixI True) (S1 * (MetaSel (Just Symbol "unIndividualAssetReference") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

newtype SGLNExtension Source #

Constructors

SGLNExtension 

newtype Uom Source #

Constructors

Uom 

Fields

Instances

Eq Uom Source # 

Methods

(==) :: Uom -> Uom -> Bool #

(/=) :: Uom -> Uom -> Bool #

Read Uom Source # 
Show Uom Source # 

Methods

showsPrec :: Int -> Uom -> ShowS #

show :: Uom -> String #

showList :: [Uom] -> ShowS #

Generic Uom Source # 

Associated Types

type Rep Uom :: * -> * #

Methods

from :: Uom -> Rep Uom x #

to :: Rep Uom x -> Uom #

ToJSON Uom Source # 
FromJSON Uom Source # 
ToSchema Uom Source # 
type Rep Uom Source # 
type Rep Uom = D1 * (MetaData "Uom" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "Uom" PrefixI True) (S1 * (MetaSel (Just Symbol "unUom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

newtype Amount Source #

Constructors

Amount 

Fields

newtype Lng Source #

Constructors

Lng 

Fields

Instances

Eq Lng Source # 

Methods

(==) :: Lng -> Lng -> Bool #

(/=) :: Lng -> Lng -> Bool #

Read Lng Source # 
Show Lng Source # 

Methods

showsPrec :: Int -> Lng -> ShowS #

show :: Lng -> String #

showList :: [Lng] -> ShowS #

Generic Lng Source # 

Associated Types

type Rep Lng :: * -> * #

Methods

from :: Lng -> Rep Lng x #

to :: Rep Lng x -> Lng #

ToJSON Lng Source # 
FromJSON Lng Source # 
type Rep Lng Source # 
type Rep Lng = D1 * (MetaData "Lng" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "Lng" PrefixI True) (S1 * (MetaSel (Just Symbol "unLng") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Double)))

newtype Lat Source #

Constructors

Lat 

Fields

Instances

Eq Lat Source # 

Methods

(==) :: Lat -> Lat -> Bool #

(/=) :: Lat -> Lat -> Bool #

Read Lat Source # 
Show Lat Source # 

Methods

showsPrec :: Int -> Lat -> ShowS #

show :: Lat -> String #

showList :: [Lat] -> ShowS #

Generic Lat Source # 

Associated Types

type Rep Lat :: * -> * #

Methods

from :: Lat -> Rep Lat x #

to :: Rep Lat x -> Lat #

ToJSON Lat Source # 
FromJSON Lat Source # 
type Rep Lat Source # 
type Rep Lat = D1 * (MetaData "Lat" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "Lat" PrefixI True) (S1 * (MetaSel (Just Symbol "unLat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Double)))

newtype LocationReference Source #

Constructors

LocationReference 

Instances

Eq LocationReference Source # 
Read LocationReference Source # 
Show LocationReference Source # 
Generic LocationReference Source # 
ToJSON LocationReference Source # 
FromJSON LocationReference Source # 
ToSchema LocationReference Source # 
type Rep LocationReference Source # 
type Rep LocationReference = D1 * (MetaData "LocationReference" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "LocationReference" PrefixI True) (S1 * (MetaSel (Just Symbol "_locationRefVal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

newtype ServiceReference Source #

Constructors

ServiceReference 

newtype BizTransactionId Source #

Constructors

BizTransactionId 

Instances

Eq BizTransactionId Source # 
Read BizTransactionId Source # 
Show BizTransactionId Source # 
Generic BizTransactionId Source # 
ToJSON BizTransactionId Source # 
FromJSON BizTransactionId Source # 
ToSchema BizTransactionId Source # 
type Rep BizTransactionId Source # 
type Rep BizTransactionId = D1 * (MetaData "BizTransactionId" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "BizTransactionId" PrefixI True) (S1 * (MetaSel (Just Symbol "unBizTransactionId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

newtype TransformationId Source #

TransformationId From the spec EPCIS-Standard-1.2-r-2016-09-29.pdf Page 55 Some transformation business processes take place over a long period of time, and so it is more appropriate to represent them as a series of EPCIS events. A TransfomationId may be included in two or more TransformationEvents to link them together. When events share an identical TransformationId, the meaning is that the inputs to any of those events may have contributed in some way to each of the outputs in any of those same events.

Constructors

TransformationId 

Instances

Eq TransformationId Source # 
Read TransformationId Source # 
Show TransformationId Source # 
Generic TransformationId Source # 
ToJSON TransformationId Source # 
FromJSON TransformationId Source # 
ToSchema TransformationId Source # 
type Rep TransformationId Source # 
type Rep TransformationId = D1 * (MetaData "TransformationId" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "TransformationId" PrefixI True) (S1 * (MetaSel (Just Symbol "unTransformationId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * UUID)))

newtype EPCISTime Source #

The TimeZone will be saved independently

Constructors

EPCISTime 

Fields

Instances

Eq EPCISTime Source # 
Ord EPCISTime Source # 
Read EPCISTime Source # 
Show EPCISTime Source # 
Generic EPCISTime Source # 

Associated Types

type Rep EPCISTime :: * -> * #

ToJSON EPCISTime Source # 
FromJSON EPCISTime Source # 
ToSchema EPCISTime Source # 
type Rep EPCISTime Source # 
type Rep EPCISTime = D1 * (MetaData "EPCISTime" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" True) (C1 * (MetaCons "EPCISTime" PrefixI True) (S1 * (MetaSel (Just Symbol "unEPCISTime") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * UTCTime)))

data SGTINFilterValue Source #

Instances

Enum SGTINFilterValue Source # 
Eq SGTINFilterValue Source # 
Read SGTINFilterValue Source # 
Show SGTINFilterValue Source # 
Generic SGTINFilterValue Source # 
ToJSON SGTINFilterValue Source # 
FromJSON SGTINFilterValue Source # 
ToSchema SGTINFilterValue Source # 
type Rep SGTINFilterValue Source # 
type Rep SGTINFilterValue = D1 * (MetaData "SGTINFilterValue" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "AllOthers" PrefixI False) (U1 *)) (C1 * (MetaCons "POSTradeItem" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "FullCaseForTransport" PrefixI False) (U1 *)) (C1 * (MetaCons "Reserved1" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "InnerPackTradeItemGroupingForHandling" PrefixI False) (U1 *)) (C1 * (MetaCons "Reserved2" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "UnitLoad" PrefixI False) (U1 *)) (C1 * (MetaCons "UnitInsideTradeItemOrComponentInsideAProductNotIntendedForIndividualSale" PrefixI False) (U1 *)))))

data Quantity Source #

A quantity can be either the amount and the unit of measurement, or the item count.

Instances

Eq Quantity Source # 
Read Quantity Source # 
Show Quantity Source # 
Generic Quantity Source # 

Associated Types

type Rep Quantity :: * -> * #

Methods

from :: Quantity -> Rep Quantity x #

to :: Rep Quantity x -> Quantity #

ToJSON Quantity Source # 
FromJSON Quantity Source # 
ToSchema Quantity Source # 
type Rep Quantity Source # 
type Rep Quantity = D1 * (MetaData "Quantity" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * (C1 * (MetaCons "MeasuredQuantity" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_quantityAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Amount)) (S1 * (MetaSel (Just Symbol "_quantityUom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Uom)))) (C1 * (MetaCons "ItemCount" PrefixI True) (S1 * (MetaSel (Just Symbol "_quantityCount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))))

data InstanceLabelEPC Source #

Constructors

GIAI

Global Individual Asset Identifier, e.g. bucket for olives

SSCC

Serial Shipping Container Code

SGTIN

Serialsed Global Trade Item Number

GRAI

Global Returnable Asset Identifier

Instances

Eq InstanceLabelEPC Source # 
Read InstanceLabelEPC Source # 
Show InstanceLabelEPC Source # 
Generic InstanceLabelEPC Source # 
ToJSON InstanceLabelEPC Source # 
FromJSON InstanceLabelEPC Source # 
ToSchema InstanceLabelEPC Source # 
URI InstanceLabelEPC Source # 
type Rep InstanceLabelEPC Source # 
type Rep InstanceLabelEPC = D1 * (MetaData "InstanceLabelEPC" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * ((:+:) * (C1 * (MetaCons "GIAI" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_giaiCompanyPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GS1CompanyPrefix)) (S1 * (MetaSel (Just Symbol "_giaiSerialNum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SerialNumber)))) (C1 * (MetaCons "SSCC" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_ssccCompanyPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GS1CompanyPrefix)) (S1 * (MetaSel (Just Symbol "_ssccSerialNum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SerialNumber))))) ((:+:) * (C1 * (MetaCons "SGTIN" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_sgtinCompanyPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GS1CompanyPrefix)) (S1 * (MetaSel (Just Symbol "_sgtinSgtinFilterValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe SGTINFilterValue)))) ((:*:) * (S1 * (MetaSel (Just Symbol "_sgtinItemReference") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ItemReference)) (S1 * (MetaSel (Just Symbol "_sgtinSerialNum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SerialNumber))))) (C1 * (MetaCons "GRAI" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_graiCompanyPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GS1CompanyPrefix)) ((:*:) * (S1 * (MetaSel (Just Symbol "_graiAssetType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AssetType)) (S1 * (MetaSel (Just Symbol "_graiSerialNum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SerialNumber)))))))

data ClassLabelEPC Source #

Constructors

LGTIN

LGTIN = GTIN + Batch/Lot scheme is used to denote a class of objects belonging to a given batch or lot of a given GTIN

CSGTIN

Class SGTIN. e.g. olives in a vat, harvested in April 2017

Instances

Eq ClassLabelEPC Source # 
Read ClassLabelEPC Source # 
Show ClassLabelEPC Source # 
Generic ClassLabelEPC Source # 

Associated Types

type Rep ClassLabelEPC :: * -> * #

ToJSON ClassLabelEPC Source # 
FromJSON ClassLabelEPC Source # 
ToSchema ClassLabelEPC Source # 
URI ClassLabelEPC Source # 
type Rep ClassLabelEPC Source # 

data LocationEPC Source #

EPCIS_Guideline.pdf Release 1.2 Ratified Feb 2017 - page 35 4.7.2 In EPCIS, the GLN+extension is represented as a Uniform Resource Identifier (URI) according to the EPC Tag Data Standard. The specific type of URI is called an SGLN, which is capable of representing either a GLN+extension or a GLN without extension. The SGLN for GLN 0614141111114 and extension 987 looks like this: urn:epc:id:sgln:0614141.11111.978

Instances

Eq LocationEPC Source # 
Read LocationEPC Source # 
Show LocationEPC Source # 
Generic LocationEPC Source # 

Associated Types

type Rep LocationEPC :: * -> * #

Hashable LocationEPC Source # 
ToJSON LocationEPC Source # 
FromJSON LocationEPC Source # 
ToSchema LocationEPC Source # 
URI LocationEPC Source # 
type Rep LocationEPC Source # 

data SourceDestType Source #

EPCIS_Guideline.pdf Release 1.2 Ratified Feb 2017 - page 19 Source List and Destination List: is used to provide additional business context when an EPCIS event is part of a business transfer of ownership, responsibility or custody. As with business transactions, a source or destination is identified by a pair of identifiers: the type of the source or destination and an identifier of the source or destination of that type. The GS1 CBV (section 7.4.2) distinguishes three standard source/destination types: “owning_party”, “possessing_party”, “location”.

Instances

Eq SourceDestType Source # 
Read SourceDestType Source # 
Show SourceDestType Source # 
Generic SourceDestType Source # 

Associated Types

type Rep SourceDestType :: * -> * #

ToJSON SourceDestType Source # 
FromJSON SourceDestType Source # 
ToSchema SourceDestType Source # 
URI SourceDestType Source # 
type Rep SourceDestType Source # 
type Rep SourceDestType = D1 * (MetaData "SourceDestType" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * (C1 * (MetaCons "SDOwningParty" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "SDPossessingParty" PrefixI False) (U1 *)) (C1 * (MetaCons "SDLocation" PrefixI False) (U1 *))))

data BusinessTransactionEPC Source #

Other GS1 object identifiers include GDTI for documents, GIAI for individual assets, GRAI for returnable assets, GSRN for services, GCN for coupons, and CPID for components or parts.

Instances

Eq BusinessTransactionEPC Source # 
Read BusinessTransactionEPC Source # 
Show BusinessTransactionEPC Source # 
Generic BusinessTransactionEPC Source # 
ToJSON BusinessTransactionEPC Source # 
FromJSON BusinessTransactionEPC Source # 
ToSchema BusinessTransactionEPC Source # 
URI BusinessTransactionEPC Source # 
type Rep BusinessTransactionEPC Source # 

data LocationError Source #

Instances

Eq LocationError Source # 
Show LocationError Source # 
Generic LocationError Source # 

Associated Types

type Rep LocationError :: * -> * #

type Rep LocationError Source # 
type Rep LocationError = D1 * (MetaData "LocationError" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * (C1 * (MetaCons "IllegalGLNFormat" PrefixI False) (U1 *)) (C1 * (MetaCons "InvalidChecksum" PrefixI False) (U1 *)))

data BizStep Source #

CBV-Standard-1-2-r-2016-09-29.pdf Page 17

Instances

Eq BizStep Source # 

Methods

(==) :: BizStep -> BizStep -> Bool #

(/=) :: BizStep -> BizStep -> Bool #

Read BizStep Source # 
Show BizStep Source # 
Generic BizStep Source # 

Associated Types

type Rep BizStep :: * -> * #

Methods

from :: BizStep -> Rep BizStep x #

to :: Rep BizStep x -> BizStep #

ToJSON BizStep Source # 
FromJSON BizStep Source # 
ToSchema BizStep Source # 
URI BizStep Source # 
type Rep BizStep Source # 
type Rep BizStep = D1 * (MetaData "BizStep" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Accepting" PrefixI False) (U1 *)) (C1 * (MetaCons "Arriving" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Assembling" PrefixI False) (U1 *)) (C1 * (MetaCons "Collecting" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "Commissioning" PrefixI False) (U1 *)) (C1 * (MetaCons "Consigning" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "CreatingClassInstance" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "CycleCounting" PrefixI False) (U1 *)) (C1 * (MetaCons "Decommissioning" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Departing" PrefixI False) (U1 *)) (C1 * (MetaCons "Destroying" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Disassembling" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Dispensing" PrefixI False) (U1 *)) (C1 * (MetaCons "Encoding" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "EnteringExiting" PrefixI False) (U1 *)) (C1 * (MetaCons "Holding" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Inspecting" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Installing" PrefixI False) (U1 *)) (C1 * (MetaCons "Killing" PrefixI False) (U1 *))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Loading" PrefixI False) (U1 *)) (C1 * (MetaCons "Other" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Packing" PrefixI False) (U1 *)) (C1 * (MetaCons "Picking" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "Receiving" PrefixI False) (U1 *)) (C1 * (MetaCons "Removing" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Repackaging" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Repairing" PrefixI False) (U1 *)) (C1 * (MetaCons "Replacing" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Reserving" PrefixI False) (U1 *)) (C1 * (MetaCons "RetailSelling" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Shipping" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "StagingOutbound" PrefixI False) (U1 *)) (C1 * (MetaCons "StockTaking" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "Stocking" PrefixI False) (U1 *)) (C1 * (MetaCons "Storing" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Transporting" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Unloading" PrefixI False) (U1 *)) (C1 * (MetaCons "VoidShipping" PrefixI False) (U1 *))))))))

data BizTransactionType Source #

Constructors

Bol 
Desadv 
Inv 
Pedigree 
Po 
Poc 
Prodorder 
Recadv 
Rma 

Instances

Eq BizTransactionType Source # 
Read BizTransactionType Source # 
Show BizTransactionType Source # 
Generic BizTransactionType Source # 
ToJSON BizTransactionType Source # 
FromJSON BizTransactionType Source # 
ToSchema BizTransactionType Source # 
URI BizTransactionType Source # 
type Rep BizTransactionType Source # 
type Rep BizTransactionType = D1 * (MetaData "BizTransactionType" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Bol" PrefixI False) (U1 *)) (C1 * (MetaCons "Desadv" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Inv" PrefixI False) (U1 *)) (C1 * (MetaCons "Pedigree" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "Po" PrefixI False) (U1 *)) (C1 * (MetaCons "Poc" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Prodorder" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Recadv" PrefixI False) (U1 *)) (C1 * (MetaCons "Rma" PrefixI False) (U1 *))))))

data BizTransaction Source #

BizTransaction CBV Section 7.3 and Section 8.5

data Action Source #

Constructors

Add 
Observe 
Delete 

data Disposition Source #

Instances

Eq Disposition Source # 
Read Disposition Source # 
Show Disposition Source # 
Generic Disposition Source # 

Associated Types

type Rep Disposition :: * -> * #

ToJSON Disposition Source # 
FromJSON Disposition Source # 
ToSchema Disposition Source # 
URI Disposition Source # 
type Rep Disposition Source # 
type Rep Disposition = D1 * (MetaData "Disposition" "Data.GS1.EPC" "GS1Combinators-0.1.0.0-FVfrImOIwvU9RRRQI0uKtQ" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Active" PrefixI False) (U1 *)) (C1 * (MetaCons "ContainerClosed" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Damaged" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Destroyed" PrefixI False) (U1 *)) (C1 * (MetaCons "Dispensed" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "Disposed" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Encoded" PrefixI False) (U1 *)) (C1 * (MetaCons "Expired" PrefixI False) (U1 *)))) ((:+:) * (C1 * (MetaCons "InProgress" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "InTransit" PrefixI False) (U1 *)) (C1 * (MetaCons "Inactive" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "NoPedigreeMatch" PrefixI False) (U1 *)) (C1 * (MetaCons "NonSellableOther" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "PartiallyDispensed" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Recalled" PrefixI False) (U1 *)) (C1 * (MetaCons "Reserved" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "RetailSold" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Returned" PrefixI False) (U1 *)) (C1 * (MetaCons "SellableAccessible" PrefixI False) (U1 *)))) ((:+:) * (C1 * (MetaCons "SellableNotAccessible" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Stolen" PrefixI False) (U1 *)) (C1 * (MetaCons "Unknown" PrefixI False) (U1 *)))))))

renderURL :: URI a => a -> Text Source #

Should not be directly implemented unless the format for URIs differs substantially from other URIs

Orphan instances