tabaluga

Large bananas are put to work as a means of generic programming so that operations for cutting or totaling salaries are implemented concisely. Only problem-specific aspects need to be specified. The overall data traversal is provided the generalized folds and suitably predefined fold algebras.

Illustration

See the concept of large bananas for an illustration that actually involves the present contribution.

Architecture

There are these modules:

{-| A data model for the 101companies System -}

module Company.Data where -- | A company consists of name and top-level departments data Company = Company Name [Department] deriving (Eq, Read, Show) -- | A department consists of name, manager, sub-departments, and employees data Department = Department Name Manager [Department] [Employee] deriving (Eq, Read, Show) -- | An employee consists of name, address, and salary data Employee = Employee Name Address Salary deriving (Eq, Show, Read) -- | Managers as employees type Manager = Employee -- | Names of companies, departments, and employees type Name = String -- | Addresses as strings type Address = String -- | Salaries as floats type Salary = Float

: a data model for Feature:Hierarchical company

```
module Company.Algebra where
```

import Company.Data import Data.Monoid -- An algebra type for companies data CompanyAlgebra c d e = CompanyAlgebra { atCompany :: Name -> [d] -> c, atDepartment :: Name -> e -> [d] -> [e] -> d, atEmployee :: Name -> Address -> Salary -> e } -- A family of fold functions for companies and constituents foldCompany :: CompanyAlgebra c d e -> Company -> c foldCompany f (Company n ds) = atCompany f n ds' where ds' = map (foldDepartment f) ds foldDepartment :: CompanyAlgebra c d e -> Department -> d foldDepartment f (Department n m ds es) = atDepartment f n m' ds' es' where m' = foldEmployee f m ds' = map (foldDepartment f) ds es' = map (foldEmployee f) es foldEmployee :: CompanyAlgebra c d e -> Employee -> e foldEmployee f (Employee n w s) = atEmployee f n w s -- An algebra for deep identity mapCompany :: CompanyAlgebra Company Department Employee mapCompany = CompanyAlgebra { atCompany = Company, atDepartment = Department, atEmployee = Employee } -- An algebra for deep mconcat of monoid mconcatCompany :: Monoid m => CompanyAlgebra m m m mconcatCompany = CompanyAlgebra { atCompany = \n ds -> mconcat ds, atDepartment = \n m ds es -> mappend m (mappend (mconcat ds) (mconcat es)), atEmployee = \n w s -> mempty }

: support for large bananas

{- | Sample data of the 101companies System -}

module Company.Sample where import Company.Data -- | A sample company useful for basic tests sampleCompany :: Company sampleCompany = Company "Acme Corporation" [ Department "Research" (Employee "Craig" "Redmond" 123456) [] [ (Employee "Erik" "Utrecht" 12345), (Employee "Ralf" "Koblenz" 1234) ], Department "Development" (Employee "Ray" "Redmond" 234567) [ Department "Dev1" (Employee "Klaus" "Boston" 23456) [ Department "Dev1.1" (Employee "Karl" "Riga" 2345) [] [(Employee "Joe" "Wifi City" 2344)] ] [] ] [] ]

: a sample company

```
module Company.Total where
```

import Company.Data import Company.Algebra import Data.Monoid total :: Company -> Float total = getSum . foldCompany totalAlgebra where totalAlgebra = mconcatCompany { atEmployee = \n a s -> Sum s }

: the implementation of Feature:Total

```
module Company.Cut where
```

import Company.Data import Company.Algebra cut :: Company -> Company cut = foldCompany cutAlgebra where cutAlgebra = mapCompany { atEmployee = \n a s -> Employee n a (s/2) } -- For comparison, without using mapCompany. cut' :: Company -> Company cut' = foldCompany cutAlgebra where cutAlgebra :: CompanyAlgebra Company Department Employee cutAlgebra = CompanyAlgebra { atCompany = Company, atDepartment = Department, atEmployee = \n a s -> Employee n a (s/2) }

Contribution:

tabaluga

Headline

Characteristics

Illustration

Architecture

Usage

Metadata

Backlinks

There are no revisions for this page.

User contributions

User edits

Syntax for editing wiki

Syntax for editing wiki