Safe Haskell	Safe-Inferred
Language	Haskell2010

Simplex.Messaging.Version

Synopsis

data Version v
data VersionRange v
class VersionScope v
pattern VersionRange :: Version v -> Version v -> VersionRange v
class VersionScope v => VersionI v a | a -> v where
- type VersionRangeT v a
- version :: a -> Version v
- toVersionRangeT :: a -> VersionRange v -> VersionRangeT v a
class VersionScope v => VersionRangeI v a | a -> v where
- type VersionT v a
- versionRange :: a -> VersionRange v
- toVersionRange :: a -> VersionRange v -> a
- toVersionT :: a -> Version v -> VersionT v a
data Compatible a
pattern Compatible :: a -> Compatible a
mkVersionRange :: Version v -> Version v -> VersionRange v
safeVersionRange :: Version v -> Version v -> Maybe (VersionRange v)
versionToRange :: Version v -> VersionRange v
isCompatible :: VersionI v a => a -> VersionRange v -> Bool
isCompatibleRange :: VersionRangeI v a => a -> VersionRange v -> Bool
proveCompatible :: VersionI v a => a -> VersionRange v -> Maybe (Compatible a)
compatibleVersion :: VersionRangeI v a => a -> VersionRange v -> Maybe (Compatible (VersionT v a))
compatibleVRange :: VersionRangeI v a => a -> VersionRange v -> Maybe (Compatible a)
compatibleVRange' :: VersionRangeI v a => a -> Version v -> Maybe (Compatible a)

Documentation

data Version v Source #

Instances

Instances details

VersionScope v => VersionI v (Version v) Source #
Instance details Defined in Simplex.Messaging.Version Associated Types type VersionRangeT v (Version v) Source # Methods version :: Version v -> Version v Source # toVersionRangeT :: Version v -> VersionRange v -> VersionRangeT v (Version v) Source #
FromJSON (Version v) Source #
Instance details Defined in Simplex.Messaging.Version.Internal Methods parseJSON :: Value -> Parser (Version v) parseJSONList :: Value -> Parser [Version v] omittedField :: Maybe (Version v)
ToJSON (Version v) Source #
Instance details Defined in Simplex.Messaging.Version.Internal Methods toJSON :: Version v -> Value toEncoding :: Version v -> Encoding toJSONList :: [Version v] -> Value toEncodingList :: [Version v] -> Encoding omitField :: Version v -> Bool
Show (Version v) Source #
Instance details Defined in Simplex.Messaging.Version.Internal Methods showsPrec :: Int -> Version v -> ShowS show :: Version v -> String showList :: [Version v] -> ShowS
Eq (Version v) Source #
Instance details Defined in Simplex.Messaging.Version.Internal Methods (==) :: Version v -> Version v -> Bool (/=) :: Version v -> Version v -> Bool
Ord (Version v) Source #
Instance details Defined in Simplex.Messaging.Version.Internal Methods compare :: Version v -> Version v -> Ordering (<) :: Version v -> Version v -> Bool (<=) :: Version v -> Version v -> Bool (>) :: Version v -> Version v -> Bool (>=) :: Version v -> Version v -> Bool max :: Version v -> Version v -> Version v min :: Version v -> Version v -> Version v
Encoding (Version v) Source #
Instance details Defined in Simplex.Messaging.Version.Internal Methods smpEncode :: Version v -> ByteString Source # smpDecode :: ByteString -> Either String (Version v) Source # smpP :: Parser (Version v) Source #
StrEncoding (Version v) Source #
Instance details Defined in Simplex.Messaging.Version.Internal Methods strEncode :: Version v -> ByteString Source # strDecode :: ByteString -> Either String (Version v) Source # strP :: Parser (Version v) Source #
FromField (Version v) Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser (Version v) #
ToField (Version v) Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: Version v -> SQLData #
type VersionRangeT v (Version v) Source #
Instance details Defined in Simplex.Messaging.Version type VersionRangeT v (Version v) = VersionRange v

data VersionRange v Source #

Instances

Instances details

VersionScope v => VersionRangeI v (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Associated Types type VersionT v (VersionRange v) Source # Methods versionRange :: VersionRange v -> VersionRange v Source # toVersionRange :: VersionRange v -> VersionRange v -> VersionRange v Source # toVersionT :: VersionRange v -> Version v -> VersionT v (VersionRange v) Source #
FromJSON (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Methods parseJSON :: Value -> Parser (VersionRange v) parseJSONList :: Value -> Parser [VersionRange v] omittedField :: Maybe (VersionRange v)
ToJSON (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Methods toJSON :: VersionRange v -> Value toEncoding :: VersionRange v -> Encoding toJSONList :: [VersionRange v] -> Value toEncodingList :: [VersionRange v] -> Encoding omitField :: VersionRange v -> Bool
Show (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Methods showsPrec :: Int -> VersionRange v -> ShowS show :: VersionRange v -> String showList :: [VersionRange v] -> ShowS
Eq (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Methods (==) :: VersionRange v -> VersionRange v -> Bool (/=) :: VersionRange v -> VersionRange v -> Bool
VersionScope v => Encoding (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Methods smpEncode :: VersionRange v -> ByteString Source # smpDecode :: ByteString -> Either String (VersionRange v) Source # smpP :: Parser (VersionRange v) Source #
VersionScope v => StrEncoding (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Methods strEncode :: VersionRange v -> ByteString Source # strDecode :: ByteString -> Either String (VersionRange v) Source # strP :: Parser (VersionRange v) Source #
type VersionT v (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version type VersionT v (VersionRange v) = Version v

class VersionScope v Source #

Instances

Instances details

VersionScope XFTPVersion Source #
Instance details Defined in Simplex.FileTransfer.Transport
VersionScope NTFVersion Source #
Instance details Defined in Simplex.Messaging.Notifications.Transport
VersionScope SMPClientVersion Source #
Instance details Defined in Simplex.Messaging.Protocol
VersionScope SMPVersion Source #
Instance details Defined in Simplex.Messaging.Transport
VersionScope RCPVersion Source #
Instance details Defined in Simplex.RemoteControl.Types

pattern VersionRange :: Version v -> Version v -> VersionRange v Source #

class VersionScope v => VersionI v a | a -> v where Source #

Associated Types

type VersionRangeT v a Source #

Methods

version :: a -> Version v Source #

toVersionRangeT :: a -> VersionRange v -> VersionRangeT v a Source #

Instances

Instances details

VersionI SMPClientVersion SMPQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Associated Types type VersionRangeT SMPClientVersion SMPQueueInfo Source # Methods version :: SMPQueueInfo -> Version SMPClientVersion Source # toVersionRangeT :: SMPQueueInfo -> VersionRange SMPClientVersion -> VersionRangeT SMPClientVersion SMPQueueInfo Source #
VersionScope v => VersionI v (Version v) Source #
Instance details Defined in Simplex.Messaging.Version Associated Types type VersionRangeT v (Version v) Source # Methods version :: Version v -> Version v Source # toVersionRangeT :: Version v -> VersionRange v -> VersionRangeT v (Version v) Source #

class VersionScope v => VersionRangeI v a | a -> v where Source #

Associated Types

type VersionT v a Source #

Methods

versionRange :: a -> VersionRange v Source #

toVersionRange :: a -> VersionRange v -> a Source #

toVersionT :: a -> Version v -> VersionT v a Source #

Instances

Instances details

VersionRangeI SMPClientVersion SMPQueueUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Associated Types type VersionT SMPClientVersion SMPQueueUri Source # Methods versionRange :: SMPQueueUri -> VersionRange SMPClientVersion Source # toVersionRange :: SMPQueueUri -> VersionRange SMPClientVersion -> SMPQueueUri Source # toVersionT :: SMPQueueUri -> Version SMPClientVersion -> VersionT SMPClientVersion SMPQueueUri Source #
VersionScope v => VersionRangeI v (VersionRange v) Source #
Instance details Defined in Simplex.Messaging.Version Associated Types type VersionT v (VersionRange v) Source # Methods versionRange :: VersionRange v -> VersionRange v Source # toVersionRange :: VersionRange v -> VersionRange v -> VersionRange v Source # toVersionT :: VersionRange v -> Version v -> VersionT v (VersionRange v) Source #

data Compatible a Source #

pattern Compatible :: a -> Compatible a Source #

mkVersionRange :: Version v -> Version v -> VersionRange v Source #

construct valid version range, to be used in constants

safeVersionRange :: Version v -> Version v -> Maybe (VersionRange v) Source #

versionToRange :: Version v -> VersionRange v Source #

isCompatible :: VersionI v a => a -> VersionRange v -> Bool Source #

isCompatibleRange :: VersionRangeI v a => a -> VersionRange v -> Bool Source #

proveCompatible :: VersionI v a => a -> VersionRange v -> Maybe (Compatible a) Source #

compatibleVersion :: VersionRangeI v a => a -> VersionRange v -> Maybe (Compatible (VersionT v a)) Source #

compatibleVRange :: VersionRangeI v a => a -> VersionRange v -> Maybe (Compatible a) Source #

intersection of version ranges

compatibleVRange' :: VersionRangeI v a => a -> Version v -> Maybe (Compatible a) Source #

version range capped by compatible version