Frames.ColumnUniverse

Documentation

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

Generalize algebraic sum types.

Instances

(RecApplicative ts, RecordToList ts, RApply ts, ReifyConstraint Eq Maybe ts, RMap ts) => Eq (CoRec Identity ts)

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)

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)

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)

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)

Defined in Frames.ColumnUniverse

Methods

colType :: CoRec ColInfo ts -> Either (String -> Q [Dec]) Type

inferType :: Text -> CoRec ColInfo ts

type Columns = ColumnUniverse CommonColumns

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

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

data ColInfo a

Information necessary for synthesizing row types and comparing types.

Instances

Show a => Show (ColInfo a)

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)

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)

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)

Defined in Frames.ColumnUniverse

Methods

colType :: CoRec ColInfo ts -> Either (String -> Q [Dec]) Type

inferType :: Text -> CoRec ColInfo ts

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

Common column types: Bool, Int, Double, Text

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

Common column types including categorical types.

parsedTypeRep :: ColInfo a -> Parsed Type