Safe Haskell	None
Language	Haskell2010

Duckling.Core

Description

Everything needed to run Duckling.

Synopsis

Documentation

data Context Source #

Constructors

Context
Fields referenceTime :: DucklingTime locale :: Locale

Instances

Eq Context Source #
Methods (==) :: Context -> Context -> Bool # (/=) :: Context -> Context -> Bool #
Show Context Source #
Methods showsPrec :: Int -> Context -> ShowS # show :: Context -> String # showList :: [Context] -> ShowS #

data Region Source #

ISO 3166-1 alpha-2 Country code (includes regions and territories). See https://en.wikipedia.org/wiki/ISO_3166-1_alpha-2

Constructors

CA
CN
GB
HK
MO
TW
US

Instances

Bounded Region Source #
Methods minBound :: Region # maxBound :: Region #
Enum Region Source #
Methods succ :: Region -> Region # pred :: Region -> Region # toEnum :: Int -> Region # fromEnum :: Region -> Int # enumFrom :: Region -> [Region] # enumFromThen :: Region -> Region -> [Region] # enumFromTo :: Region -> Region -> [Region] # enumFromThenTo :: Region -> Region -> Region -> [Region] #
Eq Region Source #
Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Ord Region Source #
Methods compare :: Region -> Region -> Ordering # (<) :: Region -> Region -> Bool # (<=) :: Region -> Region -> Bool # (>) :: Region -> Region -> Bool # (>=) :: Region -> Region -> Bool # max :: Region -> Region -> Region # min :: Region -> Region -> Region #
Read Region Source #
Methods readsPrec :: Int -> ReadS Region # readList :: ReadS [Region] # readPrec :: ReadPrec Region # readListPrec :: ReadPrec [Region] #
Show Region Source #
Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
Generic Region Source #
Associated Types type Rep Region :: * -> * # Methods from :: Region -> Rep Region x # to :: Rep Region x -> Region #
Hashable Region Source #
Methods hashWithSalt :: Int -> Region -> Int # hash :: Region -> Int #
TextShow Region Source #
Methods showbPrec :: Int -> Region -> Builder # showb :: Region -> Builder # showbList :: [Region] -> Builder # showtPrec :: Int -> Region -> Text # showt :: Region -> Text # showtList :: [Region] -> Text # showtlPrec :: Int -> Region -> Text # showtl :: Region -> Text # showtlList :: [Region] -> Text #
type Rep Region Source #
type Rep Region = D1 (MetaData "Region" "Duckling.Locale" "duckling-0.1.3.0-GQaqHc6ePoa7KIbvUKMaTD" False) ((:+:) ((:+:) (C1 (MetaCons "CA" PrefixI False) U1) ((:+:) (C1 (MetaCons "CN" PrefixI False) U1) (C1 (MetaCons "GB" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "HK" PrefixI False) U1) (C1 (MetaCons "MO" PrefixI False) U1)) ((:+:) (C1 (MetaCons "TW" PrefixI False) U1) (C1 (MetaCons "US" PrefixI False) U1))))

data Dimension a where Source #

GADT for differentiating between dimensions Each dimension should have its own constructor and provide the data structure for its parsed data

Instances

Show (Dimension a) Source #
Methods showsPrec :: Int -> Dimension a -> ShowS # show :: Dimension a -> String # showList :: [Dimension a] -> ShowS #
Hashable (Dimension a) Source #
Methods hashWithSalt :: Int -> Dimension a -> Int # hash :: Dimension a -> Int #
TextShow (Dimension a) Source #
Methods showbPrec :: Int -> Dimension a -> Builder # showb :: Dimension a -> Builder # showbList :: [Dimension a] -> Builder # showtPrec :: Int -> Dimension a -> Text # showt :: Dimension a -> Text # showtList :: [Dimension a] -> Text # showtlPrec :: Int -> Dimension a -> Text # showtl :: Dimension a -> Text # showtlList :: [Dimension a] -> Text #
GEq * Dimension Source #
Methods geq :: f a -> f b -> Maybe ((Dimension := a) b) #
GShow * Dimension Source #
Methods gshowsPrec :: Int -> t a -> ShowS #
Hashable (Some * Dimension) Source #
Methods hashWithSalt :: Int -> Some * Dimension -> Int # hash :: Some * Dimension -> Int #
TextShow (Some * Dimension) Source #
Methods showbPrec :: Int -> Some * Dimension -> Builder # showb :: Some * Dimension -> Builder # showbList :: [Some * Dimension] -> Builder # showtPrec :: Int -> Some * Dimension -> Text # showt :: Some * Dimension -> Text # showtList :: [Some * Dimension] -> Text # showtlPrec :: Int -> Some * Dimension -> Text # showtl :: Some * Dimension -> Text # showtlList :: [Some * Dimension] -> Text #

data Entity Source #

Constructors

Entity
Fields dim :: Text body :: Text value :: Value start :: Int end :: Int

Instances

Eq Entity Source #
Methods (==) :: Entity -> Entity -> Bool # (/=) :: Entity -> Entity -> Bool #
Show Entity Source #
Methods showsPrec :: Int -> Entity -> ShowS # show :: Entity -> String # showList :: [Entity] -> ShowS #
Generic Entity Source #
Associated Types type Rep Entity :: * -> * # Methods from :: Entity -> Rep Entity x # to :: Rep Entity x -> Entity #
ToJSON Entity Source #
Methods toJSON :: Entity -> Value # toEncoding :: Entity -> Encoding # toJSONList :: [Entity] -> Value # toEncodingList :: [Entity] -> Encoding #
NFData Entity Source #
Methods rnf :: Entity -> () #
type Rep Entity Source #
type Rep Entity = D1 (MetaData "Entity" "Duckling.Types" "duckling-0.1.3.0-GQaqHc6ePoa7KIbvUKMaTD" False) (C1 (MetaCons "Entity" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "dim") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) ((::) (S1 (MetaSel (Just Symbol "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Value)) ((::) (S1 (MetaSel (Just Symbol "start") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "end") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))

data Lang Source #

ISO 639-1 Language. See https://en.wikipedia.org/wiki/List_of_ISO_639-1_codes

Constructors

AR
BG
CS
DA
DE
EN
ES
ET
FR
GA
HE
HR
HU
ID
IT
JA
KA
KO
MY
NB
NL
PL
PT
RO
RU
SV
TR
UK
VI
ZH

Instances

Bounded Lang Source #
Methods minBound :: Lang # maxBound :: Lang #
Enum Lang Source #
Methods succ :: Lang -> Lang # pred :: Lang -> Lang # toEnum :: Int -> Lang # fromEnum :: Lang -> Int # enumFrom :: Lang -> [Lang] # enumFromThen :: Lang -> Lang -> [Lang] # enumFromTo :: Lang -> Lang -> [Lang] # enumFromThenTo :: Lang -> Lang -> Lang -> [Lang] #
Eq Lang Source #
Methods (==) :: Lang -> Lang -> Bool # (/=) :: Lang -> Lang -> Bool #
Ord Lang Source #
Methods compare :: Lang -> Lang -> Ordering # (<) :: Lang -> Lang -> Bool # (<=) :: Lang -> Lang -> Bool # (>) :: Lang -> Lang -> Bool # (>=) :: Lang -> Lang -> Bool # max :: Lang -> Lang -> Lang # min :: Lang -> Lang -> Lang #
Read Lang Source #
Methods readsPrec :: Int -> ReadS Lang # readList :: ReadS [Lang] # readPrec :: ReadPrec Lang # readListPrec :: ReadPrec [Lang] #
Show Lang Source #
Methods showsPrec :: Int -> Lang -> ShowS # show :: Lang -> String # showList :: [Lang] -> ShowS #
Generic Lang Source #
Associated Types type Rep Lang :: * -> * # Methods from :: Lang -> Rep Lang x # to :: Rep Lang x -> Lang #
Hashable Lang Source #
Methods hashWithSalt :: Int -> Lang -> Int # hash :: Lang -> Int #
TextShow Lang Source #
Methods showbPrec :: Int -> Lang -> Builder # showb :: Lang -> Builder # showbList :: [Lang] -> Builder # showtPrec :: Int -> Lang -> Text # showt :: Lang -> Text # showtList :: [Lang] -> Text # showtlPrec :: Int -> Lang -> Text # showtl :: Lang -> Text # showtlList :: [Lang] -> Text #
type Rep Lang Source #
type Rep Lang = D1 (MetaData "Lang" "Duckling.Locale" "duckling-0.1.3.0-GQaqHc6ePoa7KIbvUKMaTD" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "AR" PrefixI False) U1) ((:+:) (C1 (MetaCons "BG" PrefixI False) U1) (C1 (MetaCons "CS" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "DA" PrefixI False) U1) (C1 (MetaCons "DE" PrefixI False) U1)) ((:+:) (C1 (MetaCons "EN" PrefixI False) U1) (C1 (MetaCons "ES" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ET" PrefixI False) U1) (C1 (MetaCons "FR" PrefixI False) U1)) ((:+:) (C1 (MetaCons "GA" PrefixI False) U1) (C1 (MetaCons "HE" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "HR" PrefixI False) U1) (C1 (MetaCons "HU" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ID" PrefixI False) U1) (C1 (MetaCons "IT" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "JA" PrefixI False) U1) ((:+:) (C1 (MetaCons "KA" PrefixI False) U1) (C1 (MetaCons "KO" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "MY" PrefixI False) U1) (C1 (MetaCons "NB" PrefixI False) U1)) ((:+:) (C1 (MetaCons "NL" PrefixI False) U1) (C1 (MetaCons "PL" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "PT" PrefixI False) U1) (C1 (MetaCons "RO" PrefixI False) U1)) ((:+:) (C1 (MetaCons "RU" PrefixI False) U1) (C1 (MetaCons "SV" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "TR" PrefixI False) U1) (C1 (MetaCons "UK" PrefixI False) U1)) ((:+:) (C1 (MetaCons "VI" PrefixI False) U1) (C1 (MetaCons "ZH" PrefixI False) U1))))))

data Locale Source #

Instances

Eq Locale Source #
Methods (==) :: Locale -> Locale -> Bool # (/=) :: Locale -> Locale -> Bool #
Ord Locale Source #
Methods compare :: Locale -> Locale -> Ordering # (<) :: Locale -> Locale -> Bool # (<=) :: Locale -> Locale -> Bool # (>) :: Locale -> Locale -> Bool # (>=) :: Locale -> Locale -> Bool # max :: Locale -> Locale -> Locale # min :: Locale -> Locale -> Locale #
Show Locale Source #
Methods showsPrec :: Int -> Locale -> ShowS # show :: Locale -> String # showList :: [Locale] -> ShowS #
Generic Locale Source #
Associated Types type Rep Locale :: * -> * # Methods from :: Locale -> Rep Locale x # to :: Rep Locale x -> Locale #
Hashable Locale Source #
Methods hashWithSalt :: Int -> Locale -> Int # hash :: Locale -> Int #
TextShow Locale Source #
Methods showbPrec :: Int -> Locale -> Builder # showb :: Locale -> Builder # showbList :: [Locale] -> Builder # showtPrec :: Int -> Locale -> Text # showt :: Locale -> Text # showtList :: [Locale] -> Text # showtlPrec :: Int -> Locale -> Text # showtl :: Locale -> Text # showtlList :: [Locale] -> Text #
type Rep Locale Source #
type Rep Locale = D1 (MetaData "Locale" "Duckling.Locale" "duckling-0.1.3.0-GQaqHc6ePoa7KIbvUKMaTD" False) (C1 (MetaCons "Locale" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Lang)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Region)))))

data Some k tag :: forall k. (k -> *) -> * where #

Constructors

This :: Some k tag

Instances

GEq k tag => Eq (Some k tag)
Methods (==) :: Some k tag -> Some k tag -> Bool # (/=) :: Some k tag -> Some k tag -> Bool #
GCompare k tag => Ord (Some k tag)
Methods compare :: Some k tag -> Some k tag -> Ordering # (<) :: Some k tag -> Some k tag -> Bool # (<=) :: Some k tag -> Some k tag -> Bool # (>) :: Some k tag -> Some k tag -> Bool # (>=) :: Some k tag -> Some k tag -> Bool # max :: Some k tag -> Some k tag -> Some k tag # min :: Some k tag -> Some k tag -> Some k tag #
GRead k f => Read (Some k f)
Methods readsPrec :: Int -> ReadS (Some k f) # readList :: ReadS [Some k f] # readPrec :: ReadPrec (Some k f) # readListPrec :: ReadPrec [Some k f] #
GShow k tag => Show (Some k tag)
Methods showsPrec :: Int -> Some k tag -> ShowS # show :: Some k tag -> String # showList :: [Some k tag] -> ShowS #
Hashable (Some * Dimension) #
Methods hashWithSalt :: Int -> Some * Dimension -> Int # hash :: Some * Dimension -> Int #
TextShow (Some * Dimension) #
Methods showbPrec :: Int -> Some * Dimension -> Builder # showb :: Some * Dimension -> Builder # showbList :: [Some * Dimension] -> Builder # showtPrec :: Int -> Some * Dimension -> Text # showt :: Some * Dimension -> Text # showtList :: [Some * Dimension] -> Text # showtlPrec :: Int -> Some * Dimension -> Text # showtl :: Some * Dimension -> Text # showtlList :: [Some * Dimension] -> Text #

fromName :: Text -> Maybe (Some Dimension) Source #

makeLocale :: Lang -> Maybe Region -> Locale Source #

toName :: Dimension a -> Text Source #

parse :: Text -> Context -> [Some Dimension] -> [Entity] Source #

Parses input and returns a curated list of entities found.

supportedDimensions :: HashMap Lang [Some Dimension] Source #

allLocales :: HashMap Lang (HashSet Region) Source #

currentReftime :: HashMap Text TimeZoneSeries -> Text -> IO DucklingTime Source #

Builds a DucklingTime for timezone tz at current time. If no series found for tz, uses UTC.

fromZonedTime :: ZonedTime -> DucklingTime Source #

Builds a DucklingTime from a ZonedTime.

makeReftime :: HashMap Text TimeZoneSeries -> Text -> UTCTime -> DucklingTime Source #

Builds a DucklingTime for timezone tz at utcTime. If no series found for tz, uses UTC.

RegexMatch :: Dimension GroupMatch
AmountOfMoney :: Dimension AmountOfMoneyData
Distance :: Dimension DistanceData
Duration :: Dimension DurationData
Email :: Dimension EmailData
Numeral :: Dimension NumeralData
Ordinal :: Dimension OrdinalData
PhoneNumber :: Dimension PhoneNumberData
Quantity :: Dimension QuantityData
Temperature :: Dimension TemperatureData
Time :: Dimension TimeData
TimeGrain :: Dimension Grain
Url :: Dimension UrlData
Volume :: Dimension VolumeData

AR
BG
CS
DA
DE
EN
ES
ET
FR
GA
HE
HR
HU
ID
IT
JA
KA
KO
MY
NB
NL
PL
PT
RO
RU
SV
TR
UK
VI
ZH

AR
BG
CS
DA
DE
EN
ES
ET
FR
GA
HE
HR
HU
ID
IT
JA
KA
KO
MY
NB
NL
PL
PT
RO
RU
SV
TR
UK
VI
ZH

AR
BG
CS
DA
DE
EN
ES
ET
FR
GA
HE
HR
HU
ID
IT
JA
KA
KO
MY
NB
NL
PL
PT
RO
RU
SV
TR
UK
VI
ZH