Safe Haskell	None
Language	Haskell2010

Duckling.Dimensions.Types

Synopsis

Documentation

data Some k (tag :: k -> *) :: 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 #

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

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 #