database-study-0.0.1: Demonstrate how a database can be implemented the functional way

Company

Documentation

newtype DeptNo Source

Constructors

Instances

Eq DeptNo
Ord DeptNo
Show DeptNo

data Dept Source

Constructors

Dept
Fields deptnoDept :: DeptNo dname :: String loc :: String

Instances

Eq Dept
Ord Dept
Show Dept
DeptNoField Dept

dept :: [Dept]Source

data Job Source

Constructors

Clerk
Salesman
Manager
Analyst
President

Instances

Bounded Job
Enum Job
Eq Job
Ord Job
Show Job

newtype EmpNo Source

Constructors

Instances

Eq EmpNo
Ord EmpNo
Show EmpNo

data Emp Source

Constructors

Emp
Fields empno :: EmpNo ename :: String job :: Job mgr :: Maybe EmpNo sal :: Int deptnoEmp :: DeptNo

Instances

Eq Emp
Ord Emp
Show Emp
DeptNoField Emp

emp :: [Emp]Source

class DeptNoField r whereSource

Methods

deptno :: r -> DeptNo Source

Instances

DeptNoField Emp
DeptNoField Dept