Module
Text.Markdown.SlamDown
- Package
- purescript-markdown
- Repository
- slamdata/purescript-markdown
Re-exports from Text.Markdown.SlamDown.Syntax
#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)
#SlamDownP Source
data SlamDownP a
SlamDownP
is the type of SlamDown abstract syntax trees which take values in a
.
Constructors
Instances
#LinkTarget Source
#Inline Source
#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
#CodeBlockType Source
#Block Source
#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
- 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