Module
Text.Markdown.SlamDown.Syntax
- Package
- purescript-markdown
- Repository
- slamdata/purescript-markdown
#SlamDownP Source
data SlamDownP a
SlamDownP
is the type of SlamDown abstract syntax trees which take values in a
.
Constructors
Instances
Re-exports from Text.Markdown.SlamDown.Syntax.Block
#CodeBlockType Source
#Block Source
Re-exports from Text.Markdown.SlamDown.Syntax.FormField
#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)
#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
#Value Source
class (Eq a, Ord a) <= Value a where
Members
stringValue :: String -> a
renderValue :: a -> String
Instances
#traverseTextBox Source
traverseTextBox :: forall h g f. Applicative h => (forall a. f a -> h (g a)) -> TextBox f -> h (TextBox 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)
#transFormField Source
transFormField :: forall g f. (f ~> g) -> (FormFieldP f) ~> (FormFieldP g)
#getLiteral Source
getLiteral :: forall e. Expr e -> Maybe e
Re-exports from Text.Markdown.SlamDown.Syntax.Inline
#LinkTarget Source
- 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
Nota bene: this does not generate any recursive structure