Safe Haskell	None
Language	Haskell2010

Duckling.Dimensions.Types

Synopsis

Documentation

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

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
GShow * Dimension Source #
Methods gshowsPrec :: Int -> t a -> ShowS
GEq * Dimension Source #
Methods geq :: f a -> f b -> Maybe ((Dimension := a) b)
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

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