Data.Relational.Lists

Deprecated: This module will be replaced in a future release.

Tuples and relations as lists.

Types

type Tabulation a = Table (Record a)

A tabulation.

newtype Record a

A record.

Constructors

Record

Fields

• unRecord :: [a]

Instances

Functor Record

Methods

fmap :: (a -> b) -> Record a -> Record b

(<$) :: a -> Record b -> Record a

Foldable Record

Methods

fold :: Monoid m => Record m -> m

foldMap :: Monoid m => (a -> m) -> Record a -> m

foldr :: (a -> b -> b) -> b -> Record a -> b

foldr' :: (a -> b -> b) -> b -> Record a -> b

foldl :: (b -> a -> b) -> b -> Record a -> b

foldl' :: (b -> a -> b) -> b -> Record a -> b

foldr1 :: (a -> a -> a) -> Record a -> a

foldl1 :: (a -> a -> a) -> Record a -> a

toList :: Record a -> [a]

null :: Record a -> Bool

length :: Record a -> Int

elem :: Eq a => a -> Record a -> Bool

maximum :: Ord a => Record a -> a

minimum :: Ord a => Record a -> a

sum :: Num a => Record a -> a

product :: Num a => Record a -> a

Eq a => Eq (Record a)

Methods

(==) :: Record a -> Record a -> Bool

(/=) :: Record a -> Record a -> Bool

Read a => Read (Record a)

Methods

readsPrec :: Int -> ReadS (Record a)

readList :: ReadS [Record a]

readPrec :: ReadPrec (Record a)

readListPrec :: ReadPrec [Record a]

Show a => Show (Record a)

Methods

showsPrec :: Int -> Record a -> ShowS

show :: Record a -> String

showList :: [Record a] -> ShowS

Binary a => Binary (Record a)

Methods

put :: Record a -> Put

get :: Get (Record a)

putList :: [Record a] -> Put

Tuple (Record a)

Associated Types

type Attribute (Record a) :: *

Methods

makeTuple :: [Attribute (Record a)] -> Record a

attributes :: Record a -> [Attribute (Record a)]

type Attribute (Record a)

type Attribute (Record a) = a

data Table r

A table.

Constructors

Table

Fields

• header :: [String]

  The header.

• records :: [r]

  The records.

Instances

Functor Table

Methods

fmap :: (a -> b) -> Table a -> Table b

(<$) :: a -> Table b -> Table a

Foldable Table

Methods

fold :: Monoid m => Table m -> m

foldMap :: Monoid m => (a -> m) -> Table a -> m

foldr :: (a -> b -> b) -> b -> Table a -> b

foldr' :: (a -> b -> b) -> b -> Table a -> b

foldl :: (b -> a -> b) -> b -> Table a -> b

foldl' :: (b -> a -> b) -> b -> Table a -> b

foldr1 :: (a -> a -> a) -> Table a -> a

foldl1 :: (a -> a -> a) -> Table a -> a

toList :: Table a -> [a]

null :: Table a -> Bool

length :: Table a -> Int

elem :: Eq a => a -> Table a -> Bool

maximum :: Ord a => Table a -> a

minimum :: Ord a => Table a -> a

sum :: Num a => Table a -> a

product :: Num a => Table a -> a

Tuple r => Relation String r (Table r)

Methods

names :: Table r -> [String]

empty :: [String] -> Table r

makeRelation :: [String] -> [r] -> Table r

tuples :: Table r -> [r]

attributeMaybe :: Table r -> String -> r -> Maybe (Attribute r)

attribute :: Table r -> String -> r -> Attribute r

(Read (Attribute r), Tuple r) => Read (Table r)

Methods

readsPrec :: Int -> ReadS (Table r)

readList :: ReadS [Table r]

readPrec :: ReadPrec (Table r)

readListPrec :: ReadPrec [Table r]

(Show (Attribute r), Tuple r) => Show (Table r)

Methods

showsPrec :: Int -> Table r -> ShowS

show :: Table r -> String

showList :: [Table r] -> ShowS

(Monoid (Attribute r), Tuple r) => Monoid (Table r)

Methods

mempty :: Table r

mappend :: Table r -> Table r -> Table r

mconcat :: [Table r] -> Table r

Binary r => Binary (Table r)

Methods

put :: Table r -> Put

get :: Get (Table r)

putList :: [Table r] -> Put

Input/Output

readTable

Arguments

:: (Stringy (Attribute r), Tuple r)

=> FilePath

The file path.

-> IO (Table r)

Action to read the table.

Read a table.

writeTable

Arguments

:: (Stringy (Attribute r), Tuple r)

=> FilePath

The file path.

-> Table r

The table.

-> IO ()

Action to write the table.

Write a table.

makeTable

Arguments

:: (Default (Table r), Tuple r)

=> [r]

The records.

-> Table r

The table.

Make a table.