Module
Text.Markdown.SlamDown.Syntax.FormField
- Package
- purescript-markdown
- Repository
- slamdata/purescript-markdown
#FormFieldP Source
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)
(Functor f, Ord (f a), Ord (TextBox (Compose Maybe f)), Eq (TextBox (Compose Maybe f)), Ord (f (List a)), Ord (f (Set a)), Ord a) => Ord (FormFieldP f a)
(Functor f, Eq (f a), Eq (TextBox (Compose Maybe f)), Eq (f (List a)), Eq (f (Set a)), Ord a) => Eq (FormFieldP f a)
(Arbitrary a, Eq a) => Arbitrary (FormFieldP Expr a)
(Arbitrary a, Eq a) => Arbitrary (FormFieldP Identity a)
(Coarbitrary a) => Coarbitrary (FormFieldP Identity a)
#FormField Source
type FormField a = FormFieldP Expr a
#transFormField Source
transFormField :: forall g f. (f ~> g) -> (FormFieldP f) ~> (FormFieldP g)
#traverseFormField Source
traverseFormField :: forall a h g f. Applicative h => (forall x. f x -> h (g x)) -> FormFieldP f a -> h (FormFieldP g a)
#getLiteral Source
getLiteral :: forall e. Expr e -> Maybe e
Re-exports from Text.Markdown.SlamDown.Syntax.TextBox
#TimePrecision Source
#TextBox Source
data TextBox f
Constructors
PlainText (f String)
Numeric (f HugeNum)
Date (f Date)
Time TimePrecision (f Time)
DateTime TimePrecision (f DateTime)
Instances
(Functor f, Show (f String), Show (f HugeNum), Show (f Time), Show (f Date), Show (f DateTime)) => Show (TextBox f)
(Functor f, Eq (f String), Eq (f HugeNum), Eq (f Time), Eq (f Date), Eq (f DateTime)) => Eq (TextBox f)
(Functor f, Ord (f String), Ord (f HugeNum), Ord (f Time), Ord (f Date), Ord (f DateTime)) => Ord (TextBox f)
(Functor f, Arbitrary (f String), Arbitrary (f Number), Arbitrary (f ArbTime), Arbitrary (f ArbDate), Arbitrary (f ArbDateTime)) => Arbitrary (TextBox f)
(Functor f, Coarbitrary (f String), Coarbitrary (f Number), Coarbitrary (f ArbDate), Coarbitrary (f ArbTime), Coarbitrary (f ArbDateTime)) => Coarbitrary (TextBox f)
#traverseTextBox Source
traverseTextBox :: forall h g f. Applicative h => (forall a. f a -> h (g a)) -> TextBox f -> h (TextBox g)
Re-exports from Text.Markdown.SlamDown.Syntax.Value
- Modules
- Text.
Markdown. SlamDown - Text.
Markdown. SlamDown. Eval - Text.
Markdown. SlamDown. Parser - Text.
Markdown. SlamDown. Parser. Inline - Text.
Markdown. SlamDown. Parser. References - Text.
Markdown. SlamDown. Parser. Utils - Text.
Markdown. SlamDown. Pretty - Text.
Markdown. SlamDown. Syntax - Text.
Markdown. SlamDown. Syntax. Block - Text.
Markdown. SlamDown. Syntax. FormField - Text.
Markdown. SlamDown. Syntax. Inline - Text.
Markdown. SlamDown. Syntax. TextBox - Text.
Markdown. SlamDown. Syntax. Value - Text.
Markdown. SlamDown. Traverse