Text.Markdown.SlamDown.Syntax.FormField

data FormFieldP f a

Constructors

• TextBox (TextBox (Compose Maybe f))
• RadioButtons (f a) (f (List a))
• CheckBoxes (f (List a)) (f (List a))
• DropDown (Maybe (f a)) (f (List a))

Instances

• (Functor f) => Functor (FormFieldP f)
• (Functor f, Show (f a), Show (TextBox (Compose Maybe f)), Show (f (List a))) => Show (FormFieldP f a)
• (Eq1 f) => Eq1 (FormFieldP f)
• (Eq1 f, Eq a) => Eq (FormFieldP f a)
• (Ord1 f) => Ord1 (FormFieldP f)
• (Ord1 f, Ord a) => Ord (FormFieldP f a)

type FormField a = FormFieldP Expr a

transFormField :: forall g f. (f ~> g) -> (FormFieldP f) ~> (FormFieldP g)

traverseFormField :: forall a h g f. Applicative h => (forall x. f x -> h (g x)) -> FormFieldP f a -> h (FormFieldP g a)

data Expr a

Constructors

• Literal a
• Unevaluated String

Instances

• Functor Expr
• (Show a) => Show (Expr a)
• (Eq a) => Eq (Expr a)
• Eq1 Expr
• Ord1 Expr
• (Ord a) => Ord (Expr a)

getLiteral :: forall e. Expr e -> Maybe e

getUnevaluated :: forall e. Expr e -> Maybe String

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)

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

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

class (Eq a, Ord a) <= Value a  where

Members

• stringValue :: String -> a
• renderValue :: a -> String

Instances

• Value String