Stability | provisional |
---|---|
Maintainer | Hugo Pacheco <hpacheco@nii.ac.jp> |
Safe Haskell | None |
Database examples for a source database with a list of people.
- type Name = String
- type City = String
- data Person = Person {}
- nameLens :: Lens' Person Name
- cityLens :: Lens' Person City
- namePut :: Putlens st e Person [Char]
- cityPut :: Putlens st e Person [Char]
- nameP :: Putlens st e Person Name
- peopleNamesPut0 :: City -> Putlens st e [Person] [Name]
- exPeopleNamesPut1 :: [Person]
- peopleNamesPut :: City -> Putlens st e [Person] [Name]
- exPeopleNamesPut2 :: [Person]
- selectPut :: (Eq a, Ord k) => (a -> k) -> (st -> e -> [a]) -> (a -> Bool) -> Putlens st e [a] [a]
- selectPut' :: (Eq a, Ord k) => (a -> k) -> (a -> Bool) -> Putlens (Maybe a, [a]) e [a] [a]
- recoverEntry :: Ord k => (a -> k) -> [a] -> [a] -> (Maybe a, [a])
- nameLns :: Lens Person [Char]
- cityLns :: Lens Person [Char]
- isFrom :: [Char] -> Person -> Bool
- peopleFromPut :: City -> Putlens st [Person] [Person] [Person]
- peopleFromToPut :: City -> City -> Putlens st [Person] [Person] [Person]
- people :: [Person]
- hugo :: Person
- sebastian :: Person
- zhenjiang :: Person
- sebastianTokyo :: Person
- exPeopleFromPut1 :: [Person]
- exPeopleFromPut2 :: [Person]
- exPeopleFromPut3 :: [Person]
- exPeopleFromToPut1 :: [Person]
- exPeopleFromToPut2 :: [Person]
- type Book = (String, String)
- type BookPerson = (String, Person)
- withM :: (m1 -> Maybe s -> Maybe v -> v -> m2) -> Putlens st m2 s v -> Putlens st m1 s v
- booksOfPeoplePut :: Putlens st ([Book], [Person]) ([Book], [Person]) [BookPerson]
- booksOfPeoplePut' :: Putlens st e ([Book], [Person]) [BookPerson]
- booksOfPersonPut :: Putlens [Person] e (Book, [Person]) BookPerson
- joinBookPersonPut :: Putlens st e (Book, Person) BookPerson
- booksOfPeoplePut2 :: Putlens st ([Book], [Person]) ([Book], [Person]) [BookPerson]
- booksOfPut :: [Person] -> Putlens st [Book] [Book] [Book]
- selectPersonPut :: Name -> Putlens [Person] e [Person] Person
- someBooks :: [([Char], [Char])]
- somePeople :: [Person]
- someJoin :: [([Char], Person)]
- insMock :: [([Char], Person)]
- exJoinPut1 :: ([Book], [Person])
- exJoinPut2 :: ([Book], [Person])
- delLOTR :: [([Char], Person)]
- exJoinPut3 :: ([Book], [Person])
- exJoinPut4 :: ([Book], [Person])
- delLOTRMaias :: [([Char], Person)]
- exJoinPut5 :: ([Book], [Person])
- exJoinPut6 :: ([Book], [Person])
Documentation
DB project
DB select
selectPut :: (Eq a, Ord k) => (a -> k) -> (st -> e -> [a]) -> (a -> Bool) -> Putlens st e [a] [a]Source
Generic database select putlens
recoverEntry :: Ord k => (a -> k) -> [a] -> [a] -> (Maybe a, [a])Source
peopleFromToPut :: City -> City -> Putlens st [Person] [Person] [Person]Source
Selects all people from
a city (moves deleted people to a new city to
)
DB Join
type BookPerson = (String, Person)Source
booksOfPeoplePut :: Putlens st ([Book], [Person]) ([Book], [Person]) [BookPerson]Source
booksOfPeoplePut' :: Putlens st e ([Book], [Person]) [BookPerson]Source
booksOfPersonPut :: Putlens [Person] e (Book, [Person]) BookPersonSource
joinBookPersonPut :: Putlens st e (Book, Person) BookPersonSource
booksOfPeoplePut2 :: Putlens st ([Book], [Person]) ([Book], [Person]) [BookPerson]Source
somePeople :: [Person]Source
exJoinPut1 :: ([Book], [Person])Source
exJoinPut2 :: ([Book], [Person])Source
exJoinPut3 :: ([Book], [Person])Source
exJoinPut4 :: ([Book], [Person])Source
delLOTRMaias :: [([Char], Person)]Source
exJoinPut5 :: ([Book], [Person])Source
exJoinPut6 :: ([Book], [Person])Source