Frames.ColumnUniverse

Documentation

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

Generalize algebraic sum types.

Instances

(RecAll * Maybe ts Eq, RecApplicative * ts) => Eq (CoRec * Identity ts)

Methods

(==) :: CoRec * Identity ts -> CoRec * Identity ts -> Bool

(/=) :: CoRec * Identity ts -> CoRec * Identity ts -> Bool

(AllConstrained * Show ts, RecApplicative * ts) => Show (CoRec * Identity ts)

Methods

showsPrec :: Int -> CoRec * Identity ts -> ShowS

show :: CoRec * Identity ts -> String

showList :: [CoRec * Identity ts] -> ShowS

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.

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

Common column types

parsedTypeRep :: ColInfo a -> Parsed TypeRep