module Drasil.Sections.ReferenceMaterial (intro, emptySectSentPlu, emptySectSentSing) where
import Language.Drasil
import Language.Drasil.Sentence.Combinators (are, is)
intro :: Contents
intro :: Contents
intro = Sentence -> Contents
mkParagraph (Sentence -> Contents) -> Sentence -> Contents
forall a b. (a -> b) -> a -> b
$ String -> Sentence
S String
"This section records information for easy reference."
data Plurality = Sing | Plu
emptySectSent :: NamedIdea n => Plurality -> [n] -> Sentence
emptySectSent :: forall n. NamedIdea n => Plurality -> [n] -> Sentence
emptySectSent Plurality
p [n]
n = [Sentence] -> Sentence
foldlSent [Plurality -> Sentence -> Sentence -> Sentence
verb Plurality
p (String -> Sentence
S String
"There") (String -> Sentence
S String
"no"), SepType -> FoldType -> [Sentence] -> Sentence
foldlList SepType
Comma FoldType
Options ((n -> Sentence) -> [n] -> [Sentence]
forall a b. (a -> b) -> [a] -> [b]
map (Plurality -> n -> Sentence
forall {n}. NamedIdea n => Plurality -> n -> Sentence
f Plurality
p) [n]
n)]
where
verb :: Plurality -> Sentence -> Sentence -> Sentence
verb Plurality
Sing = Sentence -> Sentence -> Sentence
is
verb Plurality
Plu = Sentence -> Sentence -> Sentence
are
f :: Plurality -> n -> Sentence
f Plurality
Sing = n -> Sentence
forall n. NamedIdea n => n -> Sentence
phrase
f Plurality
Plu = n -> Sentence
forall n. NamedIdea n => n -> Sentence
plural
emptySectSentSing, emptySectSentPlu :: NamedIdea n => [n] -> Sentence
emptySectSentSing :: forall n. NamedIdea n => [n] -> Sentence
emptySectSentSing = Plurality -> [n] -> Sentence
forall n. NamedIdea n => Plurality -> [n] -> Sentence
emptySectSent Plurality
Sing
emptySectSentPlu :: forall n. NamedIdea n => [n] -> Sentence
emptySectSentPlu = Plurality -> [n] -> Sentence
forall n. NamedIdea n => Plurality -> [n] -> Sentence
emptySectSent Plurality
Plu