Safe Haskell	None
Language	Haskell2010

Duckling.Dimensions.Types

Synopsis

data Seal s where
- Seal :: s a -> Seal s
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)
fromName :: Text -> Maybe (Seal Dimension)
toName :: Dimension a -> Text

Documentation

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 #

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) #

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

toName :: Dimension a -> Text Source #