Safe Haskell	Safe-Inferred
Language	Haskell2010

Frames.ColumnTypeable

Synopsis

data Parsed a
- = Possibly a
- | Definitely a
parsedValue :: Parsed a -> a
class Parseable a where
- parse :: MonadPlus m => Text -> m (Parsed a)
- parseCombine :: MonadPlus m => Parsed a -> Parsed a -> m (Parsed a)
- representableAsType :: Parsed a -> Const (Either (String -> Q [Dec]) Type) a
discardConfidence :: Parsed a -> a
parse' :: (MonadPlus m, Parseable a) => Text -> m a
parseIntish :: (Readable a, MonadPlus f) => Text -> f (Parsed a)
class ColumnTypeable a where
- colType :: a -> Either (String -> Q [Dec]) Type
- inferType :: Text -> a

Documentation

data Parsed a Source #

Constructors

Possibly a
Definitely a

Instances

Instances details

Functor Parsed Source #
Instance details Defined in Frames.ColumnTypeable Methods fmap :: (a -> b) -> Parsed a -> Parsed b # (<$) :: a -> Parsed b -> Parsed a #
Show a => Show (Parsed a) Source #
Instance details Defined in Frames.ColumnTypeable Methods showsPrec :: Int -> Parsed a -> ShowS # show :: Parsed a -> String # showList :: [Parsed a] -> ShowS #
Eq a => Eq (Parsed a) Source #
Instance details Defined in Frames.ColumnTypeable Methods (==) :: Parsed a -> Parsed a -> Bool # (/=) :: Parsed a -> Parsed a -> Bool #
Ord a => Ord (Parsed a) Source #
Instance details Defined in Frames.ColumnTypeable Methods compare :: Parsed a -> Parsed a -> Ordering # (<) :: Parsed a -> Parsed a -> Bool # (<=) :: Parsed a -> Parsed a -> Bool # (>) :: Parsed a -> Parsed a -> Bool # (>=) :: Parsed a -> Parsed a -> Bool # max :: Parsed a -> Parsed a -> Parsed a # min :: Parsed a -> Parsed a -> Parsed a #

parsedValue :: Parsed a -> a Source #

class Parseable a where Source #

Values that can be read from a Text with more or less discrimination.

Minimal complete definition

Nothing

Methods

parse :: MonadPlus m => Text -> m (Parsed a) Source #

Returns Nothing if a value of the given type can not be read; returns 'Just Possibly' if a value can be read, but is likely ambiguous (e.g. an empty string); returns 'Just Definitely' if a value can be read and is unlikely to be ambiguous."

default parse :: (Readable a, MonadPlus m) => Text -> m (Parsed a) Source #

parseCombine :: MonadPlus m => Parsed a -> Parsed a -> m (Parsed a) Source #

Combine two parse results such that the combination can fail. Useful when we have two Possibly parsed values that are different enough to suggest the parse of each should be considered a failure. The default implementation is to return the first argument.

default parseCombine :: MonadPlus m => Parsed a -> Parsed a -> m (Parsed a) Source #

representableAsType :: Parsed a -> Const (Either (String -> Q [Dec]) Type) a Source #

default representableAsType :: Typeable a => Parsed a -> Const (Either (String -> Q [Dec]) Type) a Source #

Instances

Instances details

Parseable Int32 Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Int32) Source # parseCombine :: MonadPlus m => Parsed Int32 -> Parsed Int32 -> m (Parsed Int32) Source # representableAsType :: Parsed Int32 -> Const (Either (String -> Q [Dec]) Type) Int32 Source #
Parseable Int64 Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Int64) Source # parseCombine :: MonadPlus m => Parsed Int64 -> Parsed Int64 -> m (Parsed Int64) Source # representableAsType :: Parsed Int64 -> Const (Either (String -> Q [Dec]) Type) Int64 Source #
Parseable Text Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Text) Source # parseCombine :: MonadPlus m => Parsed Text -> Parsed Text -> m (Parsed Text) Source # representableAsType :: Parsed Text -> Const (Either (String -> Q [Dec]) Type) Text Source #
Parseable Integer Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Integer) Source # parseCombine :: MonadPlus m => Parsed Integer -> Parsed Integer -> m (Parsed Integer) Source # representableAsType :: Parsed Integer -> Const (Either (String -> Q [Dec]) Type) Integer Source #
Parseable Bool Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Bool) Source # parseCombine :: MonadPlus m => Parsed Bool -> Parsed Bool -> m (Parsed Bool) Source # representableAsType :: Parsed Bool -> Const (Either (String -> Q [Dec]) Type) Bool Source #
Parseable Double Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Double) Source # parseCombine :: MonadPlus m => Parsed Double -> Parsed Double -> m (Parsed Double) Source # representableAsType :: Parsed Double -> Const (Either (String -> Q [Dec]) Type) Double Source #
Parseable Float Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Float) Source # parseCombine :: MonadPlus m => Parsed Float -> Parsed Float -> m (Parsed Float) Source # representableAsType :: Parsed Float -> Const (Either (String -> Q [Dec]) Type) Float Source #
Parseable Int Source #
Instance details Defined in Frames.ColumnTypeable Methods parse :: MonadPlus m => Text -> m (Parsed Int) Source # parseCombine :: MonadPlus m => Parsed Int -> Parsed Int -> m (Parsed Int) Source # representableAsType :: Parsed Int -> Const (Either (String -> Q [Dec]) Type) Int Source #
KnownNat n => Parseable (Categorical n) Source #
Instance details Defined in Frames.Categorical Methods parse :: MonadPlus m => Text -> m (Parsed (Categorical n)) Source # parseCombine :: MonadPlus m => Parsed (Categorical n) -> Parsed (Categorical n) -> m (Parsed (Categorical n)) Source # representableAsType :: Parsed (Categorical n) -> Const (Either (String -> Q [Dec]) Type) (Categorical n) Source #

discardConfidence :: Parsed a -> a Source #

Discard any estimate of a parse's ambiguity.

parse' :: (MonadPlus m, Parseable a) => Text -> m a Source #

Acts just like fromText: tries to parse a value from a Text and discards any estimate of the parse's ambiguity.

parseIntish :: (Readable a, MonadPlus f) => Text -> f (Parsed a) Source #

class ColumnTypeable a where Source #

This class relates a universe of possible column types to Haskell types, and provides a mechanism to infer which type best represents some textual data.

Methods

colType :: a -> Either (String -> Q [Dec]) Type Source #

inferType :: Text -> a Source #

Instances

Instances details

(RPureConstrained Parseable ts, FoldRec ts ts, RPureConstrained (ShowF ColInfo) ts, RecApplicative ts, Text ∈ ts) => ColumnTypeable (CoRec ColInfo ts) Source #
Instance details Defined in Frames.ColumnUniverse Methods colType :: CoRec ColInfo ts -> Either (String -> Q [Dec]) Type Source # inferType :: Text -> CoRec ColInfo ts Source #