Logoot.Types.Identifier

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)

headIdentifier :: forall c i f. Applicative f => IdentifierF f i c

Suggested identifier that corresponds to the beginning of a document

lastIdentifier :: forall c i f. Applicative f => Base -> IdentifierF f i c

Suggested identifier that corresponds to the end of a document