Safe Haskell	None
Language	Haskell2010

Frames.ColumnUniverse

Synopsis

data CoRec (a :: k -> Type) (b :: [k]) :: forall k. (k -> Type) -> [k] -> Type
type Columns = ColumnUniverse CommonColumns
type ColumnUniverse = CoRec ColInfo
data ColInfo a
type CommonColumns = [Bool, Int, Double, Text]
type CommonColumnsCat = [Bool, Int, Double, Categorical 8, Text]
parsedTypeRep :: ColInfo a -> Parsed Type

Documentation

data CoRec (a :: k -> Type) (b :: [k]) :: forall k. (k -> Type) -> [k] -> Type #

Generalize algebraic sum types.

Instances

(RecApplicative ts, RecordToList ts, RApply ts, ReifyConstraint Eq Maybe ts, RMap ts) => Eq (CoRec Identity ts)
Instance details Defined in Data.Vinyl.CoRec Methods (==) :: CoRec Identity ts -> CoRec Identity ts -> Bool # (/=) :: CoRec Identity ts -> CoRec Identity ts -> Bool #
RPureConstrained (ShowF f) ts => Show (CoRec f ts)
Instance details Defined in Data.Vinyl.CoRec Methods showsPrec :: Int -> CoRec f ts -> ShowS # show :: CoRec f ts -> String # showList :: [CoRec f ts] -> ShowS #
(Text ∈ ts, RPureConstrained Parseable ts) => Semigroup (CoRec ColInfo ts) Source #
Instance details Defined in Frames.ColumnUniverse Methods (<>) :: CoRec ColInfo ts -> CoRec ColInfo ts -> CoRec ColInfo ts # sconcat :: NonEmpty (CoRec ColInfo ts) -> CoRec ColInfo ts # stimes :: Integral b => b -> CoRec ColInfo ts -> CoRec ColInfo ts #
(Text ∈ ts, RPureConstrained Parseable ts) => Monoid (CoRec ColInfo ts) Source #
Instance details Defined in Frames.ColumnUniverse Methods mempty :: CoRec ColInfo ts # mappend :: CoRec ColInfo ts -> CoRec ColInfo ts -> CoRec ColInfo ts # mconcat :: [CoRec ColInfo ts] -> CoRec ColInfo ts #
(RPureConstrained Parseable ts, FoldRec ts 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 #

type Columns = ColumnUniverse CommonColumns Source #

A universe of common column variants. These are the default column types that Frames can infer. See the Tutorial for an example of extending the default types with your own.

type ColumnUniverse = CoRec ColInfo Source #

Define a set of variants that captures all possible column types.

data ColInfo a Source #

Information necessary for synthesizing row types and comparing types.

Instances

Show a => Show (ColInfo a) Source #
Instance details Defined in Frames.ColumnUniverse Methods showsPrec :: Int -> ColInfo a -> ShowS # show :: ColInfo a -> String # showList :: [ColInfo a] -> ShowS #
(Text ∈ ts, RPureConstrained Parseable ts) => Semigroup (CoRec ColInfo ts) Source #
Instance details Defined in Frames.ColumnUniverse Methods (<>) :: CoRec ColInfo ts -> CoRec ColInfo ts -> CoRec ColInfo ts # sconcat :: NonEmpty (CoRec ColInfo ts) -> CoRec ColInfo ts # stimes :: Integral b => b -> CoRec ColInfo ts -> CoRec ColInfo ts #
(Text ∈ ts, RPureConstrained Parseable ts) => Monoid (CoRec ColInfo ts) Source #
Instance details Defined in Frames.ColumnUniverse Methods mempty :: CoRec ColInfo ts # mappend :: CoRec ColInfo ts -> CoRec ColInfo ts -> CoRec ColInfo ts # mconcat :: [CoRec ColInfo ts] -> CoRec ColInfo ts #
(RPureConstrained Parseable ts, FoldRec ts 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 #

type CommonColumns = [Bool, Int, Double, Text] Source #

Common column types: Bool, Int, Double, Text

type CommonColumnsCat = [Bool, Int, Double, Categorical 8, Text] Source #

Common column types including categorical types.

parsedTypeRep :: ColInfo a -> Parsed Type Source #