Safe Haskell	None
Language	Haskell2010

Duckling.Types

Synopsis

data Token = forall a.(Resolve a, Eq a, Hashable a, Show a, NFData a) => Token (Dimension a) a
data Seal s where
- Seal :: s a -> Seal s
withSeal :: Seal s -> (forall t. s t -> r) -> r
class (Show a, Typeable a, Typeable (DimensionData a)) => CustomDimension a where
- type DimensionData a
- dimRules :: a -> [Rule]
- dimLangRules :: Lang -> a -> [Rule]
- dimLocaleRules :: Region -> a -> [Rule]
- dimDependents :: a -> HashSet (Seal Dimension)
data Dimension a where
- RegexMatch :: Dimension GroupMatch
- AmountOfMoney :: Dimension AmountOfMoneyData
- CreditCardNumber :: Dimension CreditCardNumberData
- 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
- CustomDimension :: CustomDimension a => a -> Dimension (DimensionData a)
isDimension :: Dimension a -> Token -> Bool
data ResolvedVal = forall a.(Resolve a, Eq (ResolvedValue a), Show (ResolvedValue a), ToJSON (ResolvedValue a)) => RVal (Dimension a) (ResolvedValue a)
data Node = Node {
- nodeRange :: Range
- token :: Token
- children :: [Node]
- rule :: Maybe Text
}
data ResolvedToken = Resolved {
- range :: Range
- node :: Node
- rval :: ResolvedVal
- isLatent :: Bool
}
data Candidate = Candidate ResolvedToken Double Bool
data Range = Range Int Int
type Production = [Token] -> Maybe Token
type Predicate = Token -> Bool
data PatternItem
- = Regex Regex
- | Predicate Predicate
type Pattern = [PatternItem]
data Rule = Rule {
- name :: Text
- pattern :: Pattern
- prod :: Production
}
data Entity = Entity {
- dim :: Text
- body :: Text
- value :: ResolvedVal
- start :: Int
- end :: Int
- latent :: Bool
- enode :: Node
}
toJText :: ToJSON x => x -> Text
regex :: String -> PatternItem
dimension :: Typeable a => Dimension a -> PatternItem
singleStringLookupRule :: HashMap Text a -> Text -> (a -> Maybe Token) -> Rule

Documentation

data Token Source #

Constructors

forall a.(Resolve a, Eq a, Hashable a, Show a, NFData a) => Token (Dimension a) a

Instances

Instances details

Eq Token Source #
Instance details Defined in Duckling.Types Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Show Token Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
Hashable Token Source #
Instance details Defined in Duckling.Types Methods hashWithSalt :: Int -> Token -> Int # hash :: Token -> Int #
NFData Token Source #
Instance details Defined in Duckling.Types Methods rnf :: Token -> () #

data Seal s where Source #

Constructors

Seal :: s a -> Seal s

Instances

Instances details

GEq s => Eq (Seal s) Source #
Instance details Defined in Duckling.Types Methods (==) :: Seal s -> Seal s -> Bool # (/=) :: Seal s -> Seal s -> Bool #
GShow s => Show (Seal s) Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Seal s -> ShowS # show :: Seal s -> String # showList :: [Seal s] -> ShowS #
Hashable (Seal Dimension) Source #
Instance details Defined in Duckling.Types Methods hashWithSalt :: Int -> Seal Dimension -> Int # hash :: Seal Dimension -> Int #
TextShow (Seal Dimension) Source #
Instance details Defined in Duckling.Types Methods showbPrec :: Int -> Seal Dimension -> Builder # showb :: Seal Dimension -> Builder # showbList :: [Seal Dimension] -> Builder # showtPrec :: Int -> Seal Dimension -> Text # showt :: Seal Dimension -> Text # showtList :: [Seal Dimension] -> Text # showtlPrec :: Int -> Seal Dimension -> Text # showtl :: Seal Dimension -> Text # showtlList :: [Seal Dimension] -> Text #

withSeal :: Seal s -> (forall t. s t -> r) -> r Source #

class (Show a, Typeable a, Typeable (DimensionData a)) => CustomDimension a where Source #

Associated Types

type DimensionData a Source #

Methods

dimRules :: a -> [Rule] Source #

dimLangRules :: Lang -> a -> [Rule] Source #

dimLocaleRules :: Region -> a -> [Rule] Source #

dimDependents :: a -> HashSet (Seal Dimension) Source #

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

Constructors

RegexMatch :: Dimension GroupMatch
AmountOfMoney :: Dimension AmountOfMoneyData
CreditCardNumber :: Dimension CreditCardNumberData
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
CustomDimension :: CustomDimension a => a -> Dimension (DimensionData a)

Instances

Instances details

Show (Dimension a) Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Dimension a -> ShowS # show :: Dimension a -> String # showList :: [Dimension a] -> ShowS #
Hashable (Dimension a) Source #
Instance details Defined in Duckling.Types Methods hashWithSalt :: Int -> Dimension a -> Int # hash :: Dimension a -> Int #
Hashable (Seal Dimension) Source #
Instance details Defined in Duckling.Types Methods hashWithSalt :: Int -> Seal Dimension -> Int # hash :: Seal Dimension -> Int #
TextShow (Dimension a) Source #
Instance details Defined in Duckling.Types 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 #
TextShow (Seal Dimension) Source #
Instance details Defined in Duckling.Types Methods showbPrec :: Int -> Seal Dimension -> Builder # showb :: Seal Dimension -> Builder # showbList :: [Seal Dimension] -> Builder # showtPrec :: Int -> Seal Dimension -> Text # showt :: Seal Dimension -> Text # showtList :: [Seal Dimension] -> Text # showtlPrec :: Int -> Seal Dimension -> Text # showtl :: Seal Dimension -> Text # showtlList :: [Seal Dimension] -> Text #
GShow Dimension Source #
Instance details Defined in Duckling.Types Methods gshowsPrec :: forall (a :: k). Int -> Dimension a -> ShowS #
GEq Dimension Source #
Instance details Defined in Duckling.Types Methods geq :: forall (a :: k) (b :: k). Dimension a -> Dimension b -> Maybe (a :~: b) #

isDimension :: Dimension a -> Token -> Bool Source #

data ResolvedVal Source #

Constructors

forall a.(Resolve a, Eq (ResolvedValue a), Show (ResolvedValue a), ToJSON (ResolvedValue a)) => RVal (Dimension a) (ResolvedValue a)

Instances

Instances details

Eq ResolvedVal Source #
Instance details Defined in Duckling.Types Methods (==) :: ResolvedVal -> ResolvedVal -> Bool # (/=) :: ResolvedVal -> ResolvedVal -> Bool #
Show ResolvedVal Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> ResolvedVal -> ShowS # show :: ResolvedVal -> String # showList :: [ResolvedVal] -> ShowS #

data Node Source #

Constructors

Node
Fields nodeRange :: Range token :: Token children :: [Node] rule :: Maybe Text

Instances

Instances details

Eq Node Source #
Instance details Defined in Duckling.Types Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Show Node Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Generic Node Source #
Instance details Defined in Duckling.Types Associated Types type Rep Node :: Type -> Type # Methods from :: Node -> Rep Node x # to :: Rep Node x -> Node #
Hashable Node Source #
Instance details Defined in Duckling.Types Methods hashWithSalt :: Int -> Node -> Int # hash :: Node -> Int #
NFData Node Source #
Instance details Defined in Duckling.Types Methods rnf :: Node -> () #
type Rep Node Source #
Instance details Defined in Duckling.Types type Rep Node = D1 ('MetaData "Node" "Duckling.Types" "duckling-0.2.0.0-4AU1pRwMU7E8YjNdB7ILfy" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nodeRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range) :: S1 ('MetaSel ('Just "token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Token)) :: (S1 ('MetaSel ('Just "children") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Node]) :*: S1 ('MetaSel ('Just "rule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data ResolvedToken Source #

Constructors

Resolved
Fields range :: Range node :: Node rval :: ResolvedVal isLatent :: Bool

Instances

Instances details

Eq ResolvedToken Source #
Instance details Defined in Duckling.Types Methods (==) :: ResolvedToken -> ResolvedToken -> Bool # (/=) :: ResolvedToken -> ResolvedToken -> Bool #
Ord ResolvedToken Source #
Instance details Defined in Duckling.Types Methods compare :: ResolvedToken -> ResolvedToken -> Ordering # (<) :: ResolvedToken -> ResolvedToken -> Bool # (<=) :: ResolvedToken -> ResolvedToken -> Bool # (>) :: ResolvedToken -> ResolvedToken -> Bool # (>=) :: ResolvedToken -> ResolvedToken -> Bool # max :: ResolvedToken -> ResolvedToken -> ResolvedToken # min :: ResolvedToken -> ResolvedToken -> ResolvedToken #
Show ResolvedToken Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> ResolvedToken -> ShowS # show :: ResolvedToken -> String # showList :: [ResolvedToken] -> ShowS #

data Candidate Source #

Constructors

Candidate ResolvedToken Double Bool

Instances

Instances details

Eq Candidate Source #
Instance details Defined in Duckling.Types Methods (==) :: Candidate -> Candidate -> Bool # (/=) :: Candidate -> Candidate -> Bool #
Ord Candidate Source #
Instance details Defined in Duckling.Types Methods compare :: Candidate -> Candidate -> Ordering # (<) :: Candidate -> Candidate -> Bool # (<=) :: Candidate -> Candidate -> Bool # (>) :: Candidate -> Candidate -> Bool # (>=) :: Candidate -> Candidate -> Bool # max :: Candidate -> Candidate -> Candidate # min :: Candidate -> Candidate -> Candidate #
Show Candidate Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Candidate -> ShowS # show :: Candidate -> String # showList :: [Candidate] -> ShowS #

data Range Source #

Constructors

Range Int Int

Instances

Instances details

Eq Range Source #
Instance details Defined in Duckling.Types Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Ord Range Source #
Instance details Defined in Duckling.Types Methods compare :: Range -> Range -> Ordering # (<) :: Range -> Range -> Bool # (<=) :: Range -> Range -> Bool # (>) :: Range -> Range -> Bool # (>=) :: Range -> Range -> Bool # max :: Range -> Range -> Range # min :: Range -> Range -> Range #
Show Range Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
Generic Range Source #
Instance details Defined in Duckling.Types Associated Types type Rep Range :: Type -> Type # Methods from :: Range -> Rep Range x # to :: Rep Range x -> Range #
Hashable Range Source #
Instance details Defined in Duckling.Types Methods hashWithSalt :: Int -> Range -> Int # hash :: Range -> Int #
NFData Range Source #
Instance details Defined in Duckling.Types Methods rnf :: Range -> () #
type Rep Range Source #
Instance details Defined in Duckling.Types type Rep Range = D1 ('MetaData "Range" "Duckling.Types" "duckling-0.2.0.0-4AU1pRwMU7E8YjNdB7ILfy" 'False) (C1 ('MetaCons "Range" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type Production = [Token] -> Maybe Token Source #

type Predicate = Token -> Bool Source #

data PatternItem Source #

Constructors

Regex Regex
Predicate Predicate

type Pattern = [PatternItem] Source #

data Rule Source #

Constructors

Rule
Fields name :: Text pattern :: Pattern prod :: Production

Instances

Instances details

Show Rule Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #

data Entity Source #

Constructors

Entity
Fields dim :: Text body :: Text value :: ResolvedVal start :: Int end :: Int latent :: Bool enode :: Node

Instances

Instances details

Eq Entity Source #
Instance details Defined in Duckling.Types Methods (==) :: Entity -> Entity -> Bool # (/=) :: Entity -> Entity -> Bool #
Show Entity Source #
Instance details Defined in Duckling.Types Methods showsPrec :: Int -> Entity -> ShowS # show :: Entity -> String # showList :: [Entity] -> ShowS #
Generic Entity Source #
Instance details Defined in Duckling.Types Associated Types type Rep Entity :: Type -> Type # Methods from :: Entity -> Rep Entity x # to :: Rep Entity x -> Entity #
ToJSON Entity Source #
Instance details Defined in Duckling.Types Methods toJSON :: Entity -> Value # toEncoding :: Entity -> Encoding # toJSONList :: [Entity] -> Value # toEncodingList :: [Entity] -> Encoding #
type Rep Entity Source #
Instance details Defined in Duckling.Types type Rep Entity = D1 ('MetaData "Entity" "Duckling.Types" "duckling-0.2.0.0-4AU1pRwMU7E8YjNdB7ILfy" 'False) (C1 ('MetaCons "Entity" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dim") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResolvedVal))) :: ((S1 ('MetaSel ('Just "start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "latent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "enode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node)))))

toJText :: ToJSON x => x -> Text Source #

regex :: String -> PatternItem Source #

dimension :: Typeable a => Dimension a -> PatternItem Source #

singleStringLookupRule :: HashMap Text a -> Text -> (a -> Maybe Token) -> Rule Source #