Safe Haskell	Safe
Language	Haskell2010

NLP.Miniutter.English

Description

Simple English clause creation parameterized by individual words.

Synopsis

data Part
- = String !String
- | Text !Text
- | Cardinal !Int
- | Car !Int
- | Ws !Part
- | CardinalAWs !Int !Part
- | CardinalWs !Int !Part
- | CarAWs !Int !Part
- | CarWs !Int !Part
- | Car1Ws !Int !Part
- | Ordinal !Int
- | Ord !Int
- | AW !Part
- | WWandW ![Part]
- | WWxW !Part ![Part]
- | Wown !Part
- | WownW !Part !Part
- | Append !Part !Part
- | Phrase ![Part]
- | Capitalize !Part
- | SubjectVerb !Person !Polarity !Part !Part
- | SubjectVerbSg !Part !Part
- | SubjectVVxV !Part !Person !Polarity !Part ![Part]
- | SubjectVVandVSg !Part ![Part]
data Person
- = Sg1st
- | Sg3rd
- | PlEtc
data Polarity
- = Yes
- | No
- | Why
data Irregular = Irregular {
- irrPlural :: Map Text Text
- irrIndefinite :: Map Text Text
}
makeSentence :: Irregular -> [Part] -> Text
makePhrase :: Irregular -> [Part] -> Text
defIrregular :: Irregular
(<+>) :: Text -> Text -> Text

Documentation

data Part Source #

Various basic and compound parts of English simple present tense clauses. Many of the possible nestings do not make sense. We don't care.

Constructors

String !String	handle for a `String` parameter
Text !Text	handle for a `Text` parameter
Cardinal !Int	cardinal number, spelled in full up to 10
Car !Int	cardinal number, not spelled
Ws !Part	plural form of a phrase
CardinalAWs !Int !Part	plural prefixed with a cardinal, spelled, with "a" for 1 and "no" for 0
CardinalWs !Int !Part	plural prefixed with a cardinal, spelled
CarAWs !Int !Part	plural prefixed with a cardinal, not spelled, with "a" for 1 and "no" for 0
CarWs !Int !Part	plural prefixed with a cardinal, not spelled
Car1Ws !Int !Part	plural prefixed with a cardinal, not spelled, with no prefix at all for 1
Ordinal !Int	ordinal number, spelled in full up to 10
Ord !Int	ordinal number, not spelled
AW !Part	phrase with indefinite article
WWandW ![Part]	enumeration
WWxW !Part ![Part]	collection
Wown !Part	non-premodifying possesive
WownW !Part !Part	attributive possesive
Append !Part !Part	no space in between; one can also just use `<>`
Phrase ![Part]	space-separated sequence
Capitalize !Part	make the first letter into a capital letter
SubjectVerb !Person !Polarity !Part !Part	conjugation according to polarity, with a default person (pronouns override it)
SubjectVerbSg !Part !Part	a shorthand for `Sg3rd` and `Yes`
SubjectVVxV !Part !Person !Polarity !Part ![Part]	conjugation of all verbs according to polarity, with a default person (pronouns override it)
SubjectVVandVSg !Part ![Part]	a shorthand for "and", `Sg3rd` and `Yes`

Instances

Instances details

Eq Part Source #
Instance details Defined in NLP.Miniutter.English Methods (==) :: Part -> Part -> Bool (/=) :: Part -> Part -> Bool
Ord Part Source #
Instance details Defined in NLP.Miniutter.English Methods compare :: Part -> Part -> Ordering (<) :: Part -> Part -> Bool (<=) :: Part -> Part -> Bool (>) :: Part -> Part -> Bool (>=) :: Part -> Part -> Bool max :: Part -> Part -> Part min :: Part -> Part -> Part
Read Part Source #
Instance details Defined in NLP.Miniutter.English Methods readsPrec :: Int -> ReadS Part readList :: ReadS [Part] readPrec :: ReadPrec Part readListPrec :: ReadPrec [Part]
Show Part Source #
Instance details Defined in NLP.Miniutter.English Methods showsPrec :: Int -> Part -> ShowS show :: Part -> String showList :: [Part] -> ShowS
IsString Part Source #
Instance details Defined in NLP.Miniutter.English Methods fromString :: String -> Part
Generic Part Source #
Instance details Defined in NLP.Miniutter.English Associated Types type Rep Part :: Type -> Type Methods from :: Part -> Rep Part x to :: Rep Part x -> Part
Semigroup Part Source #
Instance details Defined in NLP.Miniutter.English Methods (<>) :: Part -> Part -> Part sconcat :: NonEmpty Part -> Part stimes :: Integral b => b -> Part -> Part
Monoid Part Source #
Instance details Defined in NLP.Miniutter.English Methods mempty :: Part mappend :: Part -> Part -> Part mconcat :: [Part] -> Part
Binary Part Source #
Instance details Defined in NLP.Miniutter.English Methods put :: Part -> Put get :: Get Part putList :: [Part] -> Put
type Rep Part Source #
Instance details Defined in NLP.Miniutter.English type Rep Part = D1 ('MetaData "Part" "NLP.Miniutter.English" "miniutter-0.5.1.0-Ayj6shXlJFm4dkvNHzPOaK" 'False) ((((C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "Text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Cardinal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))) :+: (C1 ('MetaCons "Car" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "Ws" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: C1 ('MetaCons "CardinalAWs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part))))) :+: ((C1 ('MetaCons "CardinalWs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: (C1 ('MetaCons "CarAWs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: C1 ('MetaCons "CarWs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)))) :+: (C1 ('MetaCons "Car1Ws" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: (C1 ('MetaCons "Ordinal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "Ord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))))) :+: (((C1 ('MetaCons "AW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: (C1 ('MetaCons "WWandW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Part])) :+: C1 ('MetaCons "WWxW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Part])))) :+: (C1 ('MetaCons "Wown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: (C1 ('MetaCons "WownW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: C1 ('MetaCons "Append" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part))))) :+: ((C1 ('MetaCons "Phrase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Part])) :+: (C1 ('MetaCons "Capitalize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: C1 ('MetaCons "SubjectVerb" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Person) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Polarity)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part))))) :+: (C1 ('MetaCons "SubjectVerbSg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part)) :+: (C1 ('MetaCons "SubjectVVxV" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Person)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Polarity) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Part])))) :+: C1 ('MetaCons "SubjectVVandVSg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Part) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Part])))))))

data Person Source #

Persons: singular 1st, singular 3rd and the rest.

Constructors

Sg1st
Sg3rd
PlEtc

Instances

Instances details

Eq Person Source #
Instance details Defined in NLP.Miniutter.English Methods (==) :: Person -> Person -> Bool (/=) :: Person -> Person -> Bool
Ord Person Source #
Instance details Defined in NLP.Miniutter.English Methods compare :: Person -> Person -> Ordering (<) :: Person -> Person -> Bool (<=) :: Person -> Person -> Bool (>) :: Person -> Person -> Bool (>=) :: Person -> Person -> Bool max :: Person -> Person -> Person min :: Person -> Person -> Person
Show Person Source #
Instance details Defined in NLP.Miniutter.English Methods showsPrec :: Int -> Person -> ShowS show :: Person -> String showList :: [Person] -> ShowS
Generic Person Source #
Instance details Defined in NLP.Miniutter.English Associated Types type Rep Person :: Type -> Type Methods from :: Person -> Rep Person x to :: Rep Person x -> Person
Binary Person Source #
Instance details Defined in NLP.Miniutter.English Methods put :: Person -> Put get :: Get Person putList :: [Person] -> Put
type Rep Person Source #
Instance details Defined in NLP.Miniutter.English type Rep Person = D1 ('MetaData "Person" "NLP.Miniutter.English" "miniutter-0.5.1.0-Ayj6shXlJFm4dkvNHzPOaK" 'False) (C1 ('MetaCons "Sg1st" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sg3rd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PlEtc" 'PrefixI 'False) (U1 :: Type -> Type)))

data Polarity Source #

Generalized polarity: affirmative, negative, interrogative.

Constructors

Yes
No
Why

Instances

Instances details

Eq Polarity Source #
Instance details Defined in NLP.Miniutter.English Methods (==) :: Polarity -> Polarity -> Bool (/=) :: Polarity -> Polarity -> Bool
Ord Polarity Source #
Instance details Defined in NLP.Miniutter.English Methods compare :: Polarity -> Polarity -> Ordering (<) :: Polarity -> Polarity -> Bool (<=) :: Polarity -> Polarity -> Bool (>) :: Polarity -> Polarity -> Bool (>=) :: Polarity -> Polarity -> Bool max :: Polarity -> Polarity -> Polarity min :: Polarity -> Polarity -> Polarity
Show Polarity Source #
Instance details Defined in NLP.Miniutter.English Methods showsPrec :: Int -> Polarity -> ShowS show :: Polarity -> String showList :: [Polarity] -> ShowS
Generic Polarity Source #
Instance details Defined in NLP.Miniutter.English Associated Types type Rep Polarity :: Type -> Type Methods from :: Polarity -> Rep Polarity x to :: Rep Polarity x -> Polarity
Binary Polarity Source #
Instance details Defined in NLP.Miniutter.English Methods put :: Polarity -> Put get :: Get Polarity putList :: [Polarity] -> Put
type Rep Polarity Source #
Instance details Defined in NLP.Miniutter.English type Rep Polarity = D1 ('MetaData "Polarity" "NLP.Miniutter.English" "miniutter-0.5.1.0-Ayj6shXlJFm4dkvNHzPOaK" 'False) (C1 ('MetaCons "Yes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "No" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Why" 'PrefixI 'False) (U1 :: Type -> Type)))

data Irregular Source #

Nouns with irregular plural form and nouns with irregular indefinite article.

Constructors

Irregular
Fields irrPlural :: Map Text Text irrIndefinite :: Map Text Text

makeSentence :: Irregular -> [Part] -> Text Source #

Realise a complete sentence, capitalized, ending with a dot.

makePhrase :: Irregular -> [Part] -> Text Source #

Realise a phrase. The spacing between parts resembles the semantics of (<+>), that is, it ignores empty words.

defIrregular :: Irregular Source #

Default set of words with irregular forms.

(<+>) :: Text -> Text -> Text infixr 6 Source #

Separated by space unless one of them is empty (in which case just the non-empty one).