Safe Haskell | None |
---|---|
Language | Haskell2010 |
RON model types
Synopsis
- data Atom
- data Object a = Object {}
- type ObjectId = (UUID, UUID)
- data ObjectPart obj part = ObjectPart {}
- data Op = Op {}
- data OpTerm
- data RawOp = RawOp {}
- data StateChunk = StateChunk {
- stateVersion :: UUID
- stateBody :: [Op]
- type StateFrame = Map ObjectId StateChunk
- data UUID = UUID !Word64 !Word64
- data WireChunk
- type WireFrame = [WireChunk]
- data WireReducedChunk = WireReducedChunk {}
Documentation
Atom — a payload element
Instances
Eq Atom Source # | |
Data Atom Source # | |
Defined in RON.Types 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 # 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 :: (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 Source # | |
Generic Atom Source # | |
Hashable Atom Source # | |
type Rep Atom Source # | |
Defined in RON.Types type Rep Atom = D1 (MetaData "Atom" "RON.Types" "ron-0.4-BmjBfyPI95M8UjBLdTbv8P" 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)))) |
Reference to an object inside a frame.
Object | |
|
data ObjectPart obj part Source #
Specific field or item in an object, identified by UUID.
ObjectPart | |
|
“Reduced” op (op from reduced chunk)
Instances
Eq Op Source # | |
Data Op Source # | |
Defined in RON.Types 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 # 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 :: (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 Source # | |
Generic Op Source # | |
Hashable Op Source # | |
type Rep Op Source # | |
Defined in RON.Types type Rep Op = D1 (MetaData "Op" "RON.Types" "ron-0.4-BmjBfyPI95M8UjBLdTbv8P" False) (C1 (MetaCons "Op" PrefixI True) (S1 (MetaSel (Just "opEvent") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 UUID) :*: (S1 (MetaSel (Just "opRef") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 UUID) :*: S1 (MetaSel (Just "opPayload") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Atom])))) |
Op terminator
Raw op
Instances
Eq RawOp Source # | |
Data RawOp Source # | |
Defined in RON.Types gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RawOp -> c RawOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RawOp # dataTypeOf :: RawOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RawOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RawOp) # gmapT :: (forall b. Data b => b -> b) -> RawOp -> RawOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RawOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RawOp -> r # gmapQ :: (forall d. Data d => d -> u) -> RawOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RawOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RawOp -> m RawOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RawOp -> m RawOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RawOp -> m RawOp # | |
Show RawOp Source # | |
Generic RawOp Source # | |
type Rep RawOp Source # | |
Defined in RON.Types type Rep RawOp = D1 (MetaData "RawOp" "RON.Types" "ron-0.4-BmjBfyPI95M8UjBLdTbv8P" False) (C1 (MetaCons "RawOp" PrefixI True) (S1 (MetaSel (Just "opType") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 UUID) :*: (S1 (MetaSel (Just "opObject") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 UUID) :*: S1 (MetaSel (Just "op") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Op)))) |
data StateChunk Source #
Reduced chunk representing an object state (i. e. high-level value)
StateChunk | |
|
Instances
Eq StateChunk Source # | |
Defined in RON.Types (==) :: StateChunk -> StateChunk -> Bool # (/=) :: StateChunk -> StateChunk -> Bool # | |
Show StateChunk Source # | |
Defined in RON.Types showsPrec :: Int -> StateChunk -> ShowS # show :: StateChunk -> String # showList :: [StateChunk] -> ShowS # |
type StateFrame = Map ObjectId StateChunk Source #
Frame containing only state chunks
Universally unique identifier of anything
Instances
Eq UUID Source # | |
Data UUID Source # | |
Defined in RON.UUID 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 # 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 :: (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 Source # | |
Show UUID Source # | RON-Text-encoding |
Generic UUID Source # | |
Hashable UUID Source # | |
ReplicatedAsPayload UUID Source # | |
Replicated UUID Source # | |
Defined in RON.Data.Internal | |
type Rep UUID Source # | |
Defined in RON.UUID type Rep UUID = D1 (MetaData "UUID" "RON.UUID" "ron-0.4-BmjBfyPI95M8UjBLdTbv8P" 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))) |
Common chunk
Instances
data WireReducedChunk Source #
Common reduced chunk