Duckling.Types

Documentation

data Token

Constructors

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

Instances

Eq Token

Methods

(==) :: Token -> Token -> Bool

(/=) :: Token -> Token -> Bool

Show Token

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Hashable Token

Methods

hashWithSalt :: Int -> Token -> Int

hash :: Token -> Int

NFData Token

Methods

rnf :: Token -> ()

isDimension :: Dimension a -> Token -> Bool

data Node

Constructors

Node

Fields

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

Instances

Eq Node

Methods

(==) :: Node -> Node -> Bool

(/=) :: Node -> Node -> Bool

Show Node

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

Generic Node

Associated Types

type Rep Node :: * -> *

Methods

from :: Node -> Rep Node x

to :: Rep Node x -> Node

Hashable Node

Methods

hashWithSalt :: Int -> Node -> Int

hash :: Node -> Int

NFData Node

Methods

rnf :: Node -> ()

type Rep Node

type Rep Node = D1 * (MetaData "Node" "Duckling.Types" "duckling-0.1.4.0-CnjCIBQpbItDuGIirz0Gvr" False) (C1 * (MetaCons "Node" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "nodeRange") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Range)) (S1 * (MetaSel (Just Symbol "token") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Token))) ((:*:) * (S1 * (MetaSel (Just Symbol "children") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Node])) (S1 * (MetaSel (Just Symbol "rule") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))))))

data ResolvedToken

Constructors

Resolved

Fields

• range :: Range
• node :: Node
• jsonValue :: Value

Instances

Eq ResolvedToken

Methods

(==) :: ResolvedToken -> ResolvedToken -> Bool

(/=) :: ResolvedToken -> ResolvedToken -> Bool

Ord ResolvedToken

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

Methods

showsPrec :: Int -> ResolvedToken -> ShowS

show :: ResolvedToken -> String

showList :: [ResolvedToken] -> ShowS

data Candidate

Constructors

Candidate ResolvedToken Double Bool

Instances

Eq Candidate

Methods

(==) :: Candidate -> Candidate -> Bool

(/=) :: Candidate -> Candidate -> Bool

Ord Candidate

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

Methods

showsPrec :: Int -> Candidate -> ShowS

show :: Candidate -> String

showList :: [Candidate] -> ShowS

data Range

Constructors

Range Int Int

Instances

Eq Range

Methods

(==) :: Range -> Range -> Bool

(/=) :: Range -> Range -> Bool

Ord Range

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

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

Generic Range

Associated Types

type Rep Range :: * -> *

Methods

from :: Range -> Rep Range x

to :: Rep Range x -> Range

Hashable Range

Methods

hashWithSalt :: Int -> Range -> Int

hash :: Range -> Int

NFData Range

Methods

rnf :: Range -> ()

type Rep Range

type Rep Range = D1 * (MetaData "Range" "Duckling.Types" "duckling-0.1.4.0-CnjCIBQpbItDuGIirz0Gvr" False) (C1 * (MetaCons "Range" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int))))

type Production = [Token] -> Maybe Token

type Predicate = Token -> Bool

data PatternItem

Constructors

Regex Regex

Predicate Predicate

type Pattern = [PatternItem]

data Rule

Constructors

Rule

Fields

• name :: Text
• pattern :: Pattern
• prod :: Production

Instances

Show Rule

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

data Entity

Constructors

Entity

Fields

• dim :: Text
• body :: Text
• value :: Value
• start :: Int
• end :: Int
• enode :: Node

Instances

Eq Entity

Methods

(==) :: Entity -> Entity -> Bool

(/=) :: Entity -> Entity -> Bool

Show Entity

Methods

showsPrec :: Int -> Entity -> ShowS

show :: Entity -> String

showList :: [Entity] -> ShowS

Generic Entity

Associated Types

type Rep Entity :: * -> *

Methods

from :: Entity -> Rep Entity x

to :: Rep Entity x -> Entity

ToJSON Entity

Methods

toJSON :: Entity -> Value

toEncoding :: Entity -> Encoding

toJSONList :: [Entity] -> Value

toEncodingList :: [Entity] -> Encoding

NFData Entity

Methods

rnf :: Entity -> ()

type Rep Entity

type Rep Entity = D1 * (MetaData "Entity" "Duckling.Types" "duckling-0.1.4.0-CnjCIBQpbItDuGIirz0Gvr" 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)) (S1 * (MetaSel (Just Symbol "enode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Node))))))

toJText :: ToJSON x => x -> Text

regex :: String -> PatternItem

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