Rattletrap.Type.DestroyedReplication

Documentation

data DestroyedReplication

Destroyed replications don't actually contain any extra information. All you need to know is the actor's ID, which is given by the Replication.

Constructors

DestroyedReplication

Instances

Eq DestroyedReplication

Defined in Rattletrap.Type.DestroyedReplication

Methods

(==) :: DestroyedReplication -> DestroyedReplication -> Bool

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

Ord DestroyedReplication

Defined in Rattletrap.Type.DestroyedReplication

Methods

compare :: DestroyedReplication -> DestroyedReplication -> Ordering

(<) :: DestroyedReplication -> DestroyedReplication -> Bool

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

(>) :: DestroyedReplication -> DestroyedReplication -> Bool

(>=) :: DestroyedReplication -> DestroyedReplication -> Bool

max :: DestroyedReplication -> DestroyedReplication -> DestroyedReplication

min :: DestroyedReplication -> DestroyedReplication -> DestroyedReplication

Show DestroyedReplication

Defined in Rattletrap.Type.DestroyedReplication

Methods

showsPrec :: Int -> DestroyedReplication -> ShowS

show :: DestroyedReplication -> String

showList :: [DestroyedReplication] -> ShowS

ToJSON DestroyedReplication

Defined in Rattletrap.Type.DestroyedReplication

Methods

toJSON :: DestroyedReplication -> Value

toEncoding :: DestroyedReplication -> Encoding

toJSONList :: [DestroyedReplication] -> Value

toEncodingList :: [DestroyedReplication] -> Encoding

FromJSON DestroyedReplication

Defined in Rattletrap.Type.DestroyedReplication

Methods

parseJSON :: Value -> Parser DestroyedReplication

parseJSONList :: Value -> Parser [DestroyedReplication]