Logoot.Types

digit :: forall clock peerId. Position peerId clock -> Int

peerId :: forall clock peerId. Position peerId clock -> Maybe peerId

clock :: forall clock peerId. Position peerId clock -> Maybe clock

ithDigit :: forall clock peerId f. Container f => IdentifierF f peerId clock -> Int -> Maybe Int

ithPeerId :: forall clock peerId f. Container f => IdentifierF f peerId clock -> Int -> Maybe peerId

ithClock :: forall clock peerId f. Container f => IdentifierF f peerId clock -> Int -> Maybe clock

newtype IdentifierF f peerId clock

Constructors

• IdentifierF (f (Position peerId clock))

Instances

• Newtype (IdentifierF f i c) _
• Generic (IdentifierF f i c) _
• (Eq (f (Position peerId clock))) => Eq (IdentifierF f peerId clock)
• (Ord (f (Position peerId clock))) => Ord (IdentifierF f peerId clock)
• (Show (f (Position peerId clock))) => Show (IdentifierF f peerId clock)
• (Encode (f (Position peerId clock))) => Encode (IdentifierF f peerId clock)
• (Decode (f (Position peerId clock))) => Decode (IdentifierF f peerId clock)

data Position peerId clock

Constructors

• Position Int (Maybe peerId) (Maybe clock)

Instances

• (Eq peerId, Eq clock) => Eq (Position peerId clock)
• (Ord peerId, Ord clock) => Ord (Position peerId clock)
• Generic (Position peerId clock) _
• (Show peerId, Show clock) => Show (Position peerId clock)
• Bifunctor Position
• (Encode i, Encode c) => Encode (Position i c)
• (Decode i, Decode c) => Decode (Position i c)