Safe Haskell | None |
---|---|
Language | Haskell2010 |
RON model types
Synopsis
- 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)
- data Atom
- data ClosedOp = ClosedOp {}
- newtype Object a = Object UUID
- data ObjectState a = ObjectState {
- uuid :: UUID
- frame :: StateFrame
- data Op = Op {}
- data OpPattern
- data OpTerm
- data StateChunk = StateChunk {}
- type StateFrame = Map UUID StateChunk
- data UUID = UUID !Word64 !Word64
- data WireChunk
- type WireFrame = [WireChunk]
- data WireReducedChunk = WireReducedChunk {}
- opPattern :: Op -> Maybe OpPattern
Documentation
pattern AnnotationDerivedP :: (Word2, Word2) Source #
pattern AnnotationP :: (Word2, Word2) Source #
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.7-4uyfBSSXdv1RTdNbbIrcn" 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)))) |
Closed op
Instances
Eq ClosedOp Source # | |
Data ClosedOp Source # | |
Defined in RON.Types 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 :: (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 Source # | |
Generic ClosedOp Source # | |
type Rep ClosedOp Source # | |
Defined in RON.Types type Rep ClosedOp = D1 (MetaData "ClosedOp" "RON.Types" "ron-0.7-4uyfBSSXdv1RTdNbbIrcn" 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)))) |
Reference to an object
data ObjectState a Source #
Object accompanied with a frame
ObjectState | |
|
Instances
Eq (ObjectState a) Source # | |
Defined in RON.Types (==) :: ObjectState a -> ObjectState a -> Bool # (/=) :: ObjectState a -> ObjectState a -> Bool # | |
Show (ObjectState a) Source # | |
Defined in RON.Types showsPrec :: Int -> ObjectState a -> ShowS # show :: ObjectState a -> String # showList :: [ObjectState a] -> ShowS # |
Open op (operation)
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.7-4uyfBSSXdv1RTdNbbIrcn" 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 [Atom])))) |
Op terminator
data StateChunk Source #
Reduced chunk representing an object state (i. e. high-level value)
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 UUID 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 # | |
type Rep UUID Source # | |
Defined in RON.UUID type Rep UUID = D1 (MetaData "UUID" "RON.UUID" "ron-0.7-4uyfBSSXdv1RTdNbbIrcn" 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