fraport/fradrive
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

attempt to fix build

Browse Source
This commit is contained in:
SJost 2019-02-18 22:38:52 +01:00
parent f31a63422b
commit 1dd2b92374
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Handler/Users.hs
View File

@ -97,9 +97,11 @@ getUsersR = do
if Set.null criterion then E.val True else -- TODO: why is this condition not needed?
Set.foldr (\needle acc -> acc E.||. (user E.^. UserDisplayName) `eLike` needle) eFalse (criterion :: Set.Set Text)
)
, ( "matriculation", FilterColumn $ \user criterion -> if
| Set.null criterion -> E.val True :: E.SqlExpr (E.Value Bool)
| otherwise -> user E.^. UserMatrikelnummer `E.in_` E.valList (Set.toList criterion)
, ( "matriculation", FilterColumn $ \user (criterion :: Set.Set Text) -> if
| Set.null criterion -> eTrue -- TODO: why can this be eFalse and work still?
| otherwise ->
-- (user E.^. UserMatrikelnummer) `E.in_` (E.valList $ Set.toList criterion)
(user E.^. UserMatrikelnummer) `E.in_` (E.justList $ E.valList $ Set.toList criterion)
)
, ( "school", FilterColumn $ \user criterion -> if
| Set.null criterion -> E.val True :: E.SqlExpr (E.Value Bool)