Safe Haskell	Safe-Inferred
Language	Haskell2010

ProjectM36.DataFrame

Synopsis

data AttributeOrderExpr = AttributeOrderExpr AttributeName Order
data AttributeOrder = AttributeOrder AttributeName Order
data Order
- = AscendingOrder
- | DescendingOrder
ascending :: Text
descending :: Text
arbitrary :: Text
data DataFrame = DataFrame {
- orders :: [AttributeOrder]
- attributes :: Attributes
- tuples :: [DataFrameTuple]
}
data DataFrameTuple = DataFrameTuple Attributes (Vector Atom)
sortDataFrameBy :: [AttributeOrder] -> DataFrame -> Either RelationalError DataFrame
sortTuplesBy :: (DataFrameTuple -> DataFrameTuple -> Ordering) -> [DataFrameTuple] -> [DataFrameTuple]
compareTupleByAttributeOrders :: [AttributeOrder] -> DataFrameTuple -> DataFrameTuple -> Ordering
compareTupleByOneAttributeName :: AttributeName -> DataFrameTuple -> DataFrameTuple -> Ordering
atomForAttributeName :: AttributeName -> DataFrameTuple -> Either RelationalError Atom
take' :: Integer -> DataFrame -> DataFrame
drop' :: Integer -> DataFrame -> DataFrame
toDataFrame :: Relation -> DataFrame
fromDataFrame :: DataFrame -> Either RelationalError Relation
showDataFrame :: DataFrame -> Text
dataFrameAsTable :: DataFrame -> Table
data DataFrameExpr = DataFrameExpr {
- convertExpr :: RelationalExpr
- orderExprs :: [AttributeOrderExpr]
- offset :: Maybe Integer
- limit :: Maybe Integer
}
usesDataFrameFeatures :: DataFrameExpr -> Bool
nakedDataFrameExpr :: RelationalExpr -> DataFrameExpr
dataFrameAsHTML :: DataFrame -> Text
tuplesAsHTML :: [DataFrameTuple] -> Text
tupleAssocs :: DataFrameTuple -> [(AttributeName, Atom)]
tupleAsHTML :: DataFrameTuple -> Text
attributesAsHTML :: Attributes -> [AttributeOrder] -> Text

Documentation

data AttributeOrderExpr Source #

Constructors

AttributeOrderExpr AttributeName Order

Instances

Instances details

Generic AttributeOrderExpr Source #
Instance details Defined in ProjectM36.DataFrame Associated Types type Rep AttributeOrderExpr :: Type -> Type Source # Methods from :: AttributeOrderExpr -> Rep AttributeOrderExpr x Source # to :: Rep AttributeOrderExpr x -> AttributeOrderExpr Source #
Show AttributeOrderExpr Source #
Instance details Defined in ProjectM36.DataFrame Methods showsPrec :: Int -> AttributeOrderExpr -> ShowS Source # show :: AttributeOrderExpr -> String Source # showList :: [AttributeOrderExpr] -> ShowS Source #
Eq AttributeOrderExpr Source #
Instance details Defined in ProjectM36.DataFrame Methods (==) :: AttributeOrderExpr -> AttributeOrderExpr -> Bool Source # (/=) :: AttributeOrderExpr -> AttributeOrderExpr -> Bool Source #
Serialise AttributeOrderExpr Source #
Instance details Defined in ProjectM36.Serialise.DataFrame Methods schemaGen :: Proxy AttributeOrderExpr -> SchemaGen Schema Source # toBuilder :: AttributeOrderExpr -> Builder Source # extractor :: Extractor AttributeOrderExpr Source # decodeCurrent :: Decoder AttributeOrderExpr Source # bundleSerialise :: BundleSerialise AttributeOrderExpr Source #
type Rep AttributeOrderExpr Source #
Instance details Defined in ProjectM36.DataFrame type Rep AttributeOrderExpr = D1 ('MetaData "AttributeOrderExpr" "ProjectM36.DataFrame" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "AttributeOrderExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Order)))

data AttributeOrder Source #

Constructors

AttributeOrder AttributeName Order

Instances

Instances details

Generic AttributeOrder Source #
Instance details Defined in ProjectM36.DataFrame Associated Types type Rep AttributeOrder :: Type -> Type Source # Methods from :: AttributeOrder -> Rep AttributeOrder x Source # to :: Rep AttributeOrder x -> AttributeOrder Source #
Show AttributeOrder Source #
Instance details Defined in ProjectM36.DataFrame Methods showsPrec :: Int -> AttributeOrder -> ShowS Source # show :: AttributeOrder -> String Source # showList :: [AttributeOrder] -> ShowS Source #
Eq AttributeOrder Source #
Instance details Defined in ProjectM36.DataFrame Methods (==) :: AttributeOrder -> AttributeOrder -> Bool Source # (/=) :: AttributeOrder -> AttributeOrder -> Bool Source #
Serialise AttributeOrder Source #
Instance details Defined in ProjectM36.Serialise.DataFrame Methods schemaGen :: Proxy AttributeOrder -> SchemaGen Schema Source # toBuilder :: AttributeOrder -> Builder Source # extractor :: Extractor AttributeOrder Source # decodeCurrent :: Decoder AttributeOrder Source # bundleSerialise :: BundleSerialise AttributeOrder Source #
type Rep AttributeOrder Source #
Instance details Defined in ProjectM36.DataFrame type Rep AttributeOrder = D1 ('MetaData "AttributeOrder" "ProjectM36.DataFrame" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "AttributeOrder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Order)))

data Order Source #

Constructors

AscendingOrder
DescendingOrder

Instances

Instances details

Generic Order Source #
Instance details Defined in ProjectM36.DataFrame Associated Types type Rep Order :: Type -> Type Source # Methods from :: Order -> Rep Order x Source # to :: Rep Order x -> Order Source #
Show Order Source #
Instance details Defined in ProjectM36.DataFrame Methods showsPrec :: Int -> Order -> ShowS Source # show :: Order -> String Source # showList :: [Order] -> ShowS Source #
Eq Order Source #
Instance details Defined in ProjectM36.DataFrame Methods (==) :: Order -> Order -> Bool Source # (/=) :: Order -> Order -> Bool Source #
Serialise Order Source #
Instance details Defined in ProjectM36.Serialise.DataFrame Methods schemaGen :: Proxy Order -> SchemaGen Schema Source # toBuilder :: Order -> Builder Source # extractor :: Extractor Order Source # decodeCurrent :: Decoder Order Source # bundleSerialise :: BundleSerialise Order Source #
type Rep Order Source #
Instance details Defined in ProjectM36.DataFrame type Rep Order = D1 ('MetaData "Order" "ProjectM36.DataFrame" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "AscendingOrder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DescendingOrder" 'PrefixI 'False) (U1 :: Type -> Type))

ascending :: Text Source #

descending :: Text Source #

arbitrary :: Text Source #

data DataFrame Source #

Constructors

DataFrame
Fields orders :: [AttributeOrder] attributes :: Attributes tuples :: [DataFrameTuple]

Instances

Instances details

Generic DataFrame Source #
Instance details Defined in ProjectM36.DataFrame Associated Types type Rep DataFrame :: Type -> Type Source # Methods from :: DataFrame -> Rep DataFrame x Source # to :: Rep DataFrame x -> DataFrame Source #
Show DataFrame Source #
Instance details Defined in ProjectM36.DataFrame Methods showsPrec :: Int -> DataFrame -> ShowS Source # show :: DataFrame -> String Source # showList :: [DataFrame] -> ShowS Source #
Eq DataFrame Source #
Instance details Defined in ProjectM36.DataFrame Methods (==) :: DataFrame -> DataFrame -> Bool Source # (/=) :: DataFrame -> DataFrame -> Bool Source #
Serialise DataFrame Source #
Instance details Defined in ProjectM36.Serialise.DataFrame Methods schemaGen :: Proxy DataFrame -> SchemaGen Schema Source # toBuilder :: DataFrame -> Builder Source # extractor :: Extractor DataFrame Source # decodeCurrent :: Decoder DataFrame Source # bundleSerialise :: BundleSerialise DataFrame Source #
type Rep DataFrame Source #
Instance details Defined in ProjectM36.DataFrame type Rep DataFrame = D1 ('MetaData "DataFrame" "ProjectM36.DataFrame" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "DataFrame" 'PrefixI 'True) (S1 ('MetaSel ('Just "orders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeOrder]) :: (S1 ('MetaSel ('Just "attributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes) :: S1 ('MetaSel ('Just "tuples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DataFrameTuple]))))

data DataFrameTuple Source #

Constructors

DataFrameTuple Attributes (Vector Atom)

Instances

Instances details

Generic DataFrameTuple Source #
Instance details Defined in ProjectM36.DataFrame Associated Types type Rep DataFrameTuple :: Type -> Type Source # Methods from :: DataFrameTuple -> Rep DataFrameTuple x Source # to :: Rep DataFrameTuple x -> DataFrameTuple Source #
Show DataFrameTuple Source #
Instance details Defined in ProjectM36.DataFrame Methods showsPrec :: Int -> DataFrameTuple -> ShowS Source # show :: DataFrameTuple -> String Source # showList :: [DataFrameTuple] -> ShowS Source #
Eq DataFrameTuple Source #
Instance details Defined in ProjectM36.DataFrame Methods (==) :: DataFrameTuple -> DataFrameTuple -> Bool Source # (/=) :: DataFrameTuple -> DataFrameTuple -> Bool Source #
Hashable DataFrameTuple Source #
Instance details Defined in ProjectM36.DataFrame Methods hashWithSalt :: Int -> DataFrameTuple -> Int Source # hash :: DataFrameTuple -> Int Source #
Serialise DataFrameTuple Source #
Instance details Defined in ProjectM36.Serialise.DataFrame Methods schemaGen :: Proxy DataFrameTuple -> SchemaGen Schema Source # toBuilder :: DataFrameTuple -> Builder Source # extractor :: Extractor DataFrameTuple Source # decodeCurrent :: Decoder DataFrameTuple Source # bundleSerialise :: BundleSerialise DataFrameTuple Source #
type Rep DataFrameTuple Source #
Instance details Defined in ProjectM36.DataFrame type Rep DataFrameTuple = D1 ('MetaData "DataFrameTuple" "ProjectM36.DataFrame" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "DataFrameTuple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Atom))))

sortDataFrameBy :: [AttributeOrder] -> DataFrame -> Either RelationalError DataFrame Source #

sortTuplesBy :: (DataFrameTuple -> DataFrameTuple -> Ordering) -> [DataFrameTuple] -> [DataFrameTuple] Source #

compareTupleByAttributeOrders :: [AttributeOrder] -> DataFrameTuple -> DataFrameTuple -> Ordering Source #

compareTupleByOneAttributeName :: AttributeName -> DataFrameTuple -> DataFrameTuple -> Ordering Source #

atomForAttributeName :: AttributeName -> DataFrameTuple -> Either RelationalError Atom Source #

take' :: Integer -> DataFrame -> DataFrame Source #

drop' :: Integer -> DataFrame -> DataFrame Source #

toDataFrame :: Relation -> DataFrame Source #

fromDataFrame :: DataFrame -> Either RelationalError Relation Source #

showDataFrame :: DataFrame -> Text Source #

dataFrameAsTable :: DataFrame -> Table Source #

data DataFrameExpr Source #

A Relation can be converted to a DataFrame for sorting, limits, and offsets.

Constructors

DataFrameExpr
Fields convertExpr :: RelationalExpr orderExprs :: [AttributeOrderExpr] offset :: Maybe Integer limit :: Maybe Integer

Instances

Instances details

Generic DataFrameExpr Source #
Instance details Defined in ProjectM36.DataFrame Associated Types type Rep DataFrameExpr :: Type -> Type Source # Methods from :: DataFrameExpr -> Rep DataFrameExpr x Source # to :: Rep DataFrameExpr x -> DataFrameExpr Source #
Show DataFrameExpr Source #
Instance details Defined in ProjectM36.DataFrame Methods showsPrec :: Int -> DataFrameExpr -> ShowS Source # show :: DataFrameExpr -> String Source # showList :: [DataFrameExpr] -> ShowS Source #
Eq DataFrameExpr Source #
Instance details Defined in ProjectM36.DataFrame Methods (==) :: DataFrameExpr -> DataFrameExpr -> Bool Source # (/=) :: DataFrameExpr -> DataFrameExpr -> Bool Source #
Serialise DataFrameExpr Source #
Instance details Defined in ProjectM36.Serialise.DataFrame Methods schemaGen :: Proxy DataFrameExpr -> SchemaGen Schema Source # toBuilder :: DataFrameExpr -> Builder Source # extractor :: Extractor DataFrameExpr Source # decodeCurrent :: Decoder DataFrameExpr Source # bundleSerialise :: BundleSerialise DataFrameExpr Source #
type Rep DataFrameExpr Source #
Instance details Defined in ProjectM36.DataFrame type Rep DataFrameExpr = D1 ('MetaData "DataFrameExpr" "ProjectM36.DataFrame" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "DataFrameExpr" 'PrefixI 'True) ((S1 ('MetaSel ('Just "convertExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr) :: S1 ('MetaSel ('Just "orderExprs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeOrderExpr])) :: (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Just "limit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)))))

usesDataFrameFeatures :: DataFrameExpr -> Bool Source #

True iff dataframe features are required to execute this expression, False if this expression could be evaluated as a relational expression (no sorting, limit, or offset).

nakedDataFrameExpr :: RelationalExpr -> DataFrameExpr Source #

Returns a data frame expression without any sorting or limits.

dataFrameAsHTML :: DataFrame -> Text Source #

tuplesAsHTML :: [DataFrameTuple] -> Text Source #

tupleAssocs :: DataFrameTuple -> [(AttributeName, Atom)] Source #

tupleAsHTML :: DataFrameTuple -> Text Source #

attributesAsHTML :: Attributes -> [AttributeOrder] -> Text Source #