RON.Types

RON model types

Documentation

data Atom

Atom — a payload element

Constructors

AFloat Double

AInteger Int64

AString Text

AUuid UUID

Instances

Eq Atom

Defined in RON.Types

Methods

(==) :: Atom -> Atom -> Bool

(/=) :: Atom -> Atom -> Bool

Data Atom

Defined in RON.Types

Methods

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

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

toConstr :: Atom -> Constr

dataTypeOf :: Atom -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Atom -> Atom

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

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

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

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

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

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

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

Show Atom

Defined in RON.Types

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

IsString Atom

Defined in RON.Types

Methods

fromString :: String -> Atom

Generic Atom

Defined in RON.Types

Associated Types

type Rep Atom :: Type -> Type

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

Hashable Atom

Defined in RON.Types

Methods

hashWithSalt :: Int -> Atom -> Int

hash :: Atom -> Int

type Rep Atom

Defined in RON.Types

type Rep Atom = D1 ('MetaData "Atom" "RON.Types" "ron-0.12-H6CGha9E85SDsxBwhZfk7n" 'False) ((C1 ('MetaCons "AFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)) :+: C1 ('MetaCons "AInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int64))) :+: (C1 ('MetaCons "AString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "AUuid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UUID))))

data ClosedOp

Closed op

Constructors

ClosedOp

Fields

• reducerId :: UUID

  type

• objectId :: UUID

  object id

• op :: Op

  other keys and payload, that are common with reduced op

Instances

Eq ClosedOp

Defined in RON.Types

Methods

(==) :: ClosedOp -> ClosedOp -> Bool

(/=) :: ClosedOp -> ClosedOp -> Bool

Data ClosedOp

Defined in RON.Types

Methods

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

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

toConstr :: ClosedOp -> Constr

dataTypeOf :: ClosedOp -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> ClosedOp -> ClosedOp

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

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

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

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

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

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

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

Show ClosedOp

Defined in RON.Types

Methods

showsPrec :: Int -> ClosedOp -> ShowS

show :: ClosedOp -> String

showList :: [ClosedOp] -> ShowS

Generic ClosedOp

Defined in RON.Types

Associated Types

type Rep ClosedOp :: Type -> Type

Methods

from :: ClosedOp -> Rep ClosedOp x

to :: Rep ClosedOp x -> ClosedOp

type Rep ClosedOp

Defined in RON.Types

type Rep ClosedOp = D1 ('MetaData "ClosedOp" "RON.Types" "ron-0.12-H6CGha9E85SDsxBwhZfk7n" 'False) (C1 ('MetaCons "ClosedOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "reducerId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UUID) :*: (S1 ('MetaSel ('Just "objectId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UUID) :*: S1 ('MetaSel ('Just "op") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Op))))

newtype ObjectRef a

Reference to an object TODO hide data constructor in Internal module

Constructors

ObjectRef UUID

Instances

Eq (ObjectRef a)

Defined in RON.Types

Methods

(==) :: ObjectRef a -> ObjectRef a -> Bool

(/=) :: ObjectRef a -> ObjectRef a -> Bool

Typeable a => Show (ObjectRef a)

Defined in RON.Types

Methods

showsPrec :: Int -> ObjectRef a -> ShowS

show :: ObjectRef a -> String

showList :: [ObjectRef a] -> ShowS

Generic (ObjectRef a)

Defined in RON.Types

Associated Types

type Rep (ObjectRef a) :: Type -> Type

Methods

from :: ObjectRef a -> Rep (ObjectRef a) x

to :: Rep (ObjectRef a) x -> ObjectRef a

Hashable (ObjectRef a)

Defined in RON.Types

Methods

hashWithSalt :: Int -> ObjectRef a -> Int

hash :: ObjectRef a -> Int

type Rep (ObjectRef a)

Defined in RON.Types

type Rep (ObjectRef a) = D1 ('MetaData "ObjectRef" "RON.Types" "ron-0.12-H6CGha9E85SDsxBwhZfk7n" 'True) (C1 ('MetaCons "ObjectRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))

data ObjectFrame a

Object reference accompanied with a frame

Constructors

ObjectFrame

Fields

• uuid :: UUID
• frame :: StateFrame

Instances

Eq (ObjectFrame a)

Defined in RON.Types

Methods

(==) :: ObjectFrame a -> ObjectFrame a -> Bool

(/=) :: ObjectFrame a -> ObjectFrame a -> Bool

Show (ObjectFrame a)

Defined in RON.Types

Methods

showsPrec :: Int -> ObjectFrame a -> ShowS

show :: ObjectFrame a -> String

showList :: [ObjectFrame a] -> ShowS

data Op

Open op (operation)

Constructors

Op

Fields

• opId :: UUID

  event id (usually timestamp)

• refId :: UUID

  reference to other op; actual semantics depends on the type

• payload :: Payload

Instances

Eq Op

Defined in RON.Types

Methods

(==) :: Op -> Op -> Bool

(/=) :: Op -> Op -> Bool

Data Op

Defined in RON.Types

Methods

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

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

toConstr :: Op -> Constr

dataTypeOf :: Op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Op -> Op

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

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

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

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

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

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

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

Show Op

Defined in RON.Types

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Generic Op

Defined in RON.Types

Associated Types

type Rep Op :: Type -> Type

Methods

from :: Op -> Rep Op x

to :: Rep Op x -> Op

Hashable Op

Defined in RON.Types

Methods

hashWithSalt :: Int -> Op -> Int

hash :: Op -> Int

type Rep Op

Defined in RON.Types

type Rep Op = D1 ('MetaData "Op" "RON.Types" "ron-0.12-H6CGha9E85SDsxBwhZfk7n" 'False) (C1 ('MetaCons "Op" 'PrefixI 'True) (S1 ('MetaSel ('Just "opId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UUID) :*: (S1 ('MetaSel ('Just "refId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UUID) :*: S1 ('MetaSel ('Just "payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Payload))))

type OpenFrame = [Op]

data OpTerm

Op terminator

Constructors

TClosed

TReduced

THeader

TQuery

Instances

Eq OpTerm

Defined in RON.Types

Methods

(==) :: OpTerm -> OpTerm -> Bool

(/=) :: OpTerm -> OpTerm -> Bool

Show OpTerm

Defined in RON.Types

Methods

showsPrec :: Int -> OpTerm -> ShowS

show :: OpTerm -> String

showList :: [OpTerm] -> ShowS

type Payload = [Atom]

newtype StateChunk a

Type-tagged version of WireStateChunk

Constructors

StateChunk [Op]

type StateFrame = Map UUID WireStateChunk

Frame containing only state chunks. Must contain one main object and any number of other objects that are part of the main one.

data UUID

Universally unique identifier of anything

Constructors

UUID !Word64 !Word64

Instances

Eq UUID

Defined in RON.UUID

Methods

(==) :: UUID -> UUID -> Bool

(/=) :: UUID -> UUID -> Bool

Data UUID

Defined in RON.UUID

Methods

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

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

toConstr :: UUID -> Constr

dataTypeOf :: UUID -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> UUID -> UUID

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

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

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

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

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

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

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

Ord UUID

Defined in RON.UUID

Methods

compare :: UUID -> UUID -> Ordering

(<) :: UUID -> UUID -> Bool

(<=) :: UUID -> UUID -> Bool

(>) :: UUID -> UUID -> Bool

(>=) :: UUID -> UUID -> Bool

max :: UUID -> UUID -> UUID

min :: UUID -> UUID -> UUID

Show UUID

RON-Text-encoding

Defined in RON.UUID

Methods

showsPrec :: Int -> UUID -> ShowS

show :: UUID -> String

showList :: [UUID] -> ShowS

Generic UUID

Defined in RON.UUID

Associated Types

type Rep UUID :: Type -> Type

Methods

from :: UUID -> Rep UUID x

to :: Rep UUID x -> UUID

Hashable UUID

Defined in RON.UUID

Methods

hashWithSalt :: Int -> UUID -> Int

hash :: UUID -> Int

type Rep UUID

Defined in RON.UUID

type Rep UUID = D1 ('MetaData "UUID" "RON.UUID" "ron-0.12-H6CGha9E85SDsxBwhZfk7n" 'False) (C1 ('MetaCons "UUID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

data WireChunk

Common chunk

Constructors

Closed ClosedOp

Value WireReducedChunk

Query WireReducedChunk

Instances

Eq WireChunk

Defined in RON.Types

Methods

(==) :: WireChunk -> WireChunk -> Bool

(/=) :: WireChunk -> WireChunk -> Bool

Data WireChunk

Defined in RON.Types

Methods

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

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

toConstr :: WireChunk -> Constr

dataTypeOf :: WireChunk -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> WireChunk -> WireChunk

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

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

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

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

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

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

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

Show WireChunk

Defined in RON.Types

Methods

showsPrec :: Int -> WireChunk -> ShowS

show :: WireChunk -> String

showList :: [WireChunk] -> ShowS

Generic WireChunk

Defined in RON.Types

Associated Types

type Rep WireChunk :: Type -> Type

Methods

from :: WireChunk -> Rep WireChunk x

to :: Rep WireChunk x -> WireChunk

type Rep WireChunk

Defined in RON.Types

type Rep WireChunk = D1 ('MetaData "WireChunk" "RON.Types" "ron-0.12-H6CGha9E85SDsxBwhZfk7n" 'False) (C1 ('MetaCons "Closed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ClosedOp)) :+: (C1 ('MetaCons "Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 WireReducedChunk)) :+: C1 ('MetaCons "Query" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 WireReducedChunk))))

type WireFrame = [WireChunk]

Common frame

data WireReducedChunk

Common reduced chunk

Constructors

WireReducedChunk

Fields

• wrcHeader :: ClosedOp
• wrcBody :: [Op]

Instances

Eq WireReducedChunk

Defined in RON.Types

Methods

(==) :: WireReducedChunk -> WireReducedChunk -> Bool

(/=) :: WireReducedChunk -> WireReducedChunk -> Bool

Data WireReducedChunk

Defined in RON.Types

Methods

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

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

toConstr :: WireReducedChunk -> Constr

dataTypeOf :: WireReducedChunk -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> WireReducedChunk -> WireReducedChunk

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

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

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

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

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

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

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

Show WireReducedChunk

Defined in RON.Types

Methods

showsPrec :: Int -> WireReducedChunk -> ShowS

show :: WireReducedChunk -> String

showList :: [WireReducedChunk] -> ShowS

Generic WireReducedChunk

Defined in RON.Types

Associated Types

type Rep WireReducedChunk :: Type -> Type

Methods

from :: WireReducedChunk -> Rep WireReducedChunk x

to :: Rep WireReducedChunk x -> WireReducedChunk

type Rep WireReducedChunk

Defined in RON.Types

type Rep WireReducedChunk = D1 ('MetaData "WireReducedChunk" "RON.Types" "ron-0.12-H6CGha9E85SDsxBwhZfk7n" 'False) (C1 ('MetaCons "WireReducedChunk" 'PrefixI 'True) (S1 ('MetaSel ('Just "wrcHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ClosedOp) :*: S1 ('MetaSel ('Just "wrcBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Op])))

data WireStateChunk

Reduced chunk representing an object state (i. e. high-level value)

Constructors

WireStateChunk

Fields

• stateType :: UUID
• stateBody :: [Op]

Instances

Eq WireStateChunk

Defined in RON.Types

Methods

(==) :: WireStateChunk -> WireStateChunk -> Bool

(/=) :: WireStateChunk -> WireStateChunk -> Bool

Show WireStateChunk

Defined in RON.Types

Methods

showsPrec :: Int -> WireStateChunk -> ShowS

show :: WireStateChunk -> String

showList :: [WireStateChunk] -> ShowS

Op patterns

data OpPattern

Constructors

Regular

Delete

Undelete

Create

Ack

Annotation

AnnotationDerived

opPattern :: Op -> Maybe OpPattern

pattern AckP :: (Word2, Word2)

pattern AnnotationDerivedP :: (Word2, Word2)

pattern AnnotationP :: (Word2, Word2)

pattern CreateP :: (Word2, Word2)

pattern DeleteP :: (Word2, Word2)

pattern RegularP :: (Word2, Word2)

pattern UndeleteP :: (Word2, Word2)