Karya, built on 2023-08-29T07:47:28 (patch 7a412d5d6ba4968ca4155ef276a062ccdeb9109a)
Safe HaskellSafe-Inferred

Solkattu.Tags

Description

Tags type and conventional tag values.

Synopsis

Documentation

newtype Tags Source #

Constructors

Tags (Map Text [Text]) 

Instances

Instances details
Monoid Tags Source # 
Instance details

Defined in Solkattu.Tags

Methods

mempty :: Tags #

mappend :: Tags -> Tags -> Tags #

mconcat :: [Tags] -> Tags #

Semigroup Tags Source # 
Instance details

Defined in Solkattu.Tags

Methods

(<>) :: Tags -> Tags -> Tags #

sconcat :: NonEmpty Tags -> Tags #

stimes :: Integral b => b -> Tags -> Tags #

Show Tags Source # 
Instance details

Defined in Solkattu.Tags

Methods

showsPrec :: Int -> Tags -> ShowS #

show :: Tags -> String #

showList :: [Tags] -> ShowS #

Eq Tags Source # 
Instance details

Defined in Solkattu.Tags

Methods

(==) :: Tags -> Tags -> Bool #

(/=) :: Tags -> Tags -> Bool #

Pretty Tags Source # 
Instance details

Defined in Solkattu.Tags

Methods

pretty :: Tags -> Text Source #

format :: Tags -> Doc Source #

formatList :: [Tags] -> Doc Source #

tag :: Text -> Text -> Tags Source #

untags :: Tags -> Map Text [Text] Source #

replace :: Text -> Text -> Tags -> Tags Source #

tags

comment :: Text Source #

source :: Text Source #

type_ :: Text Source #

withType :: Text -> Tags Source #

exercise :: Text Source #

per-korvai

similarTo :: Text Source #

recording :: Text Source #

per-section

development :: Text Source #

variation :: Text Source #

ending :: Text Source #

eddupu :: Text Source #

date :: Text Source #

times :: Text Source #