git.iko.soy/rel8
on 06f67cf help sign in
rel8/src/Rel8/Query/Null.hs
19 lines 344 B history raw
1module Rel8.Query.Null
2 ( catNullable
3 )
4where
6-- base
7import Prelude
9-- rel8
10import Rel8.Expr ( Expr )
11import Rel8.Expr.Null ( isNonNull, unsafeUnnullify )
12import Rel8.Query ( Query )
13import Rel8.Query.Filter ( where_ )
16catNullable :: Expr (Maybe a) -> Query (Expr a)
17catNullable a = do
18 where_ $ isNonNull a
19 pure $ unsafeUnnullify a