Data.ZettelID

Documentation

data ZettelID

Uniquely identifying zettel

Constructors

ZettelID

Fields

• day :: Day

  The day when it was authored

• counter :: Int

  Increasing counter

Instances

Eq ZettelID

Defined in Data.ZettelID

Methods

(==) :: ZettelID -> ZettelID -> Bool

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

Ord ZettelID

Defined in Data.ZettelID

Methods

compare :: ZettelID -> ZettelID -> Ordering

(<) :: ZettelID -> ZettelID -> Bool

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

(>) :: ZettelID -> ZettelID -> Bool

(>=) :: ZettelID -> ZettelID -> Bool

max :: ZettelID -> ZettelID -> ZettelID

min :: ZettelID -> ZettelID -> ZettelID

Show ZettelID

Defined in Data.ZettelID

Methods

showsPrec :: Int -> ZettelID -> ShowS

show :: ZettelID -> String

showList :: [ZettelID] -> ShowS

render :: ZettelID -> Text

Render a zettel id as a text

The rendered id is "%y%m%d0000" where the latter number is the counter. For example the second zettel for 11.6.2020 would be "2006110002"

parse :: Text -> Maybe ZettelID

Parse the rendered zetteled id back into a ZettelID

See render for the format

toPath :: ZettelID -> Path Dir File

Convert a zettel id into a filename

fromPath :: Path a File -> Maybe ZettelID

Parse a filename into a zettel id

createZettelID :: Set ZettelID -> Day -> Maybe ZettelID

Create a new unique zettel id