Text.Markdown.SlamDown.Syntax.TextBox

data TimePrecision

Constructors

• Minutes
• Seconds

Instances

• Eq TimePrecision
• Ord TimePrecision
• Show TimePrecision

data TextBox f

Constructors

• PlainText (f String)
• Numeric (f HugeNum)
• Date (f Date)
• Time TimePrecision (f Time)
• DateTime TimePrecision (f DateTime)

Instances

• (Show (f String), Show (f HugeNum), Show (f Time), Show (f Date), Show (f DateTime)) => Show (TextBox f)
• (Eq1 f) => Eq (TextBox f)
• (Ord1 f) => Ord (TextBox f)

transTextBox :: forall g f. (f ~> g) -> TextBox f -> TextBox g

traverseTextBox :: forall h g f. Applicative h => (forall a. f a -> h (g a)) -> TextBox f -> h (TextBox g)