opc-xml-da-client-0.1.2: OPC XML-DA Client
Safe HaskellNone
LanguageHaskell2010

OpcXmlDaClient

Synopsis

Operations

type Op i o = Manager -> RequestTimeout -> Uri -> i -> IO (Either Error o) Source #

Alias to an HTTP request operation in the scope of HTTP connection manager, timeout for the operation, URI of the server.

All errors are explicit and are wrapped by the Error type.

Operation parameter types

data Uri Source #

URI of the server.

textUri :: Text -> Maybe Uri Source #

Construct a correct URI by validating a textual value.

data RequestTimeout Source #

Instances

Instances details
Default RequestTimeout Source #

RequestTimeout of 30 seconds.

Instance details

Defined in OpcXmlDaClient

Methods

def :: RequestTimeout #

millisecondsRequestTimeout :: Int -> Maybe RequestTimeout Source #

Construct a request timeout value, ensuring that it's in the proper range.

Operation errors

data Error Source #

Error during the execution of an operation.

Instances

Instances details
Eq Error Source # 
Instance details

Defined in OpcXmlDaClient

Methods

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

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

Show Error Source # 
Instance details

Defined in OpcXmlDaClient

Methods

showsPrec :: Int -> Error -> ShowS #

show :: Error -> String #

showList :: [Error] -> ShowS #

Value types

data Date Source #

Constructors

Date 

Fields

Instances

Instances details
Eq Date Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

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

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

Data Date Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Date -> c Date #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Date #

toConstr :: Date -> Constr #

dataTypeOf :: Date -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Date) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Date) #

gmapT :: (forall b. Data b => b -> b) -> Date -> Date #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Date -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Date -> r #

gmapQ :: (forall d. Data d => d -> u) -> Date -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Date -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Date -> m Date #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Date -> m Date #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Date -> m Date #

Ord Date Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

compare :: Date -> Date -> Ordering #

(<) :: Date -> Date -> Bool #

(<=) :: Date -> Date -> Bool #

(>) :: Date -> Date -> Bool #

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

max :: Date -> Date -> Date #

min :: Date -> Date -> Date #

Show Date Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

showsPrec :: Int -> Date -> ShowS #

show :: Date -> String #

showList :: [Date] -> ShowS #

Generic Date Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Associated Types

type Rep Date :: Type -> Type #

Methods

from :: Date -> Rep Date x #

to :: Rep Date x -> Date #

HasField "day" Date Day Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

getField :: Date -> Day #

(a ~ Day, b ~ Day, c ~ A_Lens) => LabelOptic "day" c Date Date a b Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

labelOptic :: Optic c NoIx Date Date a b #

(a ~ Maybe TimeZone, b ~ Maybe TimeZone, c ~ A_Lens) => LabelOptic "timeZone" c Date Date a b Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

labelOptic :: Optic c NoIx Date Date a b #

HasField "date" Value (Maybe Date) Source # 
Instance details

Defined in OpcXmlDaClient.Protocol.Types

Methods

getField :: Value -> Maybe Date #

HasField "timeZone" Date (Maybe TimeZone) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

a ~ Day => IsLabel "day" (Date -> a) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

fromLabel :: Date -> a #

a ~ Maybe TimeZone => IsLabel "timeZone" (Date -> a) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

fromLabel :: Date -> a #

type Rep Date Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

type Rep Date = D1 ('MetaData "Date" "OpcXmlDaClient.XmlSchemaValues.Types" "opc-xml-da-client-0.1.2-GDZ9BzKjwnsChkdjoUP59n" 'False) (C1 ('MetaCons "Date" 'PrefixI 'True) (S1 ('MetaSel ('Just "_day") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Day) :*: S1 ('MetaSel ('Just "_timeZone") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe TimeZone))))

data Time Source #

Constructors

Time 

Instances

Instances details
Eq Time Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

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

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

Data Time Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Time -> c Time #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Time #

toConstr :: Time -> Constr #

dataTypeOf :: Time -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Time) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Time) #

gmapT :: (forall b. Data b => b -> b) -> Time -> Time #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r #

gmapQ :: (forall d. Data d => d -> u) -> Time -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Time -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Time -> m Time #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time #

Ord Time Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

compare :: Time -> Time -> Ordering #

(<) :: Time -> Time -> Bool #

(<=) :: Time -> Time -> Bool #

(>) :: Time -> Time -> Bool #

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

max :: Time -> Time -> Time #

min :: Time -> Time -> Time #

Show Time Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

showsPrec :: Int -> Time -> ShowS #

show :: Time -> String #

showList :: [Time] -> ShowS #

Generic Time Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Associated Types

type Rep Time :: Type -> Type #

Methods

from :: Time -> Rep Time x #

to :: Rep Time x -> Time #

HasField "timeOfDay" Time TimeOfDay Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

getField :: Time -> TimeOfDay #

(a ~ TimeOfDay, b ~ TimeOfDay, c ~ A_Lens) => LabelOptic "timeOfDay" c Time Time a b Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

labelOptic :: Optic c NoIx Time Time a b #

(a ~ Maybe TimeZone, b ~ Maybe TimeZone, c ~ A_Lens) => LabelOptic "timeZone" c Time Time a b Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

labelOptic :: Optic c NoIx Time Time a b #

HasField "time" Value (Maybe Time) Source # 
Instance details

Defined in OpcXmlDaClient.Protocol.Types

Methods

getField :: Value -> Maybe Time #

HasField "timeZone" Time (Maybe TimeZone) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

a ~ TimeOfDay => IsLabel "timeOfDay" (Time -> a) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

fromLabel :: Time -> a #

a ~ Maybe TimeZone => IsLabel "timeZone" (Time -> a) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

fromLabel :: Time -> a #

type Rep Time Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

type Rep Time = D1 ('MetaData "Time" "OpcXmlDaClient.XmlSchemaValues.Types" "opc-xml-da-client-0.1.2-GDZ9BzKjwnsChkdjoUP59n" 'False) (C1 ('MetaCons "Time" 'PrefixI 'True) (S1 ('MetaSel ('Just "_timeOfDay") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TimeOfDay) :*: S1 ('MetaSel ('Just "_timeZone") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe TimeZone))))

data Duration Source #

Constructors

Duration 

Instances

Instances details
Eq Duration Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Data Duration Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Duration -> c Duration #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Duration #

toConstr :: Duration -> Constr #

dataTypeOf :: Duration -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Duration) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Duration) #

gmapT :: (forall b. Data b => b -> b) -> Duration -> Duration #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Duration -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Duration -> r #

gmapQ :: (forall d. Data d => d -> u) -> Duration -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Duration -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Duration -> m Duration #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Duration -> m Duration #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Duration -> m Duration #

Ord Duration Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Show Duration Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Generic Duration Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Associated Types

type Rep Duration :: Type -> Type #

Methods

from :: Duration -> Rep Duration x #

to :: Rep Duration x -> Duration #

HasField "diff" Duration CalendarDiffTime Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

HasField "positive" Duration Bool Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

getField :: Duration -> Bool #

(a ~ CalendarDiffTime, b ~ CalendarDiffTime, c ~ A_Lens) => LabelOptic "diff" c Duration Duration a b Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

(a ~ Bool, b ~ Bool, c ~ A_Lens) => LabelOptic "positive" c Duration Duration a b Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

HasField "duration" Value (Maybe Duration) Source # 
Instance details

Defined in OpcXmlDaClient.Protocol.Types

a ~ CalendarDiffTime => IsLabel "diff" (Duration -> a) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

fromLabel :: Duration -> a #

a ~ Bool => IsLabel "positive" (Duration -> a) Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

Methods

fromLabel :: Duration -> a #

type Rep Duration Source # 
Instance details

Defined in OpcXmlDaClient.XmlSchemaValues.Types

type Rep Duration = D1 ('MetaData "Duration" "OpcXmlDaClient.XmlSchemaValues.Types" "opc-xml-da-client-0.1.2-GDZ9BzKjwnsChkdjoUP59n" 'False) (C1 ('MetaCons "Duration" 'PrefixI 'True) (S1 ('MetaSel ('Just "_positive") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "_diff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CalendarDiffTime)))